# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeFeb 13th 2015

added references to essentially algebraic theory. Also equipped the text with a few more hyperlinks.

• CommentRowNumber2.
• CommentAuthorspitters
• CommentTimeOct 12th 2018

• redirected “Cartesian theory” here
• added brief definition of cartesian theory.

Steve Vickers

1. Added “cartesian logic” as related topic.

“Cartesian theory” really ought to be redirected here, as the notions are equivalent. I am attempting to do that.

Steve Vickers

• CommentRowNumber5.
• CommentAuthorDavid_Corfield
• CommentTimeJul 18th 2019

• CommentRowNumber6.
• CommentAuthoratmacen
• CommentTimeSep 27th 2019

In particular, one selling point of intrinsic syntax seems to be its essentially-algebraic character

I don’t understand the details of the connection between essentially algebraic theories and type systems. Which type systems are essentially algebraic? Is it exactly those with intrinsic syntax? How do I rigorously tell when syntax is “intrinsic”, in an arbitrary metalanguage?

• CommentRowNumber7.
• CommentAuthorDmitri Pavlov
• CommentTimeApr 19th 2020

Transferred material from cartesian theory > history.