Re:Category Theory, Syntactically (2016)
by johncolanduoni on Thursday April 27, 2017 @07:30AM
(#14210701)
I think this is the fundamental roadblock to teaching category theory to people who don't have a relatively diverse math background. If you have one, the early exposition of category theory is a constant stream of formalizing connections that already had a nebulous version in your head (e.g. products, coproducts, kernels, etc.). If not, you're robbed of any kind of a-ha! moment, and the motivation is unclear at best.
[ Parent
| on HN ]
There are no comments on this comment yet.