Discrete-underlying adjunction #
The discrete condensed object associated to an object of
C is the constant sheaf at that object.
The underlying object of a condensed object in
C is the condensed object evaluated at a point.
This can be viewed as a sort of forgetful functor from
Condensed C to