News for hackers. Stuff that matters.
Re:Linguistics Using Category Theory (2018) by proc0 on Thursday August 22, 2019 @11:52PM (#20774388)
If we define abstraction as hiding the unnecessary in order to reveal the essentials, and we take it to an extreme such that we reduce everything to a point and only talk about relationships of the point, then yes I completely agree. CT is the math of abstraction, from which I think composition arises (since you cannot look inside an object).

There are no comments on this comment yet.