# Web Cats Community Group

Documentation and resources for a to be proposed Web-Cats W3C Community Group on linking Web technologies and Category Theory. The aim is to bring these communities together, build up a wiki of existing research with comprehensible abstracts, and a list of questions in the issue database.

# What are Cats?

See the online courses.

# Do you have what it takes to be a Cat Herder?

Building standards for the web is hard. Without Maths it is even harder. If you feel up to it, come join us in Gitter channel:

Gitter allows one to express mathematical formulas with KaTeX.

More on the life of Cat Herders below:

# Some of the Cats we come across

• 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, and perhaps find a semantics for Quads.
• Algebraic Property Graphs
• ...

# What we produce

We aim to draw a map of this space, by starting from questions. For a list of questions see the issue database. If your question is not there, feel free to write one up. If you know some answers, please add them. We also hope to put together notes of accumulated wisdom.

We have chosen GitLab to host the CG as it allows mathematical notation in Markdown in the repo as well as in issues. For example:

To edit this web site go to the webcats gitlab group.