How to Contribute— The Clowder Project

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

How to Contribute

All kinds of feedback and contributions are extremely welcome: pointing out typos, errors, historical remarks, references, layout of webpages, spelling errors, improvements to the overall structure, missing lemmas, etc.

If you're interested in contributing to the Clowder Project, please reach out to the project maintainer at emily.de.oliveira.santos.tmf@gmail.com or alternatively at the Clowder Project Discord.

Ways to Contribute

Missing Proofs

There is a large number of missing proofs in the project, ranging from trivial proofs to simple lemmas to more involved results. Missing proofs are listed at Tag 01CT, which is currently in construction.

Examples

Contributing new examples to the Clowder Project is always welcome! A non-exhaustive list of potential new examples to add may be found at Tag 01V6.

Open Problems

A number of questions and open problems are listed throughout the Clowder Project. These are exhaustively enumerated at Tag 01V8 (or, rather, will be. Tag 01V8 is also under construction).

Collaboration

Once in a while, collaboration on a specific chapter or theme will be coordinated in the Clowder Project Discord, with a corresponding GitHub repository being created to facilitate the process. Potential such chapters currently include:

Spans of sets.
Isbell duality.
Centres and traces of categories.

Planned Future Additions

Most of the near future additions and revisions to the Clowder Project currently being worked on are listed at https://github.com/The-Clowder-Project/clowder-future.