Loading paper
A Morphism Double Category and Monoidal Structure | Tomesphere