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: new streams

Notification Bot (Mar 23 2020 at 17:09):

Christian Williams created a new stream #meta.

Notification Bot (Mar 23 2020 at 18:11):

Matt Cuffaro created a new stream #toposophy.

Notification Bot (Mar 23 2020 at 18:24):

Christian Williams created a new stream #category theory.

Notification Bot (Mar 23 2020 at 18:50):

Christian Williams created a new stream #community.

Notification Bot (Mar 23 2020 at 20:32):

James Fairbanks created a new stream #applied category theory.

Notification Bot (Mar 23 2020 at 22:26):

Joe Moeller created a new stream #Basic Questions.

Joe Moeller (Mar 23 2020 at 22:53):

@everyone Sometimes when a new stream is created, it doesn't "subscribe" everyone. You can find them here or in your streams settings, and you can (un)subscribe yourself freely.

Mike Stay (Mar 23 2020 at 23:02):

To get to the streams settings, click the gear at the right-hand side of the streams header

STREAMS                      🔍⚙ <---

and then click the "all streams" tab. You can subscribe and unsubscribe by clicking the checkbox next to each stream.

Notification Bot (Mar 24 2020 at 12:55):

Fabrizio Romano Genovese created a new stream #Industry.

Notification Bot (Mar 24 2020 at 17:58):

Jules Hedges created a new stream #functional programming.

Notification Bot (Mar 24 2020 at 18:11):

Nathanael Arkor created a new stream #off-topic.

Notification Bot (Mar 24 2020 at 18:42):

Paolo Perrone created a new stream #MIT Categories Seminar.

Notification Bot (Mar 25 2020 at 21:57):

Daniel Geisler created a new stream #combinatorics.

Notification Bot (Mar 26 2020 at 16:12):

Alex Kavvos created a new stream #type theory.

Notification Bot (Mar 26 2020 at 17:14):

Joe Moeller created a new stream #ACT@UCR seminar.

Notification Bot (Mar 26 2020 at 17:21):

Blake Pollard created a new stream #ACT@UMD seminar.

Notification Bot (Mar 27 2020 at 09:17):

Morgan Rogers created a new stream #topos theory.

Notification Bot (Mar 27 2020 at 11:28):

Beppe Metere created a new stream #Algebra & CT.

Notification Bot (Mar 31 2020 at 17:08):

Fabrizio Genovese created a new stream #Italiano/Italian.

John Baez (Mar 31 2020 at 17:10):

I tried making a Google calendar of this sort myself, but it seemed to claim that any calendar I made that was publicly readable would also be publicly writable. Is that really true? It seems massively dumb.

Notification Bot (Mar 31 2020 at 17:20):

Joe Moeller created a new stream #algebraic geometry.

Notification Bot (Mar 31 2020 at 17:58):

Exequiel Rivas created a new stream #español/Spanish.

Notification Bot (Mar 31 2020 at 18:31):

Tim Hosgood created a new stream #français/French.

Notification Bot (Mar 31 2020 at 21:05):

Paolo Perrone created a new stream #Deutsch.

Notification Bot (Mar 31 2020 at 21:45):

Paolo Perrone created a new stream #Español.

Nathanael Arkor (Mar 31 2020 at 21:48):

@Paolo Perrone: is #español/Spanish not good enough for you? ;)

John Baez (Mar 31 2020 at 21:50):

We shouldn't have both.

John Baez (Mar 31 2020 at 21:51):

Just get rid of one... is it hard to do?

Nathanael Arkor (Mar 31 2020 at 21:52):

I've just deleted the new one

Paolo Perrone (Mar 31 2020 at 22:42):

Oops, sorry. For some reason I couldn't see the other one!

Tim Hosgood (Apr 01 2020 at 20:02):

would a stream for people to advertise positions/job openings be suitable for this chat, or is that the sort of thing best kept away from mathematical discussions

John Baez (Apr 01 2020 at 20:04):

I think it's fine, since it's a valuable community service and it's easy for people to not look at that stream or even "mute" it if they want.

Notification Bot (Apr 01 2020 at 20:12):

Tim Hosgood created a new stream #job/position postings.

Fabrizio Genovese (Apr 01 2020 at 20:13):

There was already #off-topic > jobs

Tim Hosgood (Apr 01 2020 at 20:14):

Fabrizio Genovese said:

There was already #off-topic > jobs

oh, sorry! i can't seem to delete my stream...

Fabrizio Genovese (Apr 01 2020 at 20:18):

Maybe let's keep the stream and delete the topic

Notification Bot (Apr 02 2020 at 11:25):

Jules Hedges created a new stream #economics.

Notification Bot (Apr 03 2020 at 23:11):

Morgan Rogers created a new stream #monoids.

Notification Bot (Apr 06 2020 at 05:39):

Christian Williams created a new stream #learning: reading groups.

Notification Bot (Apr 06 2020 at 05:41):

Christian Williams created a new stream #learning: recommendations.

Notification Bot (Apr 06 2020 at 05:44):

Christian Williams created a new stream #learning: show and tell.

Notification Bot (Apr 06 2020 at 05:45):

Christian Williams created a new stream #learning: history of ideas.

Notification Bot (Apr 10 2020 at 12:32):

Nathanael Arkor created a new stream #theory: logic.

Notification Bot (Apr 10 2020 at 15:16):

Lucius Gregory Meredith created a new stream #theory: alternate presentations.

Notification Bot (Apr 12 2020 at 02:44):

Faré created a new stream #theory: game semantics.

Notification Bot (Apr 12 2020 at 14:19):

Morgan Rogers created a new stream #practice: communication.

Notification Bot (Apr 14 2020 at 17:31):

Johannes Drever created a new stream #neuroscience.

Notification Bot (Apr 22 2020 at 18:45):

Christian Williams created a new stream #theory: concurrency.

Notification Bot (May 08 2020 at 18:21):

Tobias Fritz created a new stream #Categorical Probability and Statistics 2020 workshop.

Notification Bot (May 08 2020 at 18:27):

dusko created a new stream #evil compositions.

Joe Moeller (May 14 2020 at 21:51):

I just feel like reminding everyone, just in case you didn't know, that there are probably a bunch of streams in here that you aren't subscribed to, and therefore don't see any of the discussions that happen in them. You have to subscribe to streams in the streams options menu, click the gear next to "Streams" on the left.

sarahzrf (May 14 2020 at 21:52):

...and then click the "all streams" button on the top, or that menu will only show the ones you're already subbed to

John Baez (May 14 2020 at 22:01):

Yeah, I want more people answering my puzzles or - if you don't know how - asking me questions on these threads:

Galois cohomology.
Descent.
Morita equivalence.

This is a chance for us all to learn lots of math!

Notification Bot (Jun 01 2020 at 16:11):

Morgan Rogers created a new stream #theory: algebraic topology & homological algebra.

Notification Bot (Jun 03 2020 at 18:32):

Christian Williams created a new stream #values.

Notification Bot (Jun 10 2020 at 21:04):

Paolo Perrone created a new stream #ACT 2020.

Notification Bot (Jun 14 2020 at 11:33):

Jules Hedges created a new stream #practice: ACT wiki.

Notification Bot (Jul 10 2020 at 13:38):

xavier (mathematical artist) created a new stream #expression.

Notification Bot (Jul 17 2020 at 02:56):

James Fairbanks created a new stream #juliacon.

Notification Bot (Aug 16 2020 at 00:16):

Nathaniel Virgo created a new stream #theory: probability.

Notification Bot (Aug 19 2020 at 21:20):

Ellis D. Cooper created a new stream #Is this structure known?.

Notification Bot (Sep 02 2020 at 23:26):

Fabrizio Genovese created a new stream #languages: latine/latin.

Notification Bot (Sep 26 2020 at 11:58):

fosco created a new stream #Our papers.

Notification Bot (Oct 05 2020 at 15:28):

Nathanael Arkor created a new stream #practice: translation.

Notification Bot (Nov 30 2020 at 01:32):

Eric Forgy created a new stream #working: discrete geometry and entanglement.

Notification Bot (Dec 02 2020 at 12:13):

Jelle Herold created a new stream #process-io.

Jules Hedges (Dec 02 2020 at 12:22):

This should probably be a topic in the #practice: software stream

Notification Bot (Dec 26 2020 at 13:04):

Tim Hosgood created a new stream #Topos Colloquium.

Notification Bot (Jan 10 2021 at 10:11):

Matteo Capucci created a new stream #general: co/appreciation.

Notification Bot (Jan 26 2021 at 17:58):

Nathanael Arkor created a new stream #practice: our work.

Notification Bot (Jan 31 2021 at 20:23):

John Baez created a new stream #YaMCATS.

Notification Bot (Jan 31 2021 at 20:25):

John Baez created a new stream #seminar: YAMCaTS.

Notification Bot (Mar 12 2021 at 01:53):

Joshua Meyers created a new stream #theory: differential topology.

Notification Bot (Mar 15 2021 at 14:07):

Tim Hosgood created a new stream #workshop: Polynomial Functors @ Topos.

Notification Bot (Jul 19 2021 at 17:59):

Christian Williams created a new stream #practice: pedagogy.

Notification Bot (Aug 26 2021 at 03:46):

Valeria de Paiva created a new stream #seminar: EM-cats.

Notification Bot (Aug 28 2021 at 10:22):

Matteo Capucci (he/him) created a new stream #conference: CT20->21.

Notification Bot (Aug 28 2021 at 14:32):

Jon Awbrey created a new stream #theory: number theory.

Notification Bot (Sep 08 2021 at 14:35):

R Gutin created a new stream #complete development of computable topology.

Notification Bot (Oct 13 2021 at 12:22):

Joe Moeller created a new stream #languages: português.

Notification Bot (Nov 09 2021 at 18:36):

John Baez created a new stream #practice: thermodynamics.

Notification Bot (Nov 09 2021 at 20:48):

John Baez created a new stream #applied category theory school.

Notification Bot (Nov 18 2021 at 03:51):

Posina Venkata Rayudu created a new stream #Grothendieck.

Notification Bot (Jan 04 2022 at 05:32):

Joshua Meyers created a new stream #learning: what's that structure.

Notification Bot (Jan 04 2022 at 05:33):

Joshua Meyers created a new stream #learning: id my structure.

Morgan Rogers (he/him) (Jan 04 2022 at 10:50):

I can't delete the former of these from my phone, nor can I do the reshuffle of topics which might make sense with the introduction of this stream. If no one has done it later, I'll do it when I can access from my laptop.