Discrete and concrete objects
Could not include topos theory - contents
The definition of cohesive topos or category of cohesion aims to axiomatize properties of a topos that make it a gros topos of spaces inside of which geometry may take place. See also at motivation for cohesive toposes for a non-technical discussion.
The idea behind the term is that a geometric space is roughly something consisting of points or pieces that are held together by some cohesion - for instance by topology, by smooth structure, etc.
The canonical global section geometric morphism of a cohesive topos over Set may be thought of as sending a space to its underlying set of points . Here is with all cohesion forgotten (for instance with the topology or the smooth structure forgotten)
Conversely, the left adjoint and right adjoint of
send a set either to the discrete space with discrete cohesive structure (for instance with discrete topology) or to the codiscrete space with the codiscrete cohesive structure (for instance with codiscrete topology). (An instance of an adjoint cylinder/unity of opposites, a “category of being”).
Moreover, the idea is that cohesion makes points lump together to connected pieces . This is modeled by one more functor left adjoint to . In the context of 1-topos theory this sends a cohesive space to its connected components . More generally in an (n,1)-topos-theory context, sends a cohesive space to the -truncation of its geometric fundamental ∞-groupoid . See cohesive (∞,1)-topos.
In total this gives an adjoint quadruple
A cohesive topos is a topos whose terminal geometric morphism admits an extenson to such a quadruple of adjoints, satisfying some further properties.
Notice that most objects in a cohesive topos are far from being just sets with extra structure: while the functor does produce the set of points underlying an object in the cohesive topos, it may happen that is very non-trivial but that nevertheless has very few points (possibly none, with the axioms so far). The subcategory of objects in that we may think of as point sets equipped with extra structure is the quasitopos of the concrete sheaves inside
It is the fact that is a local topos that allows to identify .
To ensure that there is a minimum of points, one can add further axioms. From the above adjunctions one gets a canonical natural morphism
from the points of to the set of connected pieces of . Demanding this to be an epimorphism is demanding that each piece has at least one point .
Moreover, one can demand that the cohesive pieces of product or power spaces are the products of the cohesive pieces of the factors. For powers of a single space, this is demanding that for all the following canonical map is an isomorphism:
For more general products, it would be a similar map . See the examples at cohesive site for concrete illustrations of these ideas.
A topos over some base topos , i.e. equipped with a geometric morphism
is cohesive if it is a
In detail this means that it has the following properties:
it is a locally connected topos: there exists a further left adjoint satisfying a suitable condition;
it is a connected topos: the functor preserves the terminal object, or equivalently is fully faithful;
it is strongly connected : preserves even all finite products;
it is a local topos: there exists a further right adjoint (this is sufficient for to be local, since we have already assumed it to be connected);
In summary is cohesive over if we have a quadruple of adjoint functors
such that preserves finite products.
To reflect the geometric interpretation of these axioms we will here and in related entries often name these functors as follows
The above adjoint quadruple canonically induces an adjoint triple of endofunctors on
Being idempotent monads/comonads on , these are modalities in the type theory (internal logic) of . As such we call them: the
The transformation from points to pieces
Notice the existence of the following canonical natural transformations induced from the structure of a cohesive topos (a special case of the construction at unity of opposites).
Below in Further axioms we discuss further axioms that one may want to impose on the points-to-pieces transform.
Below in Properties – Adjoint quadruples we discuss further properties of the points-to-pieces transform
In addition to the fundamental axioms of cohesion above, there are several further axioms that one may (or may not) want to impose in order to formalize the concept of cohesion.
For a cohesive topos, we say that pieces have points in (or that the cohesion “verifies the Nullstellensatz”) if the points-to-pieces transformation from def. 3
is an epimorphism for all .
This is equivalent to the following condition (see the proposition below):
We say that discrete objects are concrete in if the transformation
is a monomorphism for all .
It is also expressed in the following way
If is epi, then there is Aufhebung of the initial opposition, in that . Conversely if this holds and the base topos is a Boolean topos, then is epi.
This is Lawvere-Menni 15, lemma 4.1, 4.2.
We say pieces of powers are powers of pieces if for all and the natural morphism
is an isomorphism.
These extra axioms are proposed in (Lawvere, Axiomatic cohesion).
For a cohesive topos, we say that its subobject classifier is contractible if for the subobject classifier we have
This implies that for all also .
This appears as axiom 2 in (Lawvere, Categories of spaces).
Another axiom to consider, also introduced by Lawvere (see at Aufhebung):
We discuss properties of cohesive toposes. We start in
with some generalities on situations where a sequence of four adjoint functors is given. Then in
we comment on the interdependency of the collection of axioms on a cohesive topos. In
we discuss the induced notion of concrete objects that comes with every cohesive topos and in
the induced subcategory of objects with one point per piece.
Some of these phenomena have a natural
For a long list of further structures that are canonically present in a cohesive context see
For more structure available with a few more axioms see at
Adjoint quadruples and points-to-pieces
Let be an adjoint quadruple of adjoint functors such that and are full and faithful functors. We record some general properties of such a setup, in particular concerning the induced points-to-pieces transforms, def. 3.
etc. for units and
etc. for counits.
We have commuting diagrams, natural in ,
where the diagonal morphisms
(the points-to-pieces transform, def. 3) and
are defined to be the equal composites of the sides of these diagrams.
This appears as (Johnstone, lemma 2.1, corollary 2.2).
The following conditions are equivalent:
for all the morphism is an epimorphism;
for all ,, the morphism is a monomorphism;
is faithful on morphisms of the form .
This appears as (Johnstone, lemma 2.3).
By the above definition, is a monomorphism precisely if is. This in turn is so (see monomorphism) precisely if the first function in
and hence the composite is a monomorphism in Set.
By definition of adjunct and using the -zig-zag identity, this is equal to the action of on morphisms
Similarly, by the above definition the morphism is an epimorphism precisely if is so, which is the case precisely if the top morphism in
and hence the bottom morphism is a monomorphism in Set, where again the commutativity of this diagram follows from the definition of adjunct and the -zig-zag identity.
Relations between the axioms
We record some relations between the various axioms characterizing cohesive toposes.
This is just a reformulation of the above proposition.
The statement of the first items appears as (Johnstone, prop. 1.6). The last item is then a consequence by definition.
This is (Johnstone, theorem 3.4).
Subcategories of discrete and codiscrete objects
Quasitoposes of concrete objects
A cohesive topos comes canonically with various subcategories, sub-quasi-toposes and subtoposes of interest. We discuss some of these.
For a cohesive topos, exhibits as a subtopos
By general properties of local toposes. See there.
The category is equivalent to the full subcategory of on those objects for which the unit
is an isomorphism.
An object of the cohesive topos for which is a monomorphism we call a concrete object.
for the full subcategory on concrete objects.
The functor is a faithful functor on morphisms precisely if is a concrete object.
In particular, the restriction makes the category of concrete objects a concrete category.
Observe that the composite morphism
is given (see adjunct) by postcomposition with the -unit
The condition that is a concrete object, hence that is a monomorphism is therefore equivalent (see there) to the condition that is a monomorphism, which is equivalent to being a faithful functor.
Let be a site of definition for with coverage , so that . Since is a subtopos, we have that is itself a category of sheaves on
which must correspond to another coverage : . Since we have this sequence of inclusions, we have an inclusion of coverages . We observe that the concrete objects in are precisely the -biseparated presheaves on . The claim then follows by standard facts of quasitoposes of biseparated presheaves.
Precisely if the cohesive topos satisfies the axiom discrete objects are concrete (saying that for all the canonical morphism is a monomorphism) then is a cohesive quasitopos in that we have a quadrupled of adjoint functors.
The axiom says precisely that the functor factors through . Also clearly factors through . Since is a full subcategory therefore the restriction of and to yields a quadruple of adjunctions as indicated.
Since by reflectivity limits in may be computed in , preserves finite products on .
Objects with one point per cohesive piece
Let be a cohesive topos with an epimorphism for all .
Let be the full subcategory on those objects for which is an isomorphism. Then
is a reflective subcategory and a coreflective subcategory
the components of the reflector are epimorphisms.
This is theorem 2 in (Lawvere).
Since is a left adjoint it preserves colimits, as does of course . Therefore the collection of objects for which is an isomorphism is closed under colimits and hence has all colimits and the inclusion obviously preserves them.
To apply the adjoint functor theorem to deduce that therefore has a right adjoint it is sufficient to argue that is a locally presentable category. To see this, notice that is the inverter of , a certain 2-limit in Cat. Since the 2-category of accessible categories and accessible functors is closed under (non-strict) 2-limits in Cat, it follows that is accessible. Since we already know that it is also cocomplete it follows that it must be locally presentable.
Since by assumption preserves finite products and preserves all products, it follows that is also closed under finite products and in particular contains the terminal object . Since , being a topos, is an extensive category, it follows that preserves coproducts.
Using that is an epi, we find that is also closed under subobjects: if is a monomorphism then if in
the right vertical morphism is an iso, then so is the left vertical one.
It then also follows that is closed under arbitrary products.
This implies the existence of and the fact that is epi.
Internal modal logic
Every topos comes with its internal logic. From this internal perspective, the existence of extra external functors on – such as the and the on a cohesive topos – is manifested by the existence of extra internal logical operators. These may be understood as modalities equipping the internal logic with a structure of a modal logic.
For the case of local toposes, of which cohesive toposes are a special case, this internal modal interpretation of the extra external functor has been noticed in (AwodeyBirkedal, section 4.2). (Beware that in that reference the symbols “” and “#” are used precisely oppositely to their use here).
For a monomorphism in a cohesive topos, hence a proposition of type in the internal logic, we say that it is discretely true if the pullback in
is an isomorphism, where is the -unit on .
For the sheaf topos over CartSp (smooth spaces) and the inclusion of all closed -differential forms into all -forms, the proposition is “the -form is closed”. This is of course not true generally, but it is discretely true: over a discrete space every form is closed.
Over a discrete site
We discuss some cohesive toposes over sites with trivial coverage/topology, so that the category of sheaves is the category of presheaves
Families of sets – the Sierpinksi topos
We discuss an example of a cohesive topos over a cohesive site that is about the simplest non-trivial example that there is: the Sierpinski topos. Simple as it is, it does serve to already illustrate some key points. The following site is in fact also an ∞-cohesive site and hence there is a corresponding example of a cohesive (∞,1)-topos: the Sierpinski (∞,1)-topos.
Consider the site given by the interval category
equipped with trivial topology. This evidently has an initial object (which makes it cosifted) and a terminal object .
The category of sheaves = presheaves on this is the arrow category
since a presheaf on is given by a morphism
in Set. We find
Trivial as this is, it does provide some insight into the interpretation of cohesiveness: by decomposing into its fibers, an object is an -indexed family of sets: . The “cohesive pieces” are the and there are -many of them. This is what computes, which clearly preserves products.
Moreover we find for :
(and evidently both these functors are full and faithful).
This matches the interpretation we just found: is the collection of elements of with no two of them lumped together by cohesion, while is all elements of lumped together.
The canonical morphism
Plugging in the above this is just
itself. Indeed, by the above interpretation, this sends each point to its cohesive component. It is not an epimorphism in general, because the fiber over an element may be empty: the cohesive component may have no points.
Over a site with initial and terminal object
The above example is the simplest special case of a more general but still very simple class of examples.
First notice that for any small category, we have the left and right Kan extension of presehaves along the functor . By definition, this are the colimit and limit functors
The terminal object of is the initial object of the opposite category and therefore the limit over any functor is given by evaluation on this object
To see that we have a pair of adjoint functors we check the natural hom-set equivalence by computing
Here the first step is the expression of natural transformations by end-calculus, the second uses the fact that Set is a cartesian closed category, the third uses that any hom-functor sends coends in the first argument to ends, and the last one uses the co-Yoneda lemma.
The formal dual of this statement is the following.
If has an initial object then
the limit is given by evaluation on this object;
there is a further left adjoint ,
so that preserves all small limits and in particular all finite products.
In summary we have
If has both an initial object as well as a terminal object then there is a quadruple of adjoint functors
The above interpretation of the cohesiveness encoded by still applies to the general case: a general object is, by restriction to the unique morphism in a set-indexed family of sets
and picks out the total set of points, while picks of the indexing set (“of cohesive components”). The extra information for general with initial and terminal object is that for every object these cohesive lumps of points are refined to a hierarchy of lumps and lumps-of-lumps
Reflexive directed graphs
The category of reflexive directed graphs is a cohesive topos.
The category of just directed graphs, not necessarily reflexive, is not a cohesive topos.
This example was considered in (Lawvere, Categories of spaces) as a simple test case for two very similar toposes, one of which is cohesive, the other not.
We spell out some details on the cohesive topos of reflexive directed graphs.
Let be the one-object category coming from the monoid with three idempotent elements
A prehseaf on this is a reflexive directed graph : the set is the set of all edges and vertices regarded as identity edges, the projection
sends each edge to its source and the projection
sends each edge to its target. The identities
express the fact that source and target are identity edges.
Equivalently, this is a presheaf on the full subcategory of the simplex category on the objects and
In fact this is the Cauchy completion of , obtained by splitting the idempotents.
In summary this shows that
We have an equivalence of categories
To see that this presheaf topos is cohesive, notice that the terminal geometric morphism
is the reflexive directed graph with set of vertices and no non-identity morphisms and is the set of vertices = identity edges.
The extra left adjoint sends a graph to its set of connected components, the coequalizer of the source and target maps
Since this is a reflexive coequalizer (by the existence of the unit map ) it does preserve products (as discussed there). This is the property that fails for the topos of all directed graphs: a general coequalizer does not preserve products.
And sends a set to the reflexive graph with vertices and one edge for every ordered pair of vertices (the indiscrete or chaotic graph).
The canonical morphism sends each vertex to its connected component. Evidently this is epi, hence in cohesive pieces have points .
Reflexive directed graphs are equivalently skeleta of simplicial sets.
The category sSet of simplicial sets is a cohesive topos in which cohesive pieces have points .
Let be the simplex category, regarded as a site with the trivial coverage.
The corresponding sheaf topos is the presheaf topos sSet of simplicial sets.
We have for
, the set of connected components.
And for :
If are Kan complexes, then is the set of simplicial homotopy-classes of maps . We can therefore write the homotopy category of Kan complexes as
Over a cohesive site
A class of examples is obtained from toposes over a cohesive site:
See cohesive site for examples.
A sheaf on is a separated presheaf with respect to the further localization given by precisely if the canonical morphism (the unit of )
is a monomorphism. Monomorphisms of sheaves are tested objectwise, so that this is equivalent to
being a monomorphism for all (where in the first step we used the Yoneda lemma). By the adjunction relation this is equivalently
This being a monomorphism is precisely the condition on being a concrete sheaf on that singles out diffeological spaces among all sheaves on .
The corresponding cohesive topos is the Cahiers topos . This is a smooth topos that models the axioms of synthetic differential geometry.
Let be a cohesive topos and an object.
A necessary conditions that the over topos is a connected topos is that
- is contractible ;
Sufficient condition for to be a local topos is that
- is a tiny object.
Infinitesimal thickening and formal smoothness
See at differential cohesion. Examples include the Cahiers topos
Consider a full subcategory inclusion
which has a left adjoint and a right adjoint that coincide with each other
In (Lawvere 07, def. 1) this situation is said to exhibit as a quality type over .
It follows that there is an infinite sequence of adjoints, in particular that there is right adjoint to , which by the discussion at adjoint triple is also a full and faithful functor, and that preserves finite products (in fact all limits).
So the above adjoints makes be a cohesive topos over the base topos with the special property that . In words this says that in every cohesive neighbourhood contains precisely one point. This is a characteristic of infinitesimally thickened points.
See at infinitesimal cohesion for more on this.
Let be a non-trivial finite group of cardinality . Write for its delooping groupoid. The presheaf topos
is the category of permutation representations of . It comes with a triple of adjoint functors
The colimit over a representation is quotient set . So we have
where denotes the fundamental representation of on itself. Therefore does not preserve products in this case.
The axioms for a cohesive topos originate around
- William Lawvere, Categories of spaces may not be generalized spaces, as exemplified by directed graphs , preprint, State University of New York at Buffalo, (1986) Reprints in Theory and Applications of Categories, No. 9, 2005, pp. 1–7 (pdf)
where however the term “cohesive topos” was not yet used.
This appears maybe first in
The term “cohesion” and parts of its later axiomatization (p. 245) appears thoughout section C.1 of
Under the name categories of cohesion a formal axiomatization is given in
- William Lawvere, Axiomatic cohesion Theory and Applications of Categories, Vol. 19, No. 3, 2007, pp. 41–49. (web, pdf)
(This does demand the conditions that “cohesive piece have points” and “pieces of powers are powers of pieces” as part of the definition of “category of cohesion”.)
This builds on a series of precursors of attempts to identify axiomatics for gros toposes.
the term category of Being is used for a notion resembling that of a cohesive topos (with an adjoint quadruple but not considering pieces have points or discrete objects are concrete). Behaviour of objects with respect to the extra left adjoined is interpreted in terms of properties of Becoming. The terminology here is probably inspired from
and specifically the term “cohesion” probably from
- William Lawvere, Categories of space and quantity in: J. Echeverria et al (eds.), The Space of mathematics , de Gruyter, Berlin, New York (1992)
a proposal for a general axiomatization of homotopy/homology-like “extensive quantities” and cohomology-like “intensive quantities”) as covariant and contravariant functors out of a distributive category are considered.
The left and right adjoint to the global section functor as a means to identify discrete spaces and codiscrete space is mentioned
- William Lawvere Taking categories seriously, Reprints in Theory and Applications of Categories, No. 8, 2005, pp. 1–24. (pdf)
on page 14.
The precise term cohesive topos apparently first appeared publically in the lecture
Notes for these lectures are in this pdf, made available on Bob Walters’s Como Category Theory Archive.
The notion of “cohesion” was explored earlier in
- William Lawvere Volterra’s functionals and covariant cohesion of space Perugia Studies in Mathematics (Proceedings of the May 1997 Meeting in Perugia) (pdf)
where (on p. 9) it is suggested that “almost any” extensive category may be called a “species of cohesion”.
An analysis of the interdependency of the axioms on a cohesive topos is in
Discussion of “sufficient cohesion” is in
Matías Menni, Continuous Cohesion over sets, Theory and Applications of Categories, Vol. 29, 2014, No. 20, pp 542-568. (TAC, pdf)
Matías Menni, Sufficient Cohesion over Atomic Toposes , Cah. Top.Géom. Diff. Cat. LV (2014) (preprint)
Discussion of relation to double negation topology is in
- William Lawvere, Matías Menni, Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness, Theory and Applications of Categories, Vol. 30, 2015, No. 26, pp 909-932. (TAC)
A good deal of the structure of cohesive toposes is also considered in
under the name Q-categories .
The internal logic of local toposes is discussed in
- Steve Awodey, Lars Birkedal, Elementary axioms for local maps of toposes , Journal of Pure and Applied Algebra, 177(3):215-230, (2003) (ps)