Skip to content

Unify the notation and definition of congruences and cocongruences - #438

Merged
ScriptRaccoon merged 3 commits into
mainfrom
congruence-notation
Oct 27, 2026
Merged

Unify the notation and definition of congruences and cocongruences#438
ScriptRaccoon merged 3 commits into
mainfrom
congruence-notation

consistent definition of congruences: parallel morphisms, not a singl…

06014cb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar