G
Giuseppe Rosolini
Researcher at University of Genoa
Publications - 59
Citations - 1087
Giuseppe Rosolini is an academic researcher from University of Genoa. The author has contributed to research in topics: Category theory & Topos theory. The author has an hindex of 17, co-authored 58 publications receiving 982 citations. Previous affiliations of Giuseppe Rosolini include University of Parma.
Papers
More filters
Journal ArticleDOI
Categories of partial maps
TL;DR: First a particular algebraic theory is introduced and a representation theorem proved, which gives the authors a coherent framework in which to place the various other definitions of “category of partial maps”.
Journal ArticleDOI
The Discrete Objects in the Effective Topos
TL;DR: In this paper it was shown that the effective topos contains two full subcategories which are closed under all small limits in the topos, and hence in particular are internally complete.
Journal ArticleDOI
Locally cartesian closed exact completions (
A. Carboni,Giuseppe Rosolini +1 more
TL;DR: In this paper, the authors apply the characterisation of the case of the category of ontological spaces and apply it to the categories of Cartesian closed and non-cartesian closed.
Proceedings ArticleDOI
Type theory via exact categories
TL;DR: Using the theory of exact categories, this work gives a category-theoretic explanation of why the construction of a category of partial equivalence relations often produces a cartesian closed category.
Journal ArticleDOI
Extensional PERs
TL;DR: A search is conducted for a class of PERs such that the resulting full subcategory has the expected properties of any good category of CPOs: it should be a CCC (Cartesian closed category) and every endomorphism should have a canonical fixed point.