MathDB1 problem
Matching
A labelled cospan category is a symmetric monoidal category equipped with a symmetric monoidal functor to the category of cospans satisfying the pullback condition specified in the…
A labelled cospan category is a symmetric monoidal category equipped with a symmetric monoidal functor to the category of cospans satisfying the pullback condition specified in the…