“Cartesian closed” means you can interpret simply typed lambda terms into it. “Symmetric monoidal closed” means you can interpret linear lambda terms into it. “Symmetric monoidal traced” means you can interpret directed multigraphs where nodes are morphisms into it.
wcrichton's profile
Tweets
Will Crichton
@wcrichton
Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
he/him
Joined September 2011
