|
|
|
|
|
|
by l__l
1005 days ago
|
|
|
I'm surprised to see no mention of topos theory in this page? The sense in which category theory is a generalisation of set theory is pretty weak imo until you bring in concepts like subobject classifiers. This isn't the only thing topoi generalise, but is a pretty significant one |
|
|