Skip to content

Documentation and resources for the WebCats (Category Theory) community group

Notifications You must be signed in to change notification settings

webcats/webcats.github.io

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 

Repository files navigation

webcats.github.io

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.

Gitter

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.

About

Documentation and resources for the WebCats (Category Theory) community group

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published