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.
JR Learnstomath (Mar 18 2026 at 07:26):I came here from @David Egolf (he/him) 's "starting Zulip conversations", um, conversation: https://categorytheory.zulipchat.com/#narrow/channel/233322-practice.3A-communication/topic/starting.20Zulip.20conversations/with/580103849, because yet again, I've been able to take some tentative steps forward because of you -- thanks, David!
One of my earliest observations of math - this kind of math - is that it's naturally a team sport, and I really like that about it. So I'm nervous about this, but I'm going to cast a spell: sprobujemy ("let's try" in Polish) and give it a go.
I'll start this conversation by saying why I'm starting it, and why here in "community: our work", and then ask a few questions.
There's one meta-reason (M) and three subject-related reasons (S) why and why here:
(M1)I can't claim I'm "applying category theory", but I'm studying how to, and need a non-stream-of-information place to put what I'm learning because:
(M1a) This platform is overwhelming for me, and I'm a limited human with high cognitive loading. I also switch contexts dramatically, so I forget lots of stuff. I need a stock of information that I can easily search for to find where I left off.
(M1b) I'm learning so much at so many levels, I want to document this, both for myself from the future and in case there are newcomers who want to see how one newcomer did it. I'm doing it here because I don't want to clutter the actual conversations up with all of my "learner's notes".
(S1) Thanks to conversations with many in this community, I guess I can now say what "my work" is at this stage: I'm investigating whether studying category theory can help solve my most pressing problems.. At first, a few years ago, I took it on blind faith based on what experts wrote (what else could I do, since I was totally new to this!?)(now I would say I'm kind of new to this), but now it's really starting to bear fruit, and I think I can actually say something, and the least cognitively onerous place for me to put it is here, in the "community: our work" channel.
(S2) In a hat tip to @Emily Riehl , I'm studying Category Theory in Context, literally, and also, well, literally, but "up a level". I guess I could say I'm studying Category Theory in Context in Context" (Note 1). That means not only asking questions and receiving answers here about (A)CT and noticing the language that people use to talk about their ideas. Moreover, if we think about (A)CT as "the thing that (A)CTheorists do", then the higher-level context I mean is learning from the grown-ups the "right manners and good conduct" of becoming a good citizen of this community.
(S3) Pursuant to (S1) and (S2), I learned that being a good member of the (A)CT community requires knowing how to work with literal computers and the platforms that are used. That means, for example, for ACT, how to partially quote someone's message (Note 2 #TODO)!
In sum, my work is:
I'd keep my thoughts to myself, but then at least one person who teaches CT said that they appreciated my learner's stream of consciousness, so I thought it would be worth just giving it a try. Also, if even one teacher, learner, or community newcomer happens to find this and is helped by it, I think I'll feel like I will have given back to this community, which has already given me so much. (Note 4)
I'm nervous about asking questions regarding my work (my other questions were about math, so I wasn't nervous), so I'll just openly wonder whether anyone thinks it is a good idea to write about my work here.
That said, I'll just straight up ask these questions in the spirit of (S2):
I think the likeliest most harm is that, no one will read it but future me and it'll be lost and forgotten in the infinite stream of information. (Note N)
10Q4UWAA! (Note /Omega)
FAQs (Note 3)
Q: Why don't you just blog? A: A lot of reasons, but the main one is that my cognitive loading is orders of magnitude higher than it was before when I could blog, so now it's a choice between share somewhere or don't share at all.
Zoolander Q: But why APPLIED CT? A: Since the usual math examples in CT textbooks are for people who know math already (I'm only now learning area integrals at uni, and haven't taken the pure maths module yet!), I thought that I would see whether I could use some examples from my prior knowledge. Well, we might think of this as "applying category theory to learn category theory, but like, the reverse". Which, I'm pretty sure, someone can express in CT language. Maybe that can be an exercise to myself. In any case, from the perspective of context-teleporting, learning CT through my prior knowledge examples is basically "coapplying CT" and therefore, I guess, the distinction is blurred. And I only just now realized that this Zulip is actually CT Zulip! So, I can just say "CT" and everything will be okay.
NOTES
(Note 1) Here, when I say Emily's book title, it stands for all the textbooks and papers that (could this possibly what they mean by a "model category"?) I'm studying.
(Note 2) Learned from John B in the aforementioned conversation. You have to put the ``` on a NEW line! I must write about this in detail, it was very funny! Thanks, John B!
(Note 3) They're frequently asked by only me. ALL the time.
(Note 4) I'm very grateful to many people here, but I fear they're all thanked out, and I don't want to be OTT with my thanks. I'm just really grateful!
(Note N) #TODO ask this as 3rd question - but to whom? I will look in Meta:Meta for clues.
(Note \Omega) #TODO figure out how to typeset this
Spencer Breiner (Mar 18 2026 at 12:15):For latex output, put your command in double dollar signs: $$\Omega$$
David Egolf (he/him) (Mar 18 2026 at 16:08):So I'm nervous about this, but I'm going to cast a spell: sprobujemy ("let's try" in Polish) and give it a go.
Great! It can be intimidating to post here - but also really rewarding. And personally I like to take some comfort from this fact: even though my posts may have mistakes in them, they can still be of some value to others.
It is okay with everyone if I "pretendly blog" what I've learned here? ... If "community: our work" is not the place to do it, then where?
In my opinion, it's fine to start posting about category theory in whatever thread seems good to you. A moderator can move a thread (or posts within a thread), if they feel it's important! I've found #learning: questions and #learning: reading & references to be good places to post, for myself.