Light condensed sets form a cartesian closed category

instance instCartesianClosedLightCondSet : CategoryTheory.CartesianClosed LightCondSet

Equations

• instCartesianClosedLightCondSet = inferInstanceAs (CategoryTheory.CartesianClosed (CategoryTheory.Sheaf (CategoryTheory.coherentTopology LightProfinite) (Type ?u.7)))