Category: Field

Field is the category whose objects are fields and arrows are field maps.

Facts Derived from Enrichment

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

Limits

Colimits

categories: Field

This data as json

name objects_hr arrows_hr
Field fields field maps

Links from other tables