Category: Inj

Inj is the category whose objects are sets and arrows are injections.

Facts Derived from Enrichment

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

Limits

Colimits

categories: Inj

This data as json

name objects_hr arrows_hr
Inj sets injections

Links from other tables