4 ms·
I am too dumb to even know what this is ... even after looking at it.
by tonetheman 5y ago
I am too dumb to even know what this is ... even after looking at it.
- goldenkey 5y agoI know plenty of mathematics yet the introduction is not very helpful to someone new to category theory, only someone new to homotopy.
- pizza 5y agoMe too bud. But I think it's something I should try approaching once I've given category theory a solid try. As I understand it, Homotopy Type Theory (HoTT) / Univalent Foundations is a way of building up a theory of mathematics from type theory.