Condensed sets form a cartesian closed category

instance instCartesianClosedCondensedSet : CategoryTheory.CartesianClosed CondensedSet

Equations

• instCartesianClosedCondensedSet = inferInstanceAs (CategoryTheory.CartesianClosed (CategoryTheory.Sheaf (CategoryTheory.coherentTopology CompHaus) (Type (?u.7 + 1))))