macros tex-core logos asked Nov 15 '20 at 2:14

category-theory adjoint-functors asked Aug 2 '20 at 18:48

category-theory monoidal-categories asked Jul 17 '20 at 22:10

category-theory asked May 28 '20 at 19:37