†-category: Span(Grpd)

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

dagger_categories: Span(Grpd)

This data as json

category
Span(Grpd)