2021
DOI: 10.48550/arxiv.2111.15299
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Quasi-toposes as elementary quotient completions

Abstract: The elementary quotient completion of an elementary doctrine in the sense of Lawvere was introduced in previous work by the first and third authors. It generalises the exact completion of a category with finite products and weak equalisers. In this paper we characterise when an elementary quotient completion is a quasi-topos. We obtain as a corollary a complete characterisation of when an elementary quotient completions is an elementary topos. As a byproduct we determine also when the elementary quotient compl… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 26 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?