Search
❯
Sep 09, 20251 min read
Tags: Lawvere theory, Cartesian multicategory, affine and relevant monads, semicartesian category.