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.
Looks like a good start, thanks! Nice diagrams!
I reworded from saying that a 2-functor is a functor to saying that it is a categorification of the notion of a functor, since functor focuses on the 1-categorical case. I also added some more whitespace between the last two xymatrix diagrams.
1 to 3 of 3