2021/01/21 by Maillard, Jun
#18A05 #18A22 #18A25 #18D05 #55Q05 #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2101.08727
We present a criterion for 2-final (2,1)-functors, analoguous to the classical one for final 1-functor: a (2,1)-functor F \colon A → B is 2-final if and only if, for any object b of B, the slice (2,1)-category b / F is nonempty, connected and simply connected. We also give a combinatorial presentation of paths and homotopies of paths in a (2,1)-category.