Proposition [efr-002L]
Proposition [efr-002L]
Let \mathcal {C}_(-) be a locally graded category given by an action \mathcal {M} \times \mathcal {C} \to \mathcal {C}. Then the category of horizontal morphisms \mathsf {\mathbb Para}_\mathcal {M}(\mathcal {C})_1 is given by the comma object of this cospan:
