Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
touched the formatting in congruence, fixed a typo on the cartesian square, added a basic example
A kind soul pointed out to me by email that there was a typo in the third clause of the Definition (an exchange $q_1 \leftrightarrow q_2$ either in the diagram or in the equation following it). I have fixed it.
In this vein, I have added a brief remark relating to internal categories, which could be much expanded on.
I also fixed the formatting (lack of whitespace may get the bullet lists mixed up).
1 to 2 of 2