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

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

マストドンからミスキーのアカウントをフォローできるのはじめて知った
別のサービスだと思うけどどういう仕組みなんだろう

Twitterは壊れるしThreadsはTLが使えないし

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, bibliotekanauki.pl/articles/13

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.

act2023.github.io

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

eventbrite.com/e/applied-categ

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

マストドンのスマホアプリ、挙動がスムーズじゃなくてあんまり好きじゃないんだよね

ダガーモノイダル圏としてのHilbの特徴づけが最近出てたけど、同じような仕方でRelも特徴づけできるらしい

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:

topos.site/ct-outreach-self-le

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

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)

cm.episciences.org/10359

「もうすぐD2が終わる」
「D2が終わるとどうなるの?」
「知らんのか、D3が始まる」

人々本格的に移動しつつある? Twitter完全に死亡するまで移行することは考えてないが……

Show older
Mathtodon

Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.