Yeah, weird. I changed it.
]]>The article says, “if [commuting square involving ] is a commutative diagram with bijective on objects and essentially surjective, then there is a unique functor such that and .” The symbol is never used in the diagram; should it be “ fully faithful” instead of “ essentially surjective”?
]]>