Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added:
Latin name: Renatus Cartesius
Hence the adjective “Cartesian” or “cartesian”, including cartesian space, cartesian monad, cartesian logic, cartesian functor, cartesian morphism, cartesian monoidal category, cartesian closed category, cartesian fibration, and many others.
Good point. I added “Cartesian product” to the list.
Since our entry analytic geometry says it does not want to talk about Descartes’ geometry, we should eventually have an entry Cartesian geometry, for completeness.
1 to 2 of 2