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 references to essentially algebraic theory. Also equipped the text with a few more hyperlinks.
Added a comment about Gabriel-Ulmer duality.
In another thread Mike said:
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?
Transferred material from cartesian theory > history.
1 to 7 of 7