Category: Diff

Diff is the category whose objects are differentiable manifolds and arrows are continuous maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Has all finite products

Colimits

Has all finite sums

categories: Diff

This data as json

name objects_hr arrows_hr
Diff differentiable manifolds continuous maps

Links from other tables