Condensed abelian groups form an abelian category.
@[inline, reducible]
The category of condensed abelian groups, defined as sheaves of abelian groups over
CompHaus with respect to the coherent Grothendieck topology.
Mathlib.Condensed.Abelian
Condensed abelian groups form an abelian category.
The category of condensed abelian groups, defined as sheaves of abelian groups over
CompHaus with respect to the coherent Grothendieck topology.