Category: Gph

Gph is the category whose objects are undirected graphs and arrows are graph maps.

Facts Derived from Enrichment

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

Limits

Colimits

categories: Gph

This data as json

name objects_hr arrows_hr
Gph undirected graphs graph maps

Links from other tables