Repository navigation

Add the category of finitely generated groups - #396

Merged

ScriptRaccoon merged 9 commits into

mainfrom

finitely-generated-groups

Oct 10, 2026

Commits on Oct 10, 2026
- add the category of finitely generated groups
  ScriptRaccoon
  committed
  490709f
- add two lemmas about regular epis
  ScriptRaccoon
  committed
  a5c5df4
- rework proofs in Grp_fg
  ScriptRaccoon
  committed
  b663c70
- fix references after rebase
  ScriptRaccoon
  committed
  5e93dee
- finitely generated groups are not closed under ℵ₁-cofiltered limits
  ScriptRaccoon
  committed
  93511e7
- finitely generated groups do not have ℵ₁-filtered colimits
  ScriptRaccoon
  committed
  f303143
- update instructions for Claude
  ScriptRaccoon
  committed
  c671977
- proofreading for Grp_fg
  ScriptRaccoon
  committed
  f574445
- add more references of the lemma on regular epis
  ScriptRaccoon
  committed
  6173424