Category: DirGph

DirGph is the category whose objects are directed graphs and arrows are graph maps.

Facts Derived from Enrichment

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

Limits

Colimits

categories: DirGph

This data as json

name objects_hr arrows_hr
DirGph directed graphs graph maps

Links from other tables