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.
I have added proper hyperlinks to vertical morphism and horizontal morphism
and touched the formatting of the diagram
In the previous edit, it was claimed without reference that a double category with companions is sometimes called a “company”. I looked for a reference, but could not find one. I’ve replaced the terminology with an alternative for which I have found a reference, and which is more descriptive.
1 to 8 of 8