nLab
closure operator

For the closure of a subset of a topological space, see at closed subset.


Contents

Idea

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.

Definition

Definition

For 𝒞\mathcal{C} a category, a closure operator \diamond on 𝒞\mathcal{C} is an idempotent monad on 𝒞\mathcal{C}, hence an endofunctor :𝒞𝒞\diamond \colon \mathcal{C} \to \mathcal{C} equipped with unit and product natural transformations

  • η :id 𝒞\eta_{\diamond} \;\colon\; id_{\mathcal{C}} \to \diamond

  • μ :\mu_{\diamond} \;\colon\; \diamond \circ \diamond \to \diamond

such that the monad-axioms hold and such that the following equivalent conditions hold (idempotency)

  • the product map is an isomorphism;

  • η ()\eta_{\diamond(-)} is an isomorphism.

Definition

For :XX\diamond \colon X \to X a closure operator, def. 1, and for X𝒞X \in \mathcal{C} an object, we say that

  • X𝒞\diamond X \in \mathcal{C} is the \diamond-closure of XX;

  • η X:XX\eta_{X} \colon X \to \diamond X is the closing map or map to the closure;

  • XX is \diamond-closed precisely if η X\eta_X is an isomorphism.

We write

𝒞 𝒞 \mathcal{C}_\diamond \hookrightarrow \mathcal{C}

for the full subcategory on the \diamond-closed objects.

Examples

Induced closure on slices

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 𝒞\mathcal{C}.

Given a monad :𝒞𝒞\diamond \colon \mathcal{C} \to \mathcal{C} we write η :id 𝒞\eta_\diamond \colon id_{\mathcal{C}} \to \diamond for its unit, and write μ :\mu_\diamond \colon \diamond \circ \diamond \to \diamond for its multiplication. As we proceed, we add assumptions on \diamond, such as that it preserves certain limits and/or that it be idempotent.

For X𝒞X \in \mathcal{C} any object, we write 𝒞 /X\mathcal{C}_{/X} for the slice topos over it. The corresponding base change geometric morphism (dependent sum \dashv context extension \dashv dependent product) we write

(XX *X):𝒞 /X XX * X𝒞. \left( \underset{X}{\sum} \dashv X^\ast \dashv \underset{X}{\prod} \right) \;\colon\; \mathcal{C}_{/X} \stackrel{\overset{\sum_X}{\to}}{\stackrel{\overset{X^\ast}{\leftarrow}}{\underset{\prod_X}{\to}}} \mathcal{C} \,.

We denote an object p𝒞 /Xp \in \mathcal{C}_{/X} in the slice also by the corresponding morphism

p(( Xp)pX) X(p* X) p \coloneqq \left( \left(\sum_X p\right) \stackrel{p}{\to} X \right) \coloneqq \sum_X \left( p \to \ast_{X} \right)

in 𝒞\mathcal{C}, which is the image under dependent sum of the unique morphism from pp to the terminal object in 𝒞 /X\mathcal{C}_{/X}. Accordingly, a morphism ϕ:p 1p 2\phi \colon p_1 \to p_2 in the slice we also denote by the corresponding triangular commuting diagram

( Xp 1 Xϕ Xp 2 p 1 p 2 X) \left( \array{ \sum_X p_1 &&\stackrel{\sum_X \phi}{\to}&& \sum_X p_2 \\ & {}_{\mathllap{p}_1}\searrow && \swarrow_{\mathrlap{p_2}} \\ && X } \right)

in 𝒞\mathcal{C}.

Here we study the following endofunctors on slices induced from a monad on the total topos.

Definition

For :𝒞𝒞\diamond \colon \mathcal{C} \to \mathcal{C} an monad on a topos 𝒞\mathcal{C}, and for X𝒞X \in \mathcal{C} any object, the induced operator

/X:𝒞 /X𝒞 /X \diamond_{/X} \colon \mathcal{C}_{/X} \to \mathcal{C}_{/X}

on the slice topos 𝒞 /X\mathcal{C}_{/X} is the functor which sends an object (EpX)𝒞 /X(E \stackrel{p}{\to} X) \in \mathcal{C}_{/X} to (X×XEη (X) *pX)(X \underset{\diamond X}{\times} \diamond E \stackrel{\eta_\diamond(X)^\ast \diamond p}{\to} X), hence to the left vertical morphism in the pullback diagram

X×XE E η (X) *p p X η (X) X, \array{ X \underset{\diamond X}{\times} \diamond E &\to& \diamond E \\ \downarrow^{\mathrlap{\eta_\diamond(X)^\ast \diamond p}} && \downarrow^{\mathrlap{\diamond p}} \\ X &\stackrel{\eta_\diamond(X)}{\to}& \diamond X } \,,

regarded as an object in 𝒞 /X\mathcal{C}_{/X}, and which sends morphisms to the corresponding universal maps between these pullbacks:

/X:(E 1 ϕ E 2 X)(X×XE 1 X×Xϕ X×XE 2 X). \diamond_{/X} \;\; \colon \;\; \left( \array{ E_1 &&\stackrel{\phi}{\to}&& E_2 \\ & \searrow && \swarrow \\ && X } \right) \;\; \mapsto \;\; \left( \array{ X \underset{\diamond X}{\times} \diamond E_1 && \stackrel{X \underset{\diamond X}{\times} \diamond \phi}{\to} && X \underset{\diamond X}{\times} \diamond E_2 \\ & \searrow && \swarrow \\ && X } \right) \,.

We now want to identify conditions under which /X\diamond_{/X} is itself a monad. First observe that the unit-like map is canonically present.

Proposition

In the situation of def. 3, there is a natural transformation

η /X:id 𝒞 /X /X \eta_{\diamond_{/X}} \;\colon\; id_{\mathcal{C}_{/X}} \to \diamond_{/X}

from the identity on the slice to the induced operator on the slice, whose component over an object (EpX)𝒞 /X(E \stackrel{p}{\to} X) \in \mathcal{C}_{/X} is the universal morphism into the defining pullback in def. 3 induced from the naturality of the \diamond-unit η \eta_{\diamond}:

η (E): E X(η /X(p)) X×XE E p η (X) *p p X η (X) X, \array{ \eta_{\diamond}(E) \colon & E &\stackrel{\sum_{X} \left(\eta_{\diamond_{/X}}\left(p\right)\right) }{\to}& X \underset{\diamond X}{\times} \diamond E &\to& \diamond E \\ & &{}_{\mathllap{p}}\searrow& \downarrow^{\mathrlap{\eta_\diamond(X)^\ast \diamond p}} && \downarrow^{\diamond \mathrlap{p}} \\ & && X &\stackrel{\eta_\diamond(X)}{\to}& \diamond X } \,,
Proof

We have to show that for all morphisms

(E 1 f E 2 p 1 p 2 X) \left( \array{ E_1 &&\stackrel{f}{\to}&& E_2 \\ & {}_{\mathllap{p_1}}\searrow && \swarrow_{\mathrlap{p_2}} \\ && X } \right)

in 𝒞 /X\mathcal{C}_{/X} the induced diagram

E 1 X(η /X(p 1)) X×XE 1 f X×Xf E 2 X(η /X(p 2)) X×XE 2 \array{ E_1 &\stackrel{\sum_X (\eta_{\diamond_{/X}}(p_1) )}{\to}& X \underset{\diamond X}{\times} \diamond E_1 \\ \downarrow^{\mathrlap{f}} && \downarrow^{\mathrlap{X \underset{\diamond X}{\times} \diamond f }} \\ E_2 &\stackrel{\sum_X (\eta_{\diamond_{/X}}(p_2) )}{\to}& X \underset{\diamond X}{\times} \diamond E_2 }

in 𝒞\mathcal{C} 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 /X\diamond_{/X} we need that \diamond preserves some pullbacks:

Proposition

Assume that the monad :𝒞𝒞\diamond \colon \mathcal{C} \to \mathcal{C} preserves pullbacks over objects in its image. Then for each X𝒞X \in \mathcal{C} the induced endofunctor /X\diamond_{/X} of def. 3 comes with a natural transformation

μ /X: /X /X /X \mu_{\diamond_{/X}} \;\colon\; \diamond_{/X} \circ \diamond_{/X} \to \diamond_{/X}

whose component on an object (EpX)𝒞 /X(E \stackrel{p}{\to} X) \in \mathcal{C}_{/X} is the pullback of the component μ E\mu_{\diamond} E of the product of \diamond itself over the component μ X\mu_\diamond X along the unit components η X\eta_{\diamond} X.

Proof

First we produce the component map as claimed, then we show that it is indeed the component of a natural transformation.

So for p𝒞 /Xp \in \mathcal{C}_{/X} an object in the slice, consider the defining pullback diagram of /Xp\diamond_{/X} p from def. 3

X×XE E η (X) *p p X η (X) X. \array{ X \underset{\diamond X}{\times} \diamond E &\to& \diamond E \\ \downarrow^{\mathrlap{\eta_\diamond(X)^\ast \diamond p}} && \downarrow^{\mathrlap{\diamond p}} \\ X &\stackrel{\eta_\diamond(X)}{\to}& \diamond X } \,.

By the assumption that \diamond preserves pullback diagrams of this form, application of \diamond yields the pullback diagram

(X×XE) E p X (η (X)) X. \array{ \diamond( X \underset{\diamond X}{\times} \diamond E ) &\to& \diamond \diamond E \\ \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{\diamond \diamond p}} \\ \diamond X &\stackrel{\diamond(\eta_\diamond(X))}{\to}& \diamond \diamond X } \,.

Pasting to this the pullback of its left vertical morphism along η (X)\eta_\diamond(X) yields

X×X(X×XE) (X×XE) E p X η X X (η (X)) X, \array{ X \underset{\diamond X}{\times} \diamond(X \underset{\diamond X}{\times} \diamond E) &\to& \diamond( X \underset{\diamond X}{\times} \diamond E ) &\to& \diamond \diamond E \\ \downarrow && \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{\diamond \diamond p}} \\ X &\stackrel{\eta_\diamond X}{\to}& \diamond X &\stackrel{\diamond(\eta_\diamond(X))}{\to}& \diamond \diamond X } \,,

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 μ :\mu_\diamond \colon \diamond \circ \diamond \to \diamond to obtain

X×X(X×XE) (X×XE) E p μ (E) X η X X (η (X)) X E μ X p X, \array{ X \underset{\diamond X}{\times} \diamond(X \underset{\diamond X}{\times} \diamond E) &\to& \diamond( X \underset{\diamond X}{\times} \diamond E ) &\to& \diamond \diamond E \\ \downarrow && \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{\diamond \diamond p}} & \searrow^{\mathrlap{\mu_{\diamond}(E)}} \\ X &\stackrel{\eta_\diamond X}{\to}& \diamond X &\stackrel{\diamond(\eta_\diamond(X))}{\to}& \diamond \diamond X && \diamond E \\ && && & \searrow^{\mathrlap{\mu_\diamond X} } & \downarrow^{\mathrlap{\diamond p}} \\ && && && \diamond X } \,,

Then fill in the commuting diagram that exhibits the unitality axiom of \diamond to obtain

X×X(X×XE) (X×XE) E p μ (E) X η X X (η (X)) X E id X μ X p X id X X. \array{ X \underset{\diamond X}{\times} \diamond(X \underset{\diamond X}{\times} \diamond E) &\to& \diamond( X \underset{\diamond X}{\times} \diamond E ) &\to& \diamond \diamond E \\ \downarrow && \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{\diamond \diamond p}} & \searrow^{\mathrlap{\mu_{\diamond}(E)}} \\ X &\stackrel{\eta_\diamond X}{\to}& \diamond X &\stackrel{\diamond(\eta_\diamond(X))}{\to}& \diamond \diamond X && \diamond E \\ && &\searrow^{\mathrlap{id_{\diamond X}}} & & \searrow^{\mathrlap{\mu_\diamond X} } & \downarrow^{\mathrlap{\diamond p}} \\ && && \diamond X &\stackrel{id_{\diamond X}}{\to}& \diamond X } \,.

Finally paste in an identity square, just as to manifestly exhibit a morphism of diagrams

X×X(X×XE) (X×XE) E p μ (E) X η X X (η (X)) X E id X id X μ X p X η X X id X X. \array{ X \underset{\diamond X}{\times} \diamond(X \underset{\diamond X}{\times} \diamond E) &\to& \diamond( X \underset{\diamond X}{\times} \diamond E ) &\to& \diamond \diamond E \\ \downarrow && \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{\diamond \diamond p}} & \searrow^{\mathrlap{\mu_{\diamond}(E)}} \\ X &\stackrel{\eta_\diamond X}{\to}& \diamond X &\stackrel{\diamond(\eta_\diamond(X))}{\to}& \diamond \diamond X && \diamond E \\ &\searrow^{\mathrlap{id_X}}& &\searrow^{\mathrlap{id_{\diamond X}}} & & \searrow^{\mathrlap{\mu_\diamond X} } & \downarrow^{\mathrlap{\diamond p}} \\ && X &\stackrel{\eta_\diamond X}{\to}& \diamond X &\stackrel{id_{\diamond X}}{\to}& \diamond X } \,.

Now observe that the total front cospan of morphisms is such that the limit cone over it is the pullback that defines X×XEX \underset{\diamond X}{\times} \diamond E. By functoriality of pullbacks (by their universal property), this induces a component morphism

μ /X:X×X(X×E)X×XE \mu_{\diamond_{/X}} \;\colon\; X \underset{\diamond X}{\times} \diamond (X \underset{\diamond}{\times} \diamond E) \to X \underset{\diamond X}{\times} \diamond E

as claimed.

Since this is built just from universal constructions, the fact that this morphism is indeed natural follows as in prop. 1.

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.

Proposition

For :𝒞𝒞\diamond \colon \mathcal{C} \to \mathcal{C} a monad which preserves pullbacks over objects in its image, and for X𝒞X \in \mathcal{C} any object, the natural transformations

  1. η /X:id 𝒞 /X /X\eta_{\diamond_{/X}} \colon id_{\mathcal{C}_{/X}} \to \diamond_{/X} of prop. 1

  2. μ /X: /X /X /X\mu_{\diamond_{/X}} \colon \diamond_{/X} \circ \diamond_{/X} \to \diamond_{/X} from prop. 2

constitute the unit and product of a monad structure ( /X,μ /X,η /X)(\diamond_{/X}, \mu_{\diamond_{/X}}, \eta_{\diamond_{/X}}) on the slice operator /X\diamond_{/X} of def. 3.

If moreover \diamond is idemponent, then so is /X\diamond_{/X}.

Proof

By forming cospan morphisms and inducing maps between the corresponding pullbacks, this follows from the monad structure (,μ ,η )(\diamond, \mu_{\diamond}, \eta_{\diamond}) by the same arguments as in the proof of prop. 2.

Remark

If \diamond 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 \diamond and the \diamond-closed objects.

Therefore in this case the condition that \diamond preserves pullbacks over objects in its image is equivalently that it preserves pullbacks over \diamond-closed objects. In this form we will mostly state this condition in the following.

Proposition

Let :𝒞𝒞\diamond \colon \mathcal{C} \to \mathcal{C} be an idempotent monad that preserves pullbacks over \diamond-closed objects. Then the closed objects p𝒞 /Xp \in \mathcal{C}_{/X}, def. 2, of the induced idempotent monad /X\diamond_{/X} on the slice over any X𝒞X \in \mathcal{C} are precisely those objects (EpX)(E \stackrel{p}{\to} X) for which the naturality square of the \diamond-unit is a pullback square in 𝒞\mathcal{C}.

Proof

By def. 2 we need to show that for p𝒞 /Xp \in \mathcal{C}_{/X} the corresponding component of the /X\diamond_{/X}-unit η /X(p)\eta_{\diamond_{/X}}(p) is an isomorphism precisely if

E η E E p p X η X X \array{ E &\stackrel{\eta_{\diamond} E}{\to}& \diamond E \\ \downarrow^{\mathrlap{p}} && \downarrow^{\mathrlap{\diamond p}} \\ X &\stackrel{\eta_{\diamond} X}{\to}& \diamond X }

is a pullback diagram in 𝒞\mathcal{C}. By prop. 3 and prop. 1, the universal map from this diagram, regarded as a cone over the underlying cospan, to the limiting cone is precisely η /X(p)\eta_{\diamond_{/X}}(p). Hence the claim follows by the universal property of the pullback.

As a special case of def. 2 we are therefore now interested in the following.

Definition

For :𝒞𝒞\diamond \colon \mathcal{C} \to \mathcal{C} an idempotent monad which preserves pullbacks over \diamond-closed objects, write

(𝒞 /X) /X𝒞 /X (\mathcal{C}_{/X})_{\diamond_{/X}} \hookrightarrow \mathcal{C}_{/X}

of the full subcategory of the slice topos on the /X\diamond_{/X}-closed objects.

Revised on April 5, 2017 14:09:29 by Urs Schreiber (78.47.168.108)