Diff — Category (mathematics)

Revision #2530 → #3174 · back to history

addedCategory of rings (Ring)4137b0c4a3d6

addedCategory of topological spaces (Top)379cdb6d9b16

addedEquivalence of categoriesa7dcea2c5f11

addedFundamental group930d36bbb3c2

addedQuiver (directed graph)bb4424510945

addedFull subcategory6024c82dc8dd

addedNatural transformation39060381bfc1

addedKernela59eec1d682e

addedCokernelf5b13621b6cc

modifiedCartesian closed category6cd55734e001

Field	From #2530	To #3174
mathlib.decl	CategoryTheory.CartesianClosed	CategoryTheory.MonoidalClosed
note	`CartesianClosed` is now an alias for `MonoidalClosed` with respect to the cartesian monoidal structure.	Cartesian-closed categories are formalized as `MonoidalClosed` over a `CartesianMonoidalCategory` (there is no longer a standalone `CartesianClosed` class).