# Web Cats Community Group
Documentation and resources for a to be proposed Web-Cats (opens new window) 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 (opens new window).
# 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 (opens new window).
More on the life of Cat Herders below:
# Some of the Cats we come across
- CT interpretations of RDF
- HTTP interpreted coalgebraically (opens new window) or in terms of Categories of Games
- Query Languages formalisations: Sparql, CQL, ShEx (opens new window)
- Modal Logics, Monads, ... to allow formalisation of reasoning about access control, and perhaps find a semantics for Quads.
- Algebraic Property Graphs (opens new window)
- ...
# 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 (opens new window). 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 (opens new window) in the repo as well as in issues. For example:
To edit this web site go to the webcats gitlab group (opens new window).