Hi there. Suppose ${\bf C}_1$, ${\bf C}_2$ and $\bf D$ are categories and $F_i$ is a functor ${\bf C}_i \to \bf D$. Consider the subcategory of the comma category $( F_1 \downarrow F_2)$ whose objects are all triples $(c_1, c_2, e)$ where $c_i \in \mathrm{obj}(\mathbf C_i)$, $F_1(c_1) = F_2(c_2)$ and $e$ is the identity of $\hom_\mathbf{D}(c)$ with $c := F_i(c_i)$. Is there a standard name for this particular category? Thank you in advance.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
|
|
|
|
|
7
|
The (strict) pullback of $F_0$ and $F_1$. |
||||||||||||||
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
3
|
The (strict) pullback of $F_0$ and $F_1$. |
||
|
|
