Category: Diff

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

Facts Derived from Enrichment

Notable Subcategories


Has all finite products


Has all finite sums

categories: Diff

This data as json

name objects_hr arrows_hr
Diff differentiable manifolds continuous maps

Links from other tables