Hi Joseph, I too am a data scientist interested in category theory. (Officially, I'm a PhD student in statistics but I also do research in applied category theory.) Unfortunately, at the moment, the intersection of data scientists and applied catego…
Hi John, the least Herbrand model seems to be closely related to the Herbrand semantics you mentioned, but I understand it through the usual Tarski semantics.
The interpretation (called the Herbrand structure on Wikipedia) is built out of syntactic…
Hi Rajesh, thanks for sharing these interesting ideas.
I don't know much about cognitive science, but I do find it intriguing, so I'll be curious to see how this pans out.
Although I'm not sure what you mean by "philosophical category theory," a l…
Another project in this space is the proof assistant Quantomatic, written by Aleks Kissinger and other folks associated with the Universities of Oxford and Edinburgh.
Hi David C., in case you're interested, I'm working on a software library for computational category theory, called Catlab. It's at an early stage--not too much actual computer algebra is implemented--but I'm already using it for some purposes in ot…
WebHubTel, I agree that relational ologs provide a formalism for imposing logical constraints on a collection of triples, but I'd hesitate to say that it's "just adding Prolog to triples". For one thing, Prolog is usually interpreted in a special, f…
Zinovy Diskin, who attended the NIST workshop, has worked on the formal semantics of UML, e.g., this paper makes a connection between UML and category theory. I don't know much about this topic but I'd like to learn more.
Hi Jesus, thanks, I'm glad you liked the paper! I don't know formal concept analysis but I've been meaning to learn it for a while now. Do know a good place to read about it?
Hi WebTubTel, by "triples" do you mean RDF triples? If so, then no, relational ologs are not triples. However, you can think of instance data for a relational olog as a collection of RDF triples (Sec 6.2 of my paper).