Distributive categories and linear categories
1. The standard map A × B1 + A × B2 A × (B1 + B2)
An exercise in the last session asked you to find, for any three objects A, B1, and B2 of a category that has sums and products, a ‘standard’ map
In many categories, this map and the standard (only) map 0 A × 0 have inverses; when this happens ...