Re: Explanation, Mechanistic Reasoning, and Abstraction: Hypertext and Hypermodels

Hi List,

On Sat, Nov 27, 2021 at 12:59:55PM -0500, David Booth wrote:
> rules can define operational conversion between models. However, in spite of
> ...
> It would be wonderful if some bright young minds could take a fresh look at
> the problem of how to conveniently navigate between models, and come up with
> some fresh bold new ideas.   Or perhaps even some stale modest old ideas
> that would still make incremental progress.  :)

I have read about https://en.wikipedia.org/wiki/Category_theory as a
way to have a generic representation of multiple models and being able
to convert from one to the other.

We had a workshop on this topic at SemWeb.Pro last year https://semweb.pro/semwebpro-2020.html

See https://peertube.semweb.pro/ for recordings of the Applied
Category Theory (ACT) session.

Hope this helps,

-- 
Nicolas Chauvat

logilab.fr - services en informatique scientifique et gestion de connaissances  

Received on Saturday, 27 November 2021 21:55:37 UTC