CompHaus has enough projectives #
In this file we show that
CompHaus has enough projectives.
Main results #
X be a compact Hausdorff space.
CompHaus.projective_ultrafilter: the space
ultrafilter Xis a projective object
CompHaus.projective_presentation: the natural map
ultrafilter X → Xis a projective presentation
For any compact Hausdorff space
the natural map
ultrafilter X → X is a projective presentation.