Functor Fact @FunctorFact
Functional programming and category theory tweets from @JohnDCook johndcook.com/blog/applied-c… Houston, TX Joined June 2016-
Tweets4K
-
Followers27K
-
Following6
-
Likes40
Hy: A Lisp that transforms to the Python abstract syntax tree docs.hylang.org
0
0
3
656
0
View Details
'Theorems for Free' and related papers by Philip Wadler homepages.inf.ed.ac.uk/wadler/topics/…
'Coconut is a simple, elegant, Pythonic functional programming language that compiles to Python.' coconut-lang.org
Epic and monic johndcook.com/blog/2018/08/2…
A functor between two categories maps objects to objects and morphisms to morphisms in a structure-preserving way.
'This may be one of the gentlest introductions to the idea of categories and monads that you will find.' cdsmith.wordpress.com/2012/04/18/why…
Functor Fact retweeted
Categorical models of logics johndcook.com/blog/2026/10/1…
Functor Fact retweeted
📄 Spivak (2026) Compositional Dynamics in Learning and Mechanics arxiv.org/abs/2606.28984
Don't fear the monad youtu.be/ZhuHCtR3xq8 by @lorentzframe
The 'range' of a function f: A -> B is ambiguous. Some use the term to mean the codomain B and others to mean the image f(A).
A general theory of sub-things johndcook.com/blog/2022/01/2…
'Category theory has been called 'abstract nonsense' both by its friends and its detractors.' -- Joseph Goguen
Co-limits in category theory are also called direct limits, inductive limits, and right roots.
Limits in category theory are also called inverse limits, projective limits, and left roots.
Literate Haskell wiki.haskell.org/Literate_progr…
Applied category theory johndcook.com/blog/applied-c…
'Good general theory does not search for the maximum generality, but for the right generality.' -- Saunders Mac Lane
'Logicians write *about* formal logic, but they don't actually use it.' -- Leslie Lamport
Algebra Etc. @AlgebraFact
195K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Analysis Fact @AnalysisFact
135K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Computer Science @CompSciFact
250K Followers 17 Following Daily tweets about computer science and related stuff @JohnDCook.
Topology Fact @TopologyFact
74K Followers 19 Following Tweets on topology and geometry from @JohnDCook.
Data Science Fact @DataSciFact
195K Followers 19 Following Daily data science tweets from @JohnDCook.
Logic & Applications @LogicPractice
28K Followers 8 Following Logic and applications of logic from @JohnDCook
Signal Processing @DSP_fact
34K Followers 18 Following Digital signal processing, acoustics, Fourier analysis, etc.
Differential Eqns @diff_eq
76K Followers 17 Following Tweets on ordinary and partial differential equations from @JohnDCook
Unix tool tip @UnixToolTip
83K Followers 19 Following Tips on Unix utilities and related topics from @JohnDCook.
Sam Walters ☕️ @SamuelGWalters
14K Followers 475 Following 🇨🇦 Math prof. Former Chair of Math-Stat Dept at the University of Northern B.C. (Mar 2016 - Jun 2020). Christian🎄.
Scientific Python @SciPyTip
209K Followers 18 Following Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.
MathType @MathType
48K Followers 275 Following MathType is the world’s leading equation editor powered by @wiris_science.
Frank Nielsen @FrnkNlsn
44K Followers 2K Following AI Science is Real! Information Geometry, Information Theory, Geometric Science of Information, HPC @SonyCSL
Network Fact @NetworkFact
46K Followers 19 Following Daily tweets about networks, graph theory, and related topics from @JohnDCook
Science and Medicine @ScienceTip
41K Followers 19 Following Daily post on science and medicine from @JohnDCook
Graham Hutton @haskellhutt
9K Followers 705 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
TeX and Typography @TeXtip
50K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
Abhishek Kumar @Abhishek1988Kr
15 Followers 284 Following #Programmer by Profession #Indian by Nationality #BihariYouth by Heart #TechnologyLover #India❤️🇮🇳
M Bos @BosMattias
0 Followers 88 Following
The Lower Slobbovian ... @bald_iggle
15 Followers 49 Following fan of Lil'Abner ... and the land of the free
𐙚 𝕼𝖆𝖋𝖆 @QaFa06
0 Followers 58 Following
Ricardo V. @ricaverp
6 Followers 128 Following Mechanical Engineer. Almost M.Eng. in Administration. No political opinions, just random academic thoughts and good pics.
copionetmath @cpdmath2
0 Followers 44 Following
Dirac Capital @Dirac_Capital
1 Followers 28 Following
Mathematics-ONCE (SCI... @mathematicsonce
390 Followers 2K Following "Love ain't a science, don't need no license" - TWICE, 2021 In Math since 2016, ONCE since 2025. 🇮🇩 Mathematics Olympiad/OSN: SD 2019 🥉 SMP 2022 🥈 SMA 2025 F
Shahd Shahd @ShahdShahd48369
1 Followers 36 Following
Khamees Bin Abubakar @Khamsus2
132 Followers 1K Following Web3 Researcher Community Builder and Airdrop Hunter Learning, Building and Earning In Web3.0, Long Term Holder.
Olivier Messiaen @messiaen1900
38 Followers 182 Following
Richard Cook @rr_cook
120 Followers 229 Following
Vwestly @Vwestly_
0 Followers 46 Following
TK-Yamamura @gauss1022
254 Followers 2K Following 昔は集積回路屋でしたが現在はニューラルネットワーク-量子情報-物性理論-ゲージ理論-重力理論の相関関係を調べています。皆様の情報は大変役に立っており感謝しております。ちなみにSan Joseと北京にも数年ずつ住んでおりました。趣味は音楽と水泳です。
Praveen @Praveencool123
285 Followers 402 Following
λlain.bit @lainbit
294 Followers 1K Following trying to be a christian + learning V8 javascript engine out of curiosity + sharing my several random thoughts + i'm practicing english + i hate web views
Mianlai Zhou @MianlaiZhoy3
57 Followers 1K Following A Catholic, into math, into programming, into philosophy, into languages.
Alistair Bayley @albayley
2 Followers 302 Following
Chiru B @ChiruB771964
120 Followers 6K Following
Taranjeet Singh @_TaranjeetSingh
2 Followers 294 Following
Brγ @BrackettGamma
0 Followers 49 Following
Daniele Demichelis @escher75
130 Followers 994 Following
Bhumika Mittal @mittalbhumika7
379 Followers 341 Following PhD student @gatech_scs. I work at the intersection of programming languages and cryptography.
👑 @jcnxnfnxjdjdjg
12 Followers 415 Following
Cthulhu @LovecraftianMat
472 Followers 2K Following The shortest distance between two points is a nightmare. Non-Euclidean geometry enthusiast. 📐💀 I post about alien and non-human mathematics
fernando @feergodoy10
20 Followers 164 Following
El Escolástico 🇻�... @soyescolastico
8 Followers 95 Following Católico❤️🔥✝️ y tradicionalista 🇪🇸. Escolástico de pura cepa: tomismo y gramática especulativa. Boecio. Discrepo en teología de las tesis de Gustavo Bueno.
fatemeh.mohammadpour @fatemehmpb
5 Followers 417 Following
Nigerian Society of P... @NSPSciences
158 Followers 121 Following Promoting research and study of Physical Sciences in Nigeria and provide effective programs in its support.
Varun @vgo1996
1 Followers 96 Following
sheafyguy @sheafyguy
21 Followers 317 Following former PhD. Mathematician. arithmetic geometry, algebraic number theory
Regime Astroturfing B... @TheGreedsters
0 Followers 1K Following Monkey Business. Don't believe their lies
Ligia Santia Martins @ligiasantia
4 Followers 458 Following
Robert Johansson @robertljoha
16 Followers 401 Following
找道了 @TheWayvy
787 Followers 3K Following
Felix Woitzel @Flexi23
5K Followers 7K Following (he/him) Internet fame for shaders and real-time interactive simulation animations. CS grad working as C#/.NET software dev for research data management.
Kathakali Ghosh Mukhe... @KgmStatistics
57 Followers 221 Following Founder, SM AQUABLUE ai; Founder, Hyacinth Hydroponics; Volunteer, StatsMantra GPHS (R); Mother; Biomedical Statistician; Friend.
Nana Qwame Chordson @nanaKwameAsan1
57 Followers 775 Following
Algebra Etc. @AlgebraFact
195K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Computer Science @CompSciFact
250K Followers 17 Following Daily tweets about computer science and related stuff @JohnDCook.
Data Science Fact @DataSciFact
195K Followers 19 Following Daily data science tweets from @JohnDCook.
Logic & Applications @LogicPractice
28K Followers 8 Following Logic and applications of logic from @JohnDCook
Trends for United States
You might like
Logic & Applications
@LogicPractice
28K Followers
Probability Fact
@ProbFact
147K Followers
Algebra Etc.
@AlgebraFact
195K Followers
Differential Eqns
@diff_eq
76K Followers
Network Fact
@NetworkFact
46K Followers
Topology Fact
@TopologyFact
74K Followers
Analysis Fact
@AnalysisFact
135K Followers
Computer Science
@CompSciFact
250K Followers
Data Science Fact
@DataSciFact
195K Followers
Science and Medicine
@ScienceTip
41K Followers
Signal Processing
@DSP_fact
34K Followers
Scientific Python
@SciPyTip
209K Followers
TeX and Typography
@TeXtip
50K Followers
Unix tool tip
@UnixToolTip
83K Followers
John D. Cook
@JohnDCook
56K Followers