Added a reference

- Ruiyuan Chen,
*Representing Polish groupoids via metric structures*, (arXiv:1908.03268)

I removed

The truth is interpreted as probability and there is a concept of random predicates,

which as far as I can see is wrong, and added a quotation describing properties continuous logic shares with ordinary logic.

]]>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

- Simon Cho,
*Categorical semantics of metric spaces and continuous logic*, (arXiv:1901.09077)