Re:Category Theory, Syntactically (2016)
by shmageggy on Thursday April 27, 2017 @09:28AM
(#14211278)
No it wouldn't for the same reason the article isn't a good introduction -- it relies on concepts that a naive reader doesn't understand. In your example the aliens are unfamiliar with kitchens, but the text mentions kitchens without any explanation. Similarly the article mentions and uses "sort" without any explanation. It seemed to be a fundamental concept but without any idea what a sort was I gave up. Every article on category theory does this.
[ Parent
| on HN ]
Re:Category Theory, Syntactically (2016)
by MichaelBurge on Thursday April 27, 2017 @01:16PM
(#14213134)
There are 2 sentences between the first use of 'sort' and its explanation, which is that they are symbols with no interpretation. It looks like he defines function symbol before sort, presumably because function symbols are more important than sorts.
Re:Category Theory, Syntactically (2016)
by jjaredsimpson on Thursday April 27, 2017 @11:41AM
(#14212314)
This isn't true.
>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.