Def CategoryTheory.FunctorToTypes.adj

Modification history

2024-09-23 14:47

Mathlib/CategoryTheory/Closed/FunctorToTypes.lean

feat(CategoryTheory): `MonoidalClosed` instance on functors to `Type` (#13710) …

Added CategoryTheory.FunctorToTypes.adj View on Github →