Category: I

I is the category whose objects are two objects and arrows are the walking isomorphism (and two identity arrows).

Facts Derived from Enrichment

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

Limits

Colimits

categories: I

This data as json

name objects_hr arrows_hr
I two objects the walking isomorphism (and two identity arrows)

Links from other tables