Category Theory Illustrated: Orders Posted by boris_m on Wednesday September 25, 2024 @03:51AM from the abuseofnotation.github.io dept. https://abuseofnotation.github.io/category-theory-illustrated/04_order/ ( 1 comment | on HN )