News for hackers. Stuff that matters.

A comment on Category Theory, Syntactically (2016). Parent comment

Re:Category Theory, Syntactically (2016) by ScottBurson on Thursday April 27, 2017 @06:11PM (#14215214)
Fascinating! A couple of questions:

Are there any non-singleton sets with the fixpoint property?

> a ↦ f (e a a)

Don't you mean

   a ↦ e a a
? Because later you expand (g a0) to (e a0 a0).
[ Parent | on HN ]
Re:Category Theory, Syntactically (2016) by mafribe on Thursday April 27, 2017 @06:26PM (#14215321)
No, g is given by a ↦ f (e a a). The expansion you refer to works because e a0 = g.
[ Parent | on HN ]