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