Difference between revisions of "Main Page"

(Hello Fellow Comonadists!: added a link to Public:Known_Comonads)
Line 1: Line 1:
<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! ==
== Hello Fellow Comonadists! ==


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).
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.

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>.


See for example this $$\Ek A$$ and <math>\Pk A</math> and also the following:

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


As an example, I've transformed Nihil's CSP cheatsheet to a separate page [[Dualities_for_CSPs]] (only visible to members).
As an example, I've transformed Nihil's CSP cheatsheet to a separate page [[Dualities_for_CSPs]] (only visible to members).
Line 42: Line 21:
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 called as <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]]

* 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 formating see [https://www.mediawiki.org/wiki/Help:Formatting Help:Formatting]
* For information about how to write LaTeX 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].

Revision as of 17:19, 7 May 2020

Hello Fellow Comonadists!

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.

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).


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 called as 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 formating see Help:Formatting
  • For information about how to write LaTeX go to Public:Writing_LaTeX