Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Evan Patterson

About

Comments

  • 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.
  • Jesus, thanks, I'll take a look.
  • 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).