A free diagram in a category $\mathcal{C}$ is a particularly simple special case of the general concept of a diagram $X_\bullet \;\colon\; \mathcal{I} \to \mathcal{C}$, namely the case where the shape $\mathcal{I}$ of the diagram is a free category.
Many important types of limits and colimits are over free diagrams, for instance products/coproducts, equalizers/coequalizers, pullbacks/pushouts, sequential limits/sequential colimits.
Due to the simplicity of the concept of free diagrams, these types of limits and colimits may be discussed in a very low-brow way, without even making the concept of category and functor explicit. For this see the Exposition below.
Recall that
(diagram)
For $\mathcal{C}$ a category, then a diagram in $\mathcal{C}$ is
a small category $\mathcal{I}$ , the shape of the diagram;
a functor $X_\bullet \;\colon\; \mathcal{I} \to \mathcal{C}$.
There is a free-forgetful adjunction
between the 1-categories of categories and that of directed graphs.
A free category is one in the image of this left adjoint functor $Free \colon DirGraph \to Cat$ (sometimes called a βpath categoryβ).
(free diagram)
A free diagram in a category $\mathcal{C}$ is a diagram in $\mathcal{C}$ (def. ) whose shape is a free category (def. ).
In other words, a free diagram in $\mathcal{C}$ is
a directed graph $I$;
a functor of the form $X_\bullet \;\colon\; Free(I) \to \mathcal{C}$.
Types of free diagrams that are commonly encountered in practice, as well as the names of the limits/colimits over them are shown in the following table
We give an exposition of free diagrams, and their cones and limits, intentionally avoiding abstract category-theoretic language, expressing everything just in components. See also at limits and colimits by example.
For concreteness, we speak only of diagrams of sets and of topological spaces in the following:
(free diagram of sets/topological spaces)
A free diagram $X_\bullet$ of sets or of topological spaces is
a set $\{ X_i \}_{i \in I}$ of sets or of topological spaces, respectively;
for every pair $(i,j) \in I \times I$ of labels, a set $\{ X_i \overset{ f_\alpha }{\longrightarrow} X_j\}_{\alpha \in I_{i,j}}$ of functions of of continuous functions, respectively, between these.
(discrete diagram and empty diagram)
Let $I$ be any set, and for each $(i,j) \in I \times I$ let $I_{i,j} = \emptyset$ be the empty set.
The corresponding free diagrams (def. ) are simply a set of sets/topological spaces with no specified (continuous) functions between them. This is called a discrete diagram.
For example for $I = \{1,2,3\}$ the set with 3-elements, then such a diagram looks like this:
Notice that here the index set may be empty set, $I = \emptyset$, in which case the corresponding diagram consists of no data. This is also called the empty diagram.
Let $I = \{a, b\}$ be the set with two elements, and consider the sets
The corresponding free diagrams (def. ) are called pairs of parallel morphisms. They may be depicted like so:
Let $I = \{a,b,c\}$ the set with three elements, and set
The corresponding free diagrams (def. ) look like so:
These are called span diagrams.
Similary, there is the cospan diagram of the form
Let $I = \mathbb{N}$ be the set of natural numbers and consider
The corresponding free diagrams (def. ) are called tower diagrams. They look as follows:
Similarly there are co-tower diagram
$\,$
(cone over a free diagram)
Consider a free diagram of sets or of topological spaces (def. )
Then
a cone over this diagram is
a set or topological space $\tilde X$ (called the tip of the cone);
for each $i \in I$ a function or continuous function $\tilde X \overset{p_i}{\longrightarrow} X_i$
such that
for all $(i,j) \in I \times I$ and all $\alpha \in I_{i,j}$ then the condition
holds, which we depict as follows:
a co-cone over this diagram is
a set or topological space $\tilde X$ (called the tip of the co-cone);
for each $i \in I$ a function or continuous function $q_i \colon X_i \longrightarrow \tilde X$;
such that
for all $(i,j) \in I \times I$ and all $\alpha \in I_{i,j}$ then the condition
holds, which we depict as follows:
(solutions to equations are cones)
Let $f,g \colon \mathbb{R} \to \mathbb{R}$ be two functions from the real numbers to themselves, and consider the corresponding parallel morphism diagram of sets (example ):
Then a cone (def. ) over this free diagram with tip the singleton set $\ast$ is a solution to the equation $f(x) = g(x)$
Namely the components of the cone are two functions of the form
hence equivalently two real numbers, and the conditions on these are
(limiting cone over a diagram)
Consider a free diagram of sets or of topological spaces (def. ):
Then
its limiting cone (or just limit for short, also βinverse limitβ, for historical reasons) is the cone
over this diagram (def. ) which is universal among all possible cones, in that for
any other cone, then there is a unique function or continuous function, respectively
that factors the given cone through the limiting cone, in that for all $i \in I$ then
which we depict as follows:
its colimiting cocone (or just colimit for short, also βdirect limitβ, for historical reasons) is the cocone
under this diagram (def. ) which is universal among all possible co-cones, in that it has the property that for
any other cocone, then there is a unique function or continuous function, respectively
that factors the given co-cone through the co-limiting cocone, in that for all $i \in I$ then
which we depict as follows:
$\,$
All the limits and colimits over the free diagram in the above list of examples have special names:
shapes of free diagrams and the names of their limits/colimits
(initial object and terminal object)
Consider the empty diagram (def. ).
A cone over the empty diagram is just an object $X$, with no further structure or condition. The universal property of the limit βast$'' over the empty diagram is hence that for every object$X$, there is a unique map of the form$X \to \ast$. Such an object$\ast$ is called a terminal object.
A co.cone? over the empty diagram is just an object $X$, with no further structure or condition. The universal property of the colimit β$'' over the empty diagram is hence that for every object$X$, there is a unique map of the form$0 \to X$. Such an object$\ast$ is called a initial object.
(Cartesian product and coproduct)
Let $\{X_i\}_{i \in I}$ be a discrete diagram (example ), i.e. just a set of objects.
The limit over this diagram is called the Cartesian product, denoted $\underset{i \in I}{\prod} X_i$;
The colimit over this diagram is called the coproducts, denoted $\underset{i \in I}{\coprod} X_i$.
Let
be a free diagram of the shape βpair of parallel morphismsβ (example ).
A limit over this diagram according to def. is also called the equalizer of the maps $f_1$ and $f_2$. This is a set or topological space $eq(f_1,f_2)$ equipped with a map $eq(f_1,f_2) \overset{p_1}{\longrightarrow} X_1$, so that $f_1 \circ p_1 = f_2 \circ p_1$ and such that if $Y \to X_1$ is any other map with this property
then there is a unique factorization through the equalizer:
In example we have seen that a cone over such a pair of parallel morphisms is a solution to the equation $f_1(x) = f_2(x)$.
The equalizer above is the space of all solutions of this equation.
(pullback/fiber product and coproduct)
Consider a cospan diagram (example )
The limit over this diagram is also called the fiber product of $X$ with $Y$ over $Z$, and denoted $X \underset{Z}{\times}Y$. Thought of as equipped with the projection map to $X$, this is also called the pullback of $f$ along $g$
Dually, consider a span diagram (example )
The colimit over this diagram is also called the pushout of $f$ along $g$, denoted $X \underset{Z}{\sqcup}Y$:
$\,$
Here is a more explicit description of the limiting cone over a diagram of sets:
Let $\left\{ X_i \overset{f_\alpha}{\longrightarrow} X_j \right\}_{i,j \in I, \alpha \in I_{i,j}}$ be a free diagram of sets (def. ). Then
its limit cone (def. ) is given by the following subset of the Cartesian product $\underset{i \in I}{\prod} X_i$ of all the sets $X_i$ appearing in the diagram
on those tuples of elements which match the graphs of the functions appearing in the diagram:
and the projection functions are $p_i \colon (x_j)_{j \in I} \mapsto x_i$.
its colimiting co-cone (def. ) is given by the quotient set of the disjoint union $\underset{i \in I}{\sqcup} X_i$ of all the sets $X_i$ appearing in the diagram
with respect to the equivalence relation which is generated from the graphs of the functions in the diagram:
and the injection functions are the evident maps to equivalence classes:
We dicuss the proof of the first case. The second is directly analogous.
First observe that indeed, by consturction, the projection maps $p_i$ as given do make a cone over the free diagram, by the very nature of the relation that is imposed on the tuples:
We need to show that this is universal, in that any other cone over the free diagram factors universally through it. First consider the case that the tip of a give cone is a singleton:
This is hence equivalently for each $i \in I$ an element $x'_i \in X_i$, such that for all $i, j \in I$ and $\alpha \in I_{i,j}$ then $f_\alpha(x'_i) = x'_j$. But this is precisely the relation used in the construction of the limit above and hence there is a unique map
such that for all $i \in I$ we have
namely that map is the one that picks the element $(x'_i)_{i \in I}$.
This shows that every cone with tip a singleton factors uniquely through the claimed limiting cone. But then for a cone with tip an arbitrary set $Y$, this same argument applies to all the single elements of $Y$.
Last revised on May 8, 2017 at 16:51:45. See the history of this page for a list of all contributions to it.