higher operads, higher categories
3 years ago
Started reading this.
A higher category is one where the arrows have more than one input. The diagrams look like circuits, or neurons .
People doing this:
|
|
Utrecht
|
|
|
|
Richmond
|
People doing this are also doing these things:
Entries
Untitled
3 years ago
I’ve been reading Basic Category For Computer Scientists
seems ok actually
coming it at from the functional programming side helps more for me though
( bird and de moor(?)’s Algebra of Programming is better in this regard, for this purpose)
good book by Bird
4 years ago
Algebra of Programming
i think the only way i’m going to learn any category theory is by stuffing my brain with examples from comp sci or physics
