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: deprecated: our papers

Topic: Monoid Properties as Invariants of Toposes of Monoid Actions


view this post on Zulip Morgan Rogers (he/him) (Dec 04 2020 at 09:54):

@Jens Hemelaer and I just got our article published in Applied Categorical Structures. It was a lot of fun to write. We were able to understand a whole bunch of topos properties much better (for ourselves, at least!) through the lens of monoids, and conversely to "understand monoids via geometry" in a whole new way. If I can get my act together with my own papers, it should be the start of a much bigger story..!

view this post on Zulip Todd Schmid (he/they) (Dec 04 2020 at 09:59):

Congrats! Looking forward to reading it!

view this post on Zulip Morgan Rogers (he/him) (Dec 02 2021 at 09:00):

I gave a talk based on this paper yesterday with the title Using topos theory to make analogies precise, which has since been put online.

The talk is intended to be accessible to a wide mathematical audience. If you have ever been curious what the appeal of topos theory is, this is my answer.