Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
Hi,
I’ve been excited around here lately as I learn about functors and forms, higher transport, 2-groupoids, and 2-categories.
As usual though, I need to “find my own way”, which is understandably frustrating. Anyway, I think I’ve found my own way to understand 2-categories and it involves cooking up a construction I call the “boundary of a 2-morphism”.
I’ve written up some of my thoughts on my personal web:
I’d love to hear your thoughts. Is it nuts? Is it useful? Is it interesting? I thought the calculation involving the interchange law was particularly cute. What do you think?
Best regards,
Eric
If you find yourself with a little spare time and would like to contribute something to the nLab, a contribution doesn’t need to be mathematical content. It could be cosmetic, e.g. changing ]]s to s]], or technical, e.g. adding redirects to newly created pages.
When I had time (which is rare these days!), I would often go to Recently Revised and have a look at the most recent changes. I’d follow every change. If I saw something that could use a Lab Elf’s hand, I’d do what I could. If you have some time, you can do the same.
For any lurkers out there (or regulars who’d like to do more), we also created some Lab Elf guides:
Any other tips for prospective Lab Elves?
1 to 2 of 2