monoids-in-the-category-of-.../.github
James T. Martin 8a1fad57df
Redefine bifunctors in terms of product categories.
2021-03-01 22:20:17 -08:00
..
workflows Redefine bifunctors in terms of product categories. 2021-03-01 22:20:17 -08:00