nLab
(0,1)-topos

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

(0,1)-Category theory

(0,1)-category theory: logic, order theory

(0,1)-category

(0,1)-topos

Theorems

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

The notion of (0,1)-topos is that of topos in the context of (0,1)-category theory.

The notion of (0,1)-topos is essentially equivalent to that of Heyting algebra; similarly, a Grothendieck (0,1)-topos is a locale.

Notice that every (1,1)-Grothendieck topos comes from a localic groupoid, i.e. a groupoid internal to locales, hence a groupoid internal to (0,1)-toposes. See classifying topos of a localic groupoid for more.

References

section 6.4.2 of

.

Revised on November 27, 2012 11:01:19 by Urs Schreiber (82.169.65.155)
Edit | Back in time (9 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: classifying topos, sheaf and topos theory, preorder, topos, sheaf, presheaf, site, ETCS, Grothendieck topos, truth value, subobject classifier, Heyting algebra, global element, logic, (n,r)-category, cover, sieve, Grothendieck topology, Lawvere-Tierney topology, homotopy coherent category theory, lattice, Boolean algebra, geometric morphism, locale, Heyting category, pretopos, Elephant, internal logic, coverage, Grothendieck pretopology, subcanonical coverage, join, meet, large site, linear order, order, partial order, total order, top, bottom, power set, Isbell envelope, direction, fundamental group of a topos, frame, complete lattice, Grothendieck's Galois theory, filter, universe in a topos, abelian sheaf, local isomorphism, base change, category of sheaves, sheafification, category of open subsets, (infinity,1)-topos, dense monomorphism, Sheaves in Geometry and Logic, ringed site, direct image, inverse image, semilattice, natural numbers object, well-order, co-Yoneda lemma, D-module, quasicoherent sheaf, ringed space, Verdier site, geometric embedding, synthetic differential geometry, algebraic stack, negative thinking, separated presheaf, quasitopos, (1,0)-category, distributive lattice, stalk, point of a topos, numerable open cover, concrete sheaf, effective topos, big and little toposes, Models for Smooth Infinitesimal Analysis, interval, overt space, regular element, implication, flabby sheaf, soft sheaf, fine sheaf, 2009 September changes, higher topos theory, localic topos, (0,1)-topos, locally ringed space, (0,1)-category, structure sheaf, topos theory - contents, Q-category, 1-topos, ringed topos, smooth topos, Kock-Lawvere axiom, category theory vs order theory, order theory, ionad, small presheaf, geometric theory, canonical topology, Johnstone's topological topos, fully formal ETCS, open cover, little site, inhabited object, logical functor, concrete site, bounded geometric morphism, true, 2-topos, Stone duality, locally connected geometric morphism, etale geometric morphism, locally constant sheaf, fpqc site, DistLat, open map, Loc, global section, locally contractible space, essential geometric morphism, algebraic lattice, category of presheaves, first-order hyperdoctrine, tripos, subtopos, connected topos, forcing, Horn theory, locally connected topos, good open cover, big site, logical conjunction, disjunction, topological locale, frame of opens, double negation, posite, Diaconescu's theorem, classifying topos of a localic groupoid, base topos, homotopy equivalence of toposes, localic geometric morphism, hyperconnected geometric morphism, indecomposable object, coherent coverage, algebraic model for modal logics, false, poset of subobjects, line object, Topos, local geometric morphism, strongly connected site, cohesive topos, the logic S4(m), totally connected geometric morphism, locally connected site, modal logic, Barr's theorem, Galois topos, local site, constructive Gelfand duality theorem, van Kampen theorem for toposes, surjective geometric morphism, normal modal logic, cosheaf, Lawvere interval, etale site, strongly connected topos, over-topos, topos of algebras over a monad, poset of commutative subalgebras, Tannaka duality for geometric stacks, locally ringed topos, little etale topos, pro-set, standard site, fppf site, connected site, (geometric surjection, embedding) factorization system, crystalline site, regular coverage, Handbook of Categorical Algebra, dense sub-site, small-generated site, hyperdoctrine, syntactic site, cartesian site, Bohr topos, atomic geometric morphism, syntactic category, coherent topos, regular topos, internal site, indexed topos, geometric transformation, n-topos, internal sheaf, Boolean hyperdoctrine, real numbers object, contents of contents, well-quasi-order, (infinity,2)-topos, completely distributive lattice, proper geometric morphism, upper bound, open geometric morphism, (hyperconnected, localic) factorization system, Artin gluing, topos of types, canonical extension, coherent hyperdoctrine, Giraud's theorem, (0,1)-category theory - contents, compact element, closed cover, separated geometric morphism, unbounded topos, plus construction on presheaves, lexicographic order, sheaf of meromorphic functions, morphism of sites, modular lattice, sheaf of abelian groups, realizability topos, predicative topos, Galois cohomology, (infinity,n)-topos, Noetherian poset, comparison lemma