I'm near the beginning still, but so far Mileweski's Category Theory for Programmers looks like something I've wanted for years! Thanks for the link. (I remember some category theory from grad school, and I'm a pretty experienced programmer with a p…
A few thoughts/opinions on pulling out definitions:
I couldn't find any copyright/license information, so I personally wouldn't publish the definitions anywhere without permission from the authors. (And if we got a more general permission, there's…
I've been thinking about this notion that maps which don't preserve operations lose information:
There is no operation on the booleans \( true, false \) that will always follow suit with the joining of systems: our observation is inherently loss…