#CATEGORY-THEORY

List of the best Telegram channels tagged with #CATEGORY-THEORY.

TGList data, October 2026: 5 channels tagged #category-theory. Top-ranked: formal labs (446 subscribers). Often tagged together with #mathematics, #lean, #programming.

Related Tags

446

General

#lean #mathematics #category-theory

PONV Daily

Best crap from the dumpster

735

General

#programming #functional #category-theory

by rfl

132

General

#mathematics #category-theory #lean

truly part of me

@ultima_rat paintings @truly_part thoughts @sortbyc feelings @guided_by broadcast

267

General

#topology #category-theory #mathematics