AbstractWe characterize the categories with finite limits whose exact completions are toposes and discuss some examples and counter-examples
This thesis consists of four papers and is a contribution to the study of representations of extensi...
Triposes were introduced as presentations of toposes by J.M.E. Hyland, P.T. Johnstone and A.M. Pitts...
We define the notion of exact completion with respect to an existential elementary doctrine. We sho...
We characterize the categories with finite limits whose exact completions are toposes and discuss so...
AbstractWe characterize the categories with finite limits whose exact completions are toposes and di...
AbstractThe regular and exact completions of categories withweak limits are proved to exist and to b...
Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. B...
We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty...
AbstractWe consider various (free) completion processes: the exact completion and the regular comple...
Let ε be a cocomplete topos. We show that if the exact completion of ε is a topos then every indecom...
AbstractLet E be a cocomplete topos. We show that if the exact completion of E is a topos then every...
To complete a category is to embed it into a larger one which is closed under a given type of limits...
ABSTRACT. A new description of the exact completion C ex/reg of a regular category C is given, using...
AbstractWe determine explicit conditions on a category P which are equivalent to the request that it...
We consider a general class of exactness properties on a finitely complete category, all of which ca...
This thesis consists of four papers and is a contribution to the study of representations of extensi...
Triposes were introduced as presentations of toposes by J.M.E. Hyland, P.T. Johnstone and A.M. Pitts...
We define the notion of exact completion with respect to an existential elementary doctrine. We sho...
We characterize the categories with finite limits whose exact completions are toposes and discuss so...
AbstractWe characterize the categories with finite limits whose exact completions are toposes and di...
AbstractThe regular and exact completions of categories withweak limits are proved to exist and to b...
Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. B...
We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty...
AbstractWe consider various (free) completion processes: the exact completion and the regular comple...
Let ε be a cocomplete topos. We show that if the exact completion of ε is a topos then every indecom...
AbstractLet E be a cocomplete topos. We show that if the exact completion of E is a topos then every...
To complete a category is to embed it into a larger one which is closed under a given type of limits...
ABSTRACT. A new description of the exact completion C ex/reg of a regular category C is given, using...
AbstractWe determine explicit conditions on a category P which are equivalent to the request that it...
We consider a general class of exactness properties on a finitely complete category, all of which ca...
This thesis consists of four papers and is a contribution to the study of representations of extensi...
Triposes were introduced as presentations of toposes by J.M.E. Hyland, P.T. Johnstone and A.M. Pitts...
We define the notion of exact completion with respect to an existential elementary doctrine. We sho...
DOI
Add to ORKG