« first day (315 days earlier)      last day (2039 days later) » 

mattecapu
mattecapu
12:39 PM
Hi folks, does someone know, in the context of weak 2-categories, what's the standard terminology to distinguish between
(a) an invertible 2-morphism
(b) a 1-morphism which is invertible up to an invertible 2-morphism (like an homotopy equivalence)
As of now I'm calling (a) iso-2-morphism and (b) 2-isomorphism, which is ambiguous
 
 
3 hours later…
Espen Nielsen
Espen Nielsen
3:11 PM
@mattecapu I call (a) isomorphisms (or 2-equivalences) and (b) equivalences. In an $n$-category, a $k$-morphism which is invertible up to $k+1$-equivalence is called a $k$-equivalence.
 
mattecapu
mattecapu
@EspenNielsen thank you very much
 

« first day (315 days earlier)      last day (2039 days later) »