# 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.

TODO (Dagur):

- Add free condensed modules over more general rings.

The forgetful functor from condensed abelian groups to condensed sets.

## Equations

## Instances For

The left adjoint to the forgetful functor. The *free condensed abelian group* on a condensed set.

## Equations

## Instances For

The condensed version of the free-forgetful adjunction.