Repository navigation

Fix mistakes on content pages - #418

Draft

ScriptRaccoon wants to merge 10 commits into

mainfrom

content-page-fixes

Draft

Fix mistakes on content pages#418
ScriptRaccoon wants to merge 10 commits into
mainfrom
content-page-fixes

Commits on Oct 10, 2026
- more details in the definition of a congruence / cocongruence
  ScriptRaccoon
  committed
  91013c2
- clarify meaning of constant maps
  ScriptRaccoon
  committed
  7551bfe
- more details in the proof that Grp has effective cocongruences
  ScriptRaccoon
  committed
  6beaff8
- revise proof on quotients of effective congruences
  ScriptRaccoon
  committed
  75824f3
- revise explicit proof that Grp is total; fix minor mistakes
  ScriptRaccoon
  committed
  c317a89
- remove redundant assumption
  ScriptRaccoon
  committed
  9e2ff85
- actually prove that additivity is self-dual
  ScriptRaccoon
  committed
  a5a362e
Commits on Oct 11, 2026
- clarify the notion of essentially small
  ScriptRaccoon
  committed
  91a97ee
- add more details in a lemma about natural numbers objects
  ScriptRaccoon
  committed
  3393b55
- routine check
  ScriptRaccoon
  committed
  38327de