Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Category Theory, Syntactically (2016). Parent comment
>Sorts and function symbols are just symbols. Something is a sort if it is in the collection of sorts. Nothing else is required.
If you gave up before reading this, then you didn't even read the 4th paragraph.
There are no comments on this comment yet.
>Sorts and function symbols are just symbols. Something is a sort if it is in the collection of sorts. Nothing else is required.
If you gave up before reading this, then you didn't even read the 4th paragraph.