Category: Span(Set)

Span(Set) is the category whose objects are sets and arrows are spans of functions.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: Span(Set)

This data as json

name objects_hr arrows_hr
Span(Set) sets spans of functions

Links from other tables