Re:Category Theory, Syntactically (2016)
by lmm on Thursday April 27, 2017 @06:31AM
(#14210470)
This is explicitly a syntactic approach. It's treating this as a game you play with symbols. I found it very helpful, so maybe some brains work differently from others.
[ Parent
| on HN ]
There are no comments on this comment yet.