arXiv math.CT Category Theory @mathCTbot

Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCVb @mathDGb @mathDSb @mathFAbot ... arxiv.org/list/math.CT/n… Joined March 2013

Tweets

12K
Followers

2K
Following

0
Likes

0

arXiv math.CT Category Theory @mathCTbot

20 hours ago

Rose Kudzman-Blais, Jean-Simon Pacaud Lemay: Cartesian Linearly Distributive Categories: Revisited arxiv.org/abs/2509.04435 arxiv.org/pdf/2509.04435 arxiv.org/html/2509.04435

0 0 8 281 2

arXiv math.CT Category Theory @mathCTbot

20 hours ago

Paula Verdugo: On the equivalence invariance of formal category theory arxiv.org/abs/2509.04255 arxiv.org/pdf/2509.04255 arxiv.org/html/2509.04255

0 3 14 642 6

arXiv math.CT Category Theory @mathCTbot

20 hours ago

[2025-09-05 Fri (UTC), 2 new articles found for mathCT Category Theory]

0 0 2 170 0

arXiv math.CT Category Theory @mathCTbot

2 days ago

Hinich, Moerdijk: Addendum: localization of lax symmetric monoidal categories arxiv.org/abs/2509.03450 arxiv.org/pdf/2509.03450 arxiv.org/html/2509.03450

0 4 8 399 2

arXiv math.CT Category Theory @mathCTbot

2 days ago

El Mehdi Cherradi: Internal languages of locally cartesian closed $(\infty,1)$-ca... arxiv.org/abs/2509.03371 arxiv.org/pdf/2509.03371 arxiv.org/html/2509.03371

0 8 13 542 4

arXiv math.CT Category Theory @mathCTbot

2 days ago

[2025-09-04 Thu (UTC), 2 new articles found for mathCT Category Theory]

0 0 1 174 0

arXiv math.CT Category Theory @mathCTbot

3 days ago

Tamar Datuashvili, et al.: Equivalence of the categories of categorical groups and cssc-c... arxiv.org/abs/2509.01417 arxiv.org/pdf/2509.01417 arxiv.org/html/2509.01417

0 0 8 337 4

arXiv math.CT Category Theory @mathCTbot

3 days ago

: McKinsey-Tarski algebras and Raney extensions arxiv.org/abs/2509.01233 arxiv.org/pdf/2509.01233 arxiv.org/html/2509.01233

0 0 4 245 1

arXiv math.CT Category Theory @mathCTbot

3 days ago

Brett Hungar: Anchored Planar Algebras and 3-Categorical Graphical Calculus arxiv.org/abs/2509.00995 arxiv.org/pdf/2509.00995 arxiv.org/html/2509.00995

0 0 5 235 1

arXiv math.CT Category Theory @mathCTbot

3 days ago

[2025-09-03 Wed (UTC), 3 new articles found for mathCT Category Theory]

0 0 1 142 0

arXiv math.CT Category Theory @mathCTbot

4 days ago

[2025-09-02 Tue (UTC), no new articles found for mathCT Category Theory]

0 0 1 197 0

arXiv math.CT Category Theory @mathCTbot

5 days ago

Olivia Caramello, Laurent Lafforgue: Sites and Grothendieck toposes: an introduction arxiv.org/abs/2508.21609 arxiv.org/pdf/2508.21609 arxiv.org/html/2508.21609

1 10 43 4K 26

arXiv math.CT Category Theory @mathCTbot

5 days ago

Olivia Caramello, Laurent Lafforgue: Generation of Grothendieck topologies, provability and operations on subtoposes arxiv.org/abs/2508.21134 arxiv.org/pdf/2508.21134 arxiv.org/html/2508.21134

1 3 11 995 6

arXiv math.CT Category Theory @mathCTbot

5 days ago

[2025-09-01 Mon (UTC), 2 new articles found for mathCT Category Theory]

0 0 1 194 0

arXiv math.CT Category Theory @mathCTbot

a week ago

Tom Leinster: Equivalence via surjections arxiv.org/abs/2508.20555 arxiv.org/pdf/2508.20555 arxiv.org/html/2508.20555

0 2 22 859 7

arXiv math.CT Category Theory @mathCTbot

a week ago

[2025-08-29 Fri (UTC), 1 new article found for mathCT Category Theory]

0 0 2 220 0

arXiv math.CT Category Theory @mathCTbot

a week ago

Ortiz, Russo: An extension of Priestley duality to fuzzy topologies and posi... arxiv.org/abs/2508.19423 arxiv.org/pdf/2508.19423 arxiv.org/html/2508.19423

0 1 11 614 3

arXiv math.CT Category Theory @mathCTbot

a week ago

[2025-08-28 Thu (UTC), 1 new article found for mathCT Category Theory]

0 0 1 196 0

arXiv math.CT Category Theory @mathCTbot

a week ago

Quentin Moreau: Algebraic conformal nets, investigation of the locally constan... arxiv.org/abs/2508.18275 arxiv.org/pdf/2508.18275 arxiv.org/html/2508.18275

0 1 4 289 2

arXiv math.CT Category Theory @mathCTbot

a week ago

[2025-08-27 Wed (UTC), 1 new article found for mathCT Category Theory]

0 0 1 182 0

Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

Egbert Rijke @EgbertRijke

3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Matteo Capucci @mattecapu

6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Bruno Gavranović @bgavran3

9K Followers 923 Following Building structured neural networks using principles from category theory.

Andrej Bauer @andrejbauer

7K Followers 147 Following Mathematician, computer scientist, aikidoka

Category Witch @JadeMasterMath

7K Followers 1K Following Mathematics is fun

Paolo Perrone @PaoloPMath

2K Followers 101 Following Mathematician & math teacher.

Ben Spitz (61/100 imp... @DiracDeltaFunk

3K Followers 652 Following Sheaf herder. I believe in you 🔥

Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

davidad 🎇 @davidad

20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML).

'Geometry is successful magic' (R. Thom)

University of Amsterdam.

Simon Pepin Lehalleur @plain_simon

4K Followers 6K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam.

phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him

Evan Washington @evanewashington

8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him

だいたい全部ま... @R_O_R_I_J_O

2K Followers 322 Following ¿ろりじょ? です

If all you have is a functor, everything looks like a diagram.
quantum computing // artificial intelligence // monoidal categories
@AlexisToumi@mathstodon.xyz

alexis.toumi @AlexisToumi

1K Followers 257 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]

Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.

Amar Hadzihasanovic @amar_hh

960 Followers 237 Following Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.

？？？ @Alwe_Logic

4K Followers 3K Following 学びたい、ことばかり。音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68rYhf

Taichi Uemura @t_uemura669101

968 Followers 359 Following “Categorical” type theory

Robin Piedeleu @rwolffoot

713 Followers 1K Following boxes-and-wires scientist

Categories, computer science and logic. @stringdiagram@mathstodon.xyz

Dan Marsden @StringDiagram

1K Followers 184 Following Categories, computer science and logic. @[email protected]

Vtuberのalg-d、略してV-alg-dです。烙印とドレミコードが好き。数学動画を作っているので良かったら見てください。チャンネル→ https://t.co/74n2fBYwWJ 　アニメはKING OF PRISMが好き。キスト・スペシャライズド。趣味で圏論をやっています。　【2024年1月3日】

alg-d @alg_d

6K Followers 2K Following Vtuberのalg-d、略してV-alg-dです。烙印とドレミコードが好き。数学動画を作っているので良かったら見てください。チャンネル→ https://t.co/74n2fBYwWJ 　アニメはKING OF PRISMが好き。キスト・スペシャライズド。趣味で圏論をやっています。　【2024年1月3日】

ゐぶ @cosmos8128

2K Followers 1K Following spm18,19,21st / アイコンは@kakimochimochiさんに描いて頂きました/数学の真面目な話は＠cosmos9651へ

delaney @DelaneyDvorsky

4 Followers 48 Following

smile @Smilex_P

221 Followers 5K Following

- @ystructplaie

1 Followers 136 Following @limesinvolutus

y-gen @limesinconstans

198 Followers 34 Following https://t.co/o1ZaJwVvYe

くものす @bellestoiles

737 Followers 2K Following 衒学趣味用(B3)/無言フォロー失礼いたします/何度もフォローしたりしてたらすみません

Biomedical Engineerin... @BmeHealth

94 Followers 4K Following Views personal

型推栄 @_jj1lis_uec

1K Followers 924 Following 巨人の肩の上に立つ

quantumbot @thequantumCS

26 Followers 372 Following

Dries Frederickx @Poly_Void

253 Followers 2K Following Current status: NEET. Jack of no traits and definitely master of none.

Mathematician. Frankenstein's monster. Incongruous bits and pieces coalesced accidentally instead of a plan. Batteries included.

Atabey Kaygun @Atabey_Kaygun

1K Followers 4K Following Mathematician. Frankenstein's monster. Incongruous bits and pieces coalesced accidentally instead of a plan. Batteries included.