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.
This page should be merged with “essentially algebraic theory”, as the two notions are equivalent. Since the “cartesian theory” has little in it, I’m attempting to redirect to “essentially algebraic theory”. There is also relevant stuff at “cartesian logic”, though I’m not sure how best to organize that and link to it.
Steve Vickers
Deleted redirects.
Shouldn’t the content of this article be transferred to essentially algebraic theory?
1 to 4 of 4