News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.