Re:Functors: Identity, Composition, and fmap
by pxeger1 on Saturday April 05, 2025 @05:14PM
(#43596860)
If `F a = Set e` for some constant e, then F is a functor (just a trivial one)
[ Parent
| on HN ]
There are no comments on this comment yet.