Categories are monoids in Span(Set)

Last updated Jul 7, 2023

Tags: Monad, Span