Commit 2021-05-02 18:59 0cc3cd54
View on Github →feat(topology/category): Profinite has colimits (#7434)
Show that a reflective subcategory of a cocomplete category is cocomplete, and derive that CompHaus and Profinite have colimits.
feat(topology/category): Profinite has colimits (#7434)
Show that a reflective subcategory of a cocomplete category is cocomplete, and derive that CompHaus and Profinite have colimits.