Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
3 answers
2k views

Higher categories as data structures

Still wading through higher category theory. I find the subject a bit intimidating, not so much for technical reasons, but because I lack sufficient intuition as to the motivation(s)/heuristics one ...
Mirco A. Mannucci's user avatar