Documentation
Mathlib
.
Condensed
.
CartesianClosed
Search
return to top
source
Imports
Init
Mathlib.Condensed.Basic
Mathlib.CategoryTheory.Sites.CartesianClosed
Mathlib.CategoryTheory.Sites.LeftExact
Mathlib.CategoryTheory.Monoidal.Closed.Types
Imported by
Condensed sets form a Cartesian closed category
#