Documentation

Mathlib.Condensed.Light.CartesianClosed

Light condensed sets form a Cartesian closed category #

source
🔸 coverage
instance instCartesianMonoidalCategoryLightCondSet :
CategoryTheory.CartesianMonoidalCategory LightCondSet
Equations
    source
    🔸 coverage
    instance instMonoidalClosedLightCondSet :
    CategoryTheory.MonoidalClosed LightCondSet
    Equations