Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The article says, “if [commuting square involving A,B,C,D,e,j,u,v] is a commutative diagram with e bijective on objects and s essentially surjective, then there is a unique functor h:B→C such that he=u and jh=v.” The symbol s is never used in the diagram; should it be “j fully faithful” instead of “s essentially surjective”?
Yeah, weird. I changed it.
1 to 3 of 3