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.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
The (strict) pullback of $F_0$ and $F_1$. 


The (strict) pullback of $F_0$ and $F_1$. 

