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 ]
There are no comments on this comment yet.