Category: MultiSet

MultiSet is the category whose objects are multisets and arrows are multimaps.

Facts Derived from Enrichment

(MultiSet doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: MultiSet

This data as json

name objects_hr arrows_hr
MultiSet multisets multimaps

Links from other tables