IDEAS.txt

1) Definitions of condensed set as functor on extremally disconnected / profinite / CHaus are all the same

2) Example of {closed point, open point} showing set-theoretic issues?

3) condensed abelian groups satisfy same ab cat axioms as abelian groups

4) Johan's problem sheets (see bottom of https://math.commelin.net/2023/condensed/ )

5) Deficiencies of category of top spaces: not Cartesian closed (Hom(X,Y) not a top space). Does CHaus embed fully faithfully into condensed sets? Is condensed sets a cartesian closed category? (IIRC it is)