2
$\begingroup$

Let $C$ be a category and let $\Delta:C\rightarrow C\times C, \Delta=(id_c,id_c)$ be the diagonal functor.

Recal that an isofibration is a functor p: E→B such that for any object $e\in E $ and any isomorphism $\phi:p(e) \simeq b$, there exists an isomorphism $\psi:e \xrightarrow{\simeq} e'$ such that $p(ψ)=\phi$.

Are there any conditions on $C$ that will ensure the diagonal is an isofibration?

$\endgroup$
2
  • 2
    $\begingroup$ I'm probably missing something, but it seems like that essentially never happens as soon as there exist two non-equal objects which are isomorphic. $\endgroup$ Jul 24, 2016 at 14:34
  • 5
    $\begingroup$ @DylanWilson Even as soon as there exists a non-identity isomorphism. And vice versa. $\endgroup$ Jul 24, 2016 at 15:55

1 Answer 1

5
$\begingroup$

მამუკა ჯიბლაძე's comment is exactly right: this property holds if and only if $C$ has no non-identity isomorphisms (otherwise $(a,\phi)$ for $\phi:a\simeq b$ is an isomorphism in $C\times C$ with codomain in the image of the diagonal but no lift to $C$). But if we only have to worry about identity isomorphisms, then obviously they will always have lifts.

There is a technical term for this definition. When $C$ satisfies this property, it is called a "gaunt" category.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.