# 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