This is great. It's essentially asking you to work in a 2-category[1], which, once you get used to it, is an amazingly intuitive way to make sense of constructi

This is great. It's essentially asking you to work in a 2-category[1], which, once you get used to it, is an amazingly intuitive way to make sense of constructions in ordinary 1-categories. [1]https://ncatlab.org/nlab/show/2-category https://ncatlab.org/nlab/show/2-category