Main Page

Hello Fellow Comonadists! Welcome to our shared wiki. It is based on the same software as Wikipedia, with the ability to write LaTeX formulas.

Here are some practical pages:

• Comonad Resources (public)
• Project meetings
• Seminar
• Uploaded Files
• Open Problems

If you have any interesting examples/exercises that might be useful for students learning about game comonads please contribute to

• Exercises and Examples.

Lastly, here is a selection of some mathematical pages on this co-wiki:

• Comonads (public)
• Known Comonads (public) + Other comonads
• Arboreal categories
• Comonads and logic
• Open pathwise-embeddings
• Density comonads and Kan extensions
• Retractions of comonads
• Dualities for CSPs
• Locally Presentable and Accessible Categories
• Kan extensions
• Universal categories (public)
• Universal Adjunctions

Many more pages can be found under the item All Pages of the panel on the left-hand side. Another useful page of this wiki is Recently changed pages, available therein.

Also, Tomáš is using his wiki page User:Tj330 to keep track of what he's working on.

Practical Information

To create a new page use the following form:

The list of all pages we have created is here: Special:AllPages

• Only pages with title of the form Public:XXX are publicly accessible, everything else is only visible to members.
• Only members of this Wiki can make edits and only members can invite other members. To create new account (for somebody) go to Special:CreateAccount
• For information about formatting see Help:Formatting
• For information about how to write LaTeX on this wiki go to Public:Writing LaTeX