§
Limits examples with small diagram categories
Given a limit, compute the value as taking product of all objects, and taking only those tuples which obey the relations
the relation
f
(
a
)
=
b
f(a) = b
f
(
a
)
=
b
for all arrows
f
∈
H
o
m
(
X
,
Y
)
f \in Hom(X, Y)
f
∈
H
o
m
(
X
,
Y
)
.