Difference between revisions of "Main Page"

(→‎Hello Fellow Comonadists!: added a link to Public:Known_Comonads)
m
 
(62 intermediate revisions by the same user not shown)
Line 1: Line 1:
'''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.
<div style="display:none;"><math>
\newcommand\Ek{\mathbb E_k}
\newcommand\Pk{\mathbb P_k}
</math></div>
<!--
Info: it is useful to wrap the initial <math>...</math> where
we define new commands in a <div> which is styled as hidden
(see above) to prevent unnecessary spacing. However, it is
by no means mandatory.
-->
== Hello Fellow Comonadists! ==


Here are some practical pages:
Welcome to our shared wiki. As you can see, we can write mathematics here! It is based on the same software as Wikipedia is, with an extension to write LaTeX. Internally it uses MathJax to render formulas. Go to ''Edit'' of this page to see how I did it (especially see the top of the text where I define macros the same way as we would do in regular LaTeX).


* [[Public:Game Comonad Resources|Game Comonad Resources]] (public)
Note that there are minor differences with LaTeX. Inline mathematics is typeset with <code><nowiki>$$...$$</nowiki></code>, <code>\(...\)</code>, and <code>math</code> HTML tag. This means that <code><nowiki>$...$</nowiki></code> '''won't work!''' And display style maths is written with <code>\[...\]</code>, <code>\begin{XXX}...\end{XXX}</code>, where <code>XXX</code> can be, for example, <code>align</code>.
* [[Public:Known Game Comonads|Known Game Comonads]] (public) + [[Other comonads]]
* [[Project meetings]]
* [[Public:Seminar|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.
* [[Public:Comonads|Comonads]] (public)
* [[Arboreal categories]] and [[Linear arboreal categories]]
* [[Comonads and logic]]
* [[Open pathwise-embeddings]]
* [[Feferman-Vaught-Mostowski theorems]]
* [[Preservation 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]]
* [[Factorisation systems]]
* [[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.
See for example this $$\Ek A$$ and <math>\Pk A</math> and also the following:


\[ \Ek A =\ ... \]
and
\begin{align}
\Pk A = ...
\end{align}


'''Call for contribution.''' The following pages need input from people who understand their topic, please consider contributing.
As an example, I've transformed Nihil's CSP cheatsheet to a separate page [[Dualities_for_CSPs]] (only visible to members).

I also created a (blank) page of known comonads here: [[Public:Known_Comonads]] (publicly accessible).


* [[Exercises and Examples]]
* [[Containers]]
* [[No-go theorems]]
* [[Guarded Quantifier Comonads]]
* [[Sheaves]]


=== Practical Information ===
=== Practical Information ===
Line 42: Line 57:
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 with title of the form <code>Public:XXX</code> are publicly accessible, everything else is only visible to members.
Furthermore:
⚫
* 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 [https://www.mediawiki.org/wiki/Help:Formatting Help:Formatting]
⚫
* Only members of this Wiki can edit the pages and only members can invite other members. To create new account (for somebody) go to [[Special:CreateAccount]]
* For information about formating see [https://www.mediawiki.org/wiki/Help:Formatting Help:Formatting]
* For information about how to write LaTeX on this wiki go to [[Public:Writing LaTeX]]
* Some information about MediaWiki: [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User's Guide] and [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ].

Latest revision as of 10:46, 23 May 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:

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.

Next follows general category-theoretic pages.

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: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
Retrieved from "https://kam.mff.cuni.cz/~jaklt/comonadwiki/index.php?title=Main_Page&oldid=3434"