Category: TopCat

TopCat is the category whose objects are topologically enriched categories and arrows are continuous functors.

Facts Derived from Enrichment

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

Limits

Colimits

categories: TopCat

This data as json

name objects_hr arrows_hr
TopCat topologically enriched categories continuous functors

Links from other tables