Category: Sierp

Sierp is the category whose objects are maps and arrows are commuting squares.

Facts Derived from Enrichment

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

Limits

Colimits

categories: Sierp

This data as json

name objects_hr arrows_hr
Sierp maps commuting squares

Links from other tables