Generalised ultracategories yield a proof that every topos with enough points is equivalent to the category of left ultrafunctors from its generalised ultracategory of points to Set.
Representation of topoi by topological spaces.Journal of Pure and Applied algebra 130 223-235, 1998
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
method 1
citation-polarity summary
fields
math.CT 1years
2025 1verdicts
CONDITIONAL 1roles
method 1polarities
use method 1representative citing papers
citing papers explorer
-
Generalised ultracategories and conceptual completeness of geometric logic
Generalised ultracategories yield a proof that every topos with enough points is equivalent to the category of left ultrafunctors from its generalised ultracategory of points to Set.