Apostolisapostolis@social.coop
Dec 8, 2025, 11:19 PM@anuytstt Perfect, that is what I was expecting but I couldn't find it somewhere.
In the paper , it is defined differently.
Replies
Andreas Nuytsanuytstt@fosstodon.orgDec 9, 2025, 11:38 AM@apostolis IFunc is the type of functors from Set^I to Set, which are not endofunctors, and therefore do not qualify to have any fixpoints.
Could you link to this paper?
- Apostolisapostolis@social.coopDec 9, 2025, 11:52 AM
- Apostolisapostolis@social.coopDec 9, 2025, 12:50 PM
I think that the main point here is that although programming categorically is easy, there is not enough documentation how to do it, it is an antipattern, and the papers that use categories are not suitable for the working programmer / mathematician.
- Andreas Nuytsanuytstt@fosstodon.orgDec 9, 2025, 6:33 PM
@apostolis Oh no, I should stop recommending this paper to people…
Perhaps this presentation was sensible when the paper was written, but at least in today's perspective, this seems very undidactical.