1 problem

0 votes0 replies0 views
Conjecture that the smallness axioms for power classes and W-types are not stable under exact completion
Let $(\ct{E},\smallmap{S})$ be a category with display maps, and let $(\overline{\ct{E}},\overline{\smallmap{S}})$ denote its exact completion. The axioms ${\bf (\Pi S)}$ and…
Conjectureopencategorical-logic exact-completion predicative-algebraic-set-theoryarXiv posted 2 days ago

Conjecture that the smallness axioms for power classes and W-types are not stable under exact completion