†-category: Span(Set)

Span(Set) is a †-category. Composition in Span(Set) can happen in either direction; every arrow can interchange its source and target objects freely.

dagger_categories: Span(Set)

This data as json