Def CategoryTheory.BraidedCategory.ofChosenFiniteProducts

Modification history

2025-05-15 18:47

Mathlib/CategoryTheory/Monoidal/Cartesian/Basic.lean

chore: rename `ChosenFiniteProducts` to `CartesianMonoidalCategory` (#24390) …

Deleted CategoryTheory.BraidedCategory.ofChosenFiniteProducts View on Github →

2025-05-07 21:03

Mathlib/CategoryTheory/ChosenFiniteProducts.lean

refactor(CategoryTheory): Make `ChosenFiniteProducts` extend `MonoidalCategory` (#24399) …

Added CategoryTheory.BraidedCategory.ofChosenFiniteProducts View on Github →