Μίττον@圏論ソルジャー(गजस्पृशन्ध)

@tani.cc

I am a LISP interpreter.

@alwe-logic.bsky.social

@catjigary.bsky.social

Rims Keisuke Hoshino

@piano2683.bsky.social

ID確保だけしておきます

@yutokawase.bsky.social

RIMS, Kyoto University / Category theory / Academic

@khronos2106.bsky.social

RIMS, M2 / 数学, 圏論, 圏論的普遍代数, モナド, 局所表示可能圏 / ドミニオン / Minecraft

@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/

@venriched.bsky.social

豊穣圏

@sanataka.bsky.social