くろの

@alwe-logic.bsky.social

@mitton5772.bsky.social

RIMSで圏論ソルジャー アイコンは4巻カラー絵のアルトちゃん(かわいい)

@catjigary.bsky.social

Rims Keisuke Hoshino

@venriched.bsky.social

豊穣圏

@arxiv-math-ct.bsky.social

Mathematics -- Category Theory (math.CT) source: export.arxiv.org/rss/math.CT maintainer: @tmaehara.bsky.social

@sanataka.bsky.social

@mit00042.bsky.social

数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)

@ngaastue.bsky.social

Kyoto Japan / KU RIMS D1, CS group/ Math, Categorical Logic,Category Theory, Mathematical Logic, Type theory Homepage: https://hayatonasu.github.io/hayatonasu/