Quartz 4

Home

❯

cartesian category

cartesian category

Dec 08, 20251 min read

A category C is cartesian if,

  1. (C,1,⊗) is a monoidal category.
  2. 1 is a terminal object.

Graph View

Backlinks

  • Cartesian Closed Category

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community