ペーパー @paper3510mm@mathtod.online

そしてこの度2023年9月16日(土)、17日(日)に、第4回すうがく徒のつどい＠オンラインが開催されます❗️何と今回は神戸大学を会場にハイブリッド形式で行います❗️

まずは自己紹介をば。「すうがく徒のつどい」は数学が好きな人が集まり、講演等を通して参加者同士の交流を深めることを目的として企画された会です

A category theory paper looking like something out of Newton ^_^

H. Andréka, I. Németi, "Direct limits and filtered colimits are strongly equivalent in all categories", Banach Center Publications 9 Issue 1 (1982) pp 75-88, https://bibliotekanauki.pl/articles/1361243

The 6th International Conference on Applied Category Theory will take place at the University of Maryland in College Park, Maryland, United States from 31 July to 4 August, preceded by the Adjoint School 2023.

https://act2023.github.io

Due to generous sponsorship from NIST and UFL, registration is completely free! Please register here:

https://eventbrite.com/e/applied-category-theory-2023-registration-643212404617

In-person attendees, please register by July 14 AOE so we can have the numbers for coffee and such.

You can follow along here:

https://leanprover-community.github.io/mathlib-port-status/

🙂

Congratulations!
https://twitter.com/t_uemura669101/status/1674075554109063170
@tuemura

They just don't stop! Besides their Joy of Abstraction book club, the Topos Institute also has *another* way for you to start learning category theory.

It's called the CT Outreach Panel, and it's happening on March 16, 17:00 UTC.

Some of the best explainers of category theory in the world - Emily Riehl, Eugenia Cheng, Tai-Danae Bradley, Paul Dancstep and Oliver Lugg - will explain their approaches to the subject and answer questions.

You can submit questions here:

https://topos.site/ct-outreach-self-learners/

This post by @johncarlosbaez about rig categories is great!
https://mathstodon.xyz/@johncarlosbaez/109801982980939381

It got me thinking about my favorite example that's not exactly FinSet. It's a rig category Z whose objects are integers. Its only morphisms are automorphisms, and each automorphism group is ℤ/2 = {±1}. Even though addition of integers is commutative, the symmetry isomorphism in Z is nontrivial! The symmetry isomorphism
β: m + n ≅ n + m
is the element (-1)ᵐⁿ in Z(m+n,m+n).

(1/5)

finally found a journal for my expository paper on (co)simplicial (co)presheaves! first solo publication to actually appear (one of my thesis ones was accepted a couple of months ago but seems to be stuck in academic publication limbo)

https://cm.episciences.org/10359