Adjunctions regarding categories of condensed objects #
This file shows that the forgetful functor from condensed abelian groups to condensed sets has a left adjoint, called the free condensed abelian group on a condensed set.
- Add free condensed modules over more general rings.
The left adjoint to the forgetful functor. The free condensed abelian group on a condensed set.