For the closure of a subset of a topological space, see at closed subset.
A closure operator is a monad on a poset, typically a poset of subobjects (of some object) in some category. In logic, this is often referred to as a (monadic) modal operator. The elements of the poset that are fixed by the closure operator are called closed (or perhaps modal).
Dually, a comonad on a poset is called a co-closure operator and the elements fixed by it are called co-closed.
More generally, in type theory/category theory, we may think of any idempotent monad on a category as being a closure operator, and of any idempotent comonad as a co-closure operator.
For a category, a closure operator on is an idempotent monad on , hence an endofunctor equipped with unit and product natural transformations
such that the monad-axioms hold and such that the following equivalent conditions hold (idempotency)
the product map is an isomorphism;
is an isomorphism.
For a closure operator, def. , and for an object, we say that
is the -closure of ;
is the closing map or map to the closure;
is -closed precisely if is an isomorphism.
We write
for the full subcategory on the -closed objects.
A closure operator on a power set is also called a Moore closure. See there for more.
One well-known example of a Moore closure is topological closure, which is precisely a Moore closure that preserves finite joins (unions). Similarly, one can view topological interior as a co-closure operator on a power set that preserves finite meets, or dually as a closure operator on the opposite of a power set that preserves finite joins (given by intersections of subsets).
A Lawvere-Tierney topology is a closure operator on the subobject classifier of a topos , viewed as an internal meet-semilattice. More precisely, it is a just such a closure operator that preserves internal finite meets. Externally, provides an example of a universal closure operator.
We discuss here how a closure operator on a topos may induce closure operators on each of its slice categories.
Throughout, our topos is denoted .
Given a monad we write for its unit, and write for its multiplication. As we proceed, we add assumptions on , such as that it preserves certain limits and/or that it be idempotent.
For any object, we write for the slice topos over it. The corresponding base change geometric morphism (dependent sum context extension dependent product) we write
We denote an object in the slice also by the corresponding morphism
in , which is the image under dependent sum of the unique morphism from to the terminal object in . Accordingly, a morphism in the slice we also denote by the corresponding triangular commuting diagram
in .
Here we study the following endofunctors on slices induced from a monad on the total topos.
For an monad on a topos , and for any object, the induced operator
on the slice topos is the functor which sends an object to , hence to the left vertical morphism in the pullback diagram
regarded as an object in , and which sends morphisms to the corresponding universal maps between these pullbacks:
We now want to identify conditions under which is itself a monad. First observe that the unit-like map is canonically present.
In the situation of def. , there is a natural transformation
from the identity on the slice to the induced operator on the slice, whose component over an object is the universal morphism into the defining pullback in def. induced from the naturality of the -unit :
We have to show that for all morphisms
in the induced diagram
in commutes. Inspection of the defining pullback diagram shows that both composites in this diagram constitute cones over the pullback diagram that defines the bottom right object. Therefore by the universal property of the pullback they have to coincide.
Next, to have also a product operation on the induced operator we need that preserves some pullbacks:
Assume that the monad preserves pullbacks over objects in its image. Then for each the induced endofunctor of def. comes with a natural transformation
whose component on an object is the pullback of the component of the product of itself over the component along the unit components .
First we produce the component map as claimed, then we show that it is indeed the component of a natural transformation.
So for an object in the slice, consider the defining pullback diagram of from def.
By the assumption that preserves pullback diagrams of this form, application of yields the pullback diagram
Pasting to this the pullback of its left vertical morphism along yields
where the total rectangle is also a pullback, by the pasting law.
We now build a morphism of diagrams from the underlying cospan of this diagram to another cospan, such that the induced map on pullbacks is the component of the natural transformation that we are looking for,
To this end, first paste to the above diagram the naturality square of the monad multiplication map to obtain
Then fill in the commuting diagram that exhibits the unitality axiom of to obtain
Finally paste in an identity square, just as to manifestly exhibit a morphism of diagrams
Now observe that the total front cospan of morphisms is such that the limit cone over it is the pullback that defines . By functoriality of pullbacks (by their universal property), this induces a component morphism
as claimed.
Since this is built just from universal constructions, the fact that this morphism is indeed natural follows as in prop. .
So far we have constructed from a monad that preserves pullbacks over objects in its image an operator on slices which is equipped with a unit-like and a multiplication-like transformation. We now claim that this yields indeed a monad on the slice.
For a monad which preserves pullbacks over objects in its image, and for any object, the natural transformations
constitute the unit and product of a monad structure on the slice operator of def. .
If moreover is idemponent, then so is .
By forming cospan morphisms and inducing maps between the corresponding pullbacks, this follows from the monad structure by the same arguments as in the proof of prop. .
If is an idempotent monad, hence a closure operator, then, by the discussion there, the monad unit exhibits an equivalence of categories between the objects in the image of and the -closed objects.
Therefore in this case the condition that preserves pullbacks over objects in its image is equivalently that it preserves pullbacks over -closed objects. In this form we will mostly state this condition in the following.
Let be an idempotent monad that preserves pullbacks over -closed objects. Then the closed objects , def. , of the induced idempotent monad on the slice over any are precisely those objects for which the naturality square of the -unit is a pullback square in .
By def. we need to show that for the corresponding component of the -unit is an isomorphism precisely if
is a pullback diagram in . By prop. and prop. , the universal map from this diagram, regarded as a cone over the underlying cospan, to the limiting cone is precisely . Hence the claim follows by the universal property of the pullback.
As a special case of def. we are therefore now interested in the following.
For an idempotent monad which preserves pullbacks over -closed objects, write
of the full subcategory of the slice topos on the -closed objects.
Last revised on February 11, 2019 at 12:53:41. See the history of this page for a list of all contributions to it.