Difference between revisions of "Main Page"
m |
m (splitting the section of selected pages into category theory and the rest) |
||
| (43 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
'''Hello Fellow Comonadists!''' Welcome to our shared wiki |
'''Hello Fellow Comonadists!''' Welcome to our shared wiki, which is based on the same software as Wikipedia, but extended with the ability to write LaTeX formulas and diagrams. |
||
Here are some practical pages: |
|||
The most notable pages we've created so far are: |
|||
| ⚫ | |||
| ⚫ | |||
* [[Public:Known Game Comonads|Known Game Comonads]] (public) + [[Other comonads]] |
|||
* [[Special:ListFiles|Uploaded Files]] - contains Nihil's write-up on clique-width, Samson's slides and more will come in the future |
|||
* [[ |
* [[Project meetings]] |
||
* [[Public:Seminar|Seminar]] (public) |
|||
* [[Open Problems]] |
* [[Open Problems]] |
||
| ⚫ | |||
And here is a selection of some other mostly complete pages on this co-wiki. First follows the list of comonad, finite-model-theory or logic pages. |
|||
| ⚫ | |||
* [[Public: |
* [[Public:Comonads|Comonads]] (public) |
||
* [[Arboreal categories]] and [[Linear arboreal categories]] |
|||
* [[Public:Writing LaTeX]] - explanation of how to write LaTeX formulas on this wiki |
|||
* [[Comonads and logic]] |
|||
(Note that only the pages prefixed with ''Public:'' are publicly accessible. To access the other pages you need to be logged in.) |
|||
* [[Open pathwise-embeddings]] |
|||
* [[Feferman-Vaught-Mostowski theorems]] |
|||
* [[Nowhere dense comonads]] |
|||
| ⚫ | |||
* [[Types]] comonadically |
|||
* [[Locality]] |
|||
Next follows general category-theoretic pages. |
|||
* [[Density comonads]] and [[Kan extensions]] |
|||
* [[Retractions of comonads]] |
|||
* [[Locally Presentable and Accessible Categories]] |
|||
* [[Ends and coends]] |
|||
* [[Kan extensions]] |
|||
* [[Sheaves]] |
|||
* [[Factorization systems in the category of comonads]] |
|||
* [[Public:Universal categories|Universal categories]] (public) |
|||
* [[Universal Adjunctions]] |
|||
Many more pages can be found under the item '''[[Special:AllPages|All Pages]]''' of the panel on the left-hand side. Another useful page of this wiki is [[Special:RecentChanges|Recently changed pages]], available therein. |
|||
Also, Tomáš is using his wiki page [[User:Tj330]] to keep track of what he's working on. |
Also, Tomáš is using his wiki page [[User:Tj330]] to keep track of what he's working on. |
||
Lastly, MediaWiki's official webpage contains a nice overview of the wiki syntax, that is, how to write boldface, italic, tables, etc. You can find it here: [https://www.mediawiki.org/wiki/Help:Formatting Help:Formatting] |
|||
'''Call for contribution.''' The following pages need input from people who understand their topic, please consider contributing. |
|||
* [[Exercises and Examples]] |
|||
* [[Containers]] |
|||
* [[No-go theorems]] |
|||
| ⚫ | |||
* [[Sheaves]] |
|||
=== Practical Information === |
=== Practical Information === |
||
| Line 30: | Line 55: | ||
The list of all pages we have created is here: [[Special:AllPages]] |
The list of all pages we have created is here: [[Special:AllPages]] |
||
* Only pages |
* Only pages with title of the form <code>Public:XXX</code> 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]] |
* 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 |
* For information about formatting see [https://www.mediawiki.org/wiki/Help:Formatting Help:Formatting] |
||
* For information about how to write LaTeX go to [[Public:Writing LaTeX]] |
* For information about how to write LaTeX on this wiki go to [[Public:Writing LaTeX]] |
||
Latest revision as of 09:35, 21 March 2024
Hello Fellow Comonadists! Welcome to our shared wiki, which is based on the same software as Wikipedia, but extended with the ability to write LaTeX formulas and diagrams.
Here are some practical pages:
- Game Comonad Resources (public)
- Known Game Comonads (public) + Other comonads
- Project meetings
- Seminar (public)
- Open Problems
And here is a selection of some other mostly complete pages on this co-wiki. First follows the list of comonad, finite-model-theory or logic pages.
- Comonads (public)
- Arboreal categories and Linear arboreal categories
- Comonads and logic
- Open pathwise-embeddings
- Feferman-Vaught-Mostowski theorems
- Nowhere dense comonads
- Dualities for CSPs
- Types comonadically
- Locality
Next follows general category-theoretic pages.
- Density comonads and Kan extensions
- Retractions of comonads
- Locally Presentable and Accessible Categories
- Ends and coends
- Kan extensions
- Sheaves
- Factorization systems in the category of comonads
- 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.
Call for contribution. The following pages need input from people who understand their topic, please consider contributing.
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:XXXare 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
