Subobjects and Pullback

Subobjects

Subobject

A subobject of an object $X$ in a category $\mathbf{C}$ is a monomorphism $m:M\rightarrowtail X$Given subobjects $m,m^{\prime }$ of $X$, a morphism $f:m\to m^{\prime }$ is an morphism in $\mathbf{C}/X$. Thus we have a category ${\mathrm{Sub}}_{\mathbf{C}}(X)$ of subobjects of $X$ in $\mathbf{C}$.

Inclusion of Subobjects

We define the relation of inclusion of subobjects by: $m\subseteq m^{\prime }⟺\exists f:m\to m^{\prime }\in \text{mor}(\mathbf{C}/X)⟺\exists \varphi :M\to M^{\prime }.m=m^{\prime }\circ \varphi$

Equivalence of Subobjects

We say that subobjects $m$ and $m^{\prime }$ are equivalent if $m\subseteq m^{\prime }$ and $m^{\prime }\subseteq m$, write $m\equiv m^{\prime }$.

Proposition

Equivalent subobjects have isomorphic domains.

Proof Observe that, if $m\equiv m^{\prime }$ then $m=m^{\prime }f=m{f}^{\prime }f$, and since $m$ is monic, $f^{\prime }f=1_M$ and similarly $f{f}^{\prime }=1_{M^{\prime }}$. So $M\cong M^{\prime }$ via $f$.

Comment

We sometimes abuse notation and language by calling $M$ the subobject when the monomorphism $m:M\to X$ is clear.

Definition

Def Local Membership In terms of generalized elements $z:Z\to X$ of an object $X$, we define the local membership relation as $z{\in }_{X}M$

Pullback

Pullback

In any category $\mathbf{C}$, a pullback of morphisms $f,g$ with $\text{cod}(f)=\text{cod}(g)$ consists of morphisms such that $f\circ p_1=g\circ p_2$, and universal with this property. i.e., given any $z_1:Z\to A$ and $z_2:Z\to B$ with $f\circ z_1=g\circ z_2$, there exists a unique $u:Z\to P$ with $z_1=p_1\circ u$ and $z_2=p_2\circ u$: And we write such $P$ as $A{\times }_{C}B$.

Corollary

If a category $\mathbf{C}$ has binary products and equalizers, then it has pullbacks.

e.g. An explicit construction of a pullback in $\mathbf{Sets}$ of objects $f:A\to C$ and $g:B\to C$ as a subset of the product: $\{⟨a,b⟩\mid fa=gb\}=A{\times }_{C}B\hookrightarrow A\times B$

Proposition

Prop Given a pullback $A{\times }_{C}B$ in any category: If $g$ is monic, then $p_1$ is monic.

Lemma

Lemma Two-Pullbacks Consider the commutative diagram below in a category with pullbacks:

• If the two squares are pullbacks, so is the outer rectangle. That is $E{\times }_A(A{\times }_{C}B)\cong E{\times }_{C}B$
• If the right square and outer square are pullbacks, so is the left square.

Corollary The pullback of a commutative triangle is a commutative triangle. Specifically, given a commutative triangle as on the right end of the following “prism diagram”:

Prop For fixed $h:C^{\prime }\to C$ in a category $\mathbf{C}$ with pullbacks, there is a functor$h^{\ast }:\mathbf{C}/C\to \mathbf{C}/C^{\prime }$defined by $(\alpha :A\to C)\mapsto ({\alpha }^{\prime }:C^{\prime }{\times }_{C}A\to C^{\prime })$. We call ${\alpha }^{\prime }$ the pullback of $\alpha$ along $h$. Proof

Prop A category has finite products and equalizers iff it has pullbacks and a terminal object. Proof The “only if” direction has already been done. For the other direction, suppose $\mathbf{C}$ has pullbacks and a terminal object $1$.