Timeline for Terminology: Is there a name for a category with biproducts?
Current License: CC BY-SA 2.5
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 20, 2010 at 15:06 | comment | added | Reid Barton | I said "categories enriched in commutative monoids with finite coproducts", not "categories enriched in commutative monoids with finite biproducts". Of course the latter would be silly. (Or have I misunderstood you?) | |
Jan 20, 2010 at 15:04 | comment | added | Mariano Suárez-Álvarez | But the enrichment in monoids is a consequence of the existence of biproducts---one does not say "finite group with Sylow subgroups for all primes". (It'd be so nice to be able to edit comments!) | |
Jan 20, 2010 at 14:49 | history | answered | Reid Barton | CC BY-SA 2.5 |