Hi,

I would like to know whether there is a standard name for the following "slice" category: Let $\mathcal{C}$ be a 2-category and $c \in \mathcal{C}$ an object of $\mathcal{C}$. We can form the category where an object $(d,f)$ is a pair of an object $d\in\mathcal{C}$ and an arrow $f : d\to c$. A morphism $(h, \alpha)$ from $(d,f)$ to $(e,g)$ is given by $h : e \to e$ and a 2-cell $\alpha : f \Rightarrow g \circ h$.

Thanks a lot, ben

Hi,

I would like to know whether there is a standard name for the following "slice" category: Let $\mathcal{C}$ be a 2-category and $c \in \mathcal{C}$ an object of $\mathcal{C}$. We can form the category where an object $(d,f)$ is a pair of an object $d\in\mathcal{C}$ and an arrow $f : d\to c$. A morphism $(h, \alpha)$ from $(d,f)$ to $(e,g)$ is given by $h : d \to e$ and a 2-cell $\alpha : f \Rightarrow g \circ h$.

Thanks a lot, ben

[Edit: fixed typo mentioned by Martin]