Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: general

Topic: swimming turtles

Welcome Bot (Mar 23 2020 at 16:57):

This is a message on stream #general with the topic swimming turtles.

Start a new topic any time you're not replying to a previous message.

Stelios Tsampas (Mar 23 2020 at 17:00):

$\Sigma : \textbf{Sets} \rightarrow \textbf{Sets}$ lifts to $\bar{\Sigma} : Kl(\mathcal{P}) \rightarrow Kl(\mathcal{P})$ through $\lambda : \Sigma \mathcal{P} \Rightarrow \mathcal{P} \Sigma$ as long as $\lambda$ satisfies two additional criteria (associativity and identity). Liftings are awesome!

Jules Hedges (Mar 23 2020 at 17:02):

\[ \begin{tikzcd} A \ar[r] \ar[d] & B \ar[d] \\ C \ar[r] & D \end{tikzcd} \]

Jules Hedges (Mar 23 2020 at 17:02):

Was a nice try

Stelios Tsampas (Mar 23 2020 at 17:02):

Zulip supporting tikzcd would have been quite epic...

Christian Williams (Mar 23 2020 at 17:03):

I know right. but go to: chat.zulip.org and join the development team.

Christian Williams (Mar 23 2020 at 17:03):

apparently they have the largest/most active open-source community for a chat server

Christian Williams (Mar 23 2020 at 17:03):

ah, so mathmode is double dollar sign.

Jonathan Beardsley (Mar 26 2020 at 01:38):

is this a place to put messages we want to have "disappear?"

Stelios Tsampas (Mar 26 2020 at 01:39):

I think it was one of the automatic "sample" topics to introduce the functionality.

Jonathan Beardsley (Mar 26 2020 at 01:41):

Yeah so it seems. I'm just wondering how it got messages posted in it, haha. Maybe people were just messing around.

Stelios Tsampas (Mar 26 2020 at 01:42):

Oh we were just messing about at the very beginning of this zulip, trying to learn the ropes :).