Documentation and resources for a potential WebCats W3C Community Group on linking Web technologies and Category Theory. We are discussing some ideas in Gitter here.
Some potential discussion topics for a WebCats CG:
- CT interpretations of RDF
- HTTP interpreted coalgebraically or in terms of Categories of Games
- Query Languages formalisations: Sparql, CQL, ShEx
- Modal Logics, Monads, ... to allow formalisation of reasoning about access control
- ...
At present we are still considering wether github is the right place to put such a CG as github does not support mathematical notation for issues, which would be very useful. See the webcats github repository.