Category: CartSp

CartSp is the category whose objects are Cartesian spaces and arrows are smooth maps.

Facts Derived from Enrichment

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

Limits

Has a terminal object

Colimits

categories: CartSp

This data as json

name objects_hr arrows_hr
CartSp Cartesian spaces smooth maps

Links from other tables