Walking Wide Cospan
The -indexed walking wide cospan is a category whose objects are , and whose non-identitty morphisms are of the form for .
Graphically, this category looks like
A diagram over this category is a Wide Cospan.
The -indexed walking wide cospan is a category whose objects are , and whose non-identitty morphisms are of the form for .
Graphically, this category looks like
A diagram over this category is a Wide Cospan.