Everybody’s talking about colored and effectful functions again, so I’m resharing this short note about a category-theoretic approach to colored functions.
You must log in or register to comment.
I can quite cheerfully admit I have absolutely no idea what’s going on in this note. This offered example did nothing to make me less confused