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 a reference
I added a section on the enriched category theoretic approach to continuous logic.
What if we took seriously the idea of replacing truth values by the real interval? Could there be an equivalent of the table at (n,r)-category, starting out with symmetric metric space for set, and metric space for poset? I was wondering about such matters over at the nCafĂ©.
Added a reference
1 to 4 of 4