Functor Fact @FunctorFact
Functional programming and category theory tweets from @JohnDCook johndcook.com/functor Houston, TX Joined June 2016-
Tweets4K
-
Followers26K
-
Following6
-
Likes41
Universal coalgebra: a theory of systems sciencedirect.com/science/articl…
The symbol ⊣ as in F ⊣ G if F is a left adjoint for G, is U+22A3 in Unicode, \dashv in LaTeX. Right adjoint ⊢ is U_22A2, \vdash.
'General category theory springs no nasty surprises: any sensible equation you can write down is true.' -- Tom Leinster
Haskell Programming from First Principles haskellbook.com
'Lisp's core occupies some sort of optimum in the space of programming languages.' -- John McCarthy
A terminal object is a limit over an empty diagram.
Typed Clojure: An optional type system for Clojure typedclojure.org
Create commutative diagrams with TikZ ctan.org/pkg/tikz-cd
Mitchell's embedding theorem en.wikipedia.org/wiki/Mitchell%…
Incanter: a Clojure-based, R-like platform for statistical computing and graphics incanter.org
Natural transformations johndcook.com/blog/2017/03/1…
Intersections, inverse images, kernels, and products can all be formulated as pullbacks.
The category of fields has no initial or terminal objects.
Category theory without categories johndcook.com/blog/2023/05/2…
'Tensor calculus is vitally concerned with the distinction between contravariance and covariance, and consistently employs upper indices to indicate the one and lower indices to indicate the other.' – David Kay
The Haskell language and the operation of currying were both named after logician Haskell Curry.
Algebra Etc. @AlgebraFact
194K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Analysis Fact @AnalysisFact
133K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Computer Science @CompSciFact
251K Followers 19 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
27K 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
75K Followers 17 Following Tweets on ordinary and partial differential equations from @JohnDCook
Unix tool tip @UnixToolTip
84K Followers 19 Following Tips on Unix utilities and related topics from @JohnDCook.
Sam Walters ☕️ @SamuelGWalters
14K Followers 484 Following 🇨🇦 Math prof. Former Chair of Math-Stat Dept at the University of Northern B.C. (Mar 2016 - Jun 2020). Christian.
Scientific Python @SciPyTip
210K Followers 18 Following Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.
MathType @MathType
46K Followers 280 Following Type and handwrite mathematical notation. Easily include quality math equations in your documents and digital content. Part of @wiris_science.
Matteo Capucci @mattecapu
6K Followers 823 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Frank Nielsen @FrnkNlsn
36K Followers 2K Following Information Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL
Science and Medicine @ScienceTip
42K Followers 19 Following Daily post on science and medicine from @JohnDCook
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
TeX and Typography @TeXtip
51K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
dilibau cotzcaru @ceaules_baules
415 Followers 3K Following
Elon's 13th babymama @shiitakekimono
876 Followers 1K Following esoteric bpd warrior, cuidador de sobrinos, former fagota
巴拉巴拉 @dadannono
5 Followers 40 Following
max @Skebfekfngb
21 Followers 250 Following
Santiago @Santiag08949197
6 Followers 221 Following
H.Overman @opsec_ee
9 Followers 94 Following
Pirate0978 @pirate0978
100 Followers 3K Following Science lover 🔬 Enthusiast of AI 🤖, Robotics🛠️,space🚀, defense🛡️, Tech 💻 Also an avid enthusiast of gaming 🎮, cinema 🎮, and sports ⚽
seal @sealaseal
5 Followers 93 Following
MSV @SVamseekar
15 Followers 38 Following
david mendiola @mendiolaDav
1 Followers 332 Following
Umut Korkmaz @umutkorkmaz_net
28 Followers 754 Following
Jason Graham @JasonSGraham
166 Followers 2K Following Christian, Husband, Father, Hacker. Opinions are mine alone.
Market Observer @Market0bserver8
1K Followers 2K Following Observe the market, react to opportunities, stay alert to risks. Rich experience being humbled by Mr Market. Other interests: AI, engineering, science, math
CIO Business Views @CIOBusinessview
2 Followers 125 Following Official account of CIO Business Views | Future-focused insights for global business leaders.🌍 📌
Ewokonfire @ewokonfirepi
17 Followers 269 Following
Arun @arun_einstein
849 Followers 2K Following
ε&δ @Any_not_thing
2 Followers 25 Following
David P. Adams @dadamsAU
234 Followers 634 Following MPA Director @csuf | Public admin prof | Governance, equity, energy policy ⚖️⚡ | Linux nerd 🐧 | Researcher, dad, deckbuilder | War Damn Eagle views are my own
1000s Navaja @samibayon
115 Followers 1K Following intereses y opiniones ⚔︎ ⚔︎ lagomorph fan account
Abhishek Chakraborty @abhishekc_1983
537 Followers 725 Following Professor, Politics and ⚽ enthusiast @LFC, Views are personal
Antonio Di Pierro @Mosquiton
16 Followers 286 Following
MatureYoro @MatureYoro
4 Followers 61 Following
nina @ninamorphism
1 Followers 15 Following
aaaaaaaaaaaaaaaaaaaaa @mabhvebh
30 Followers 508 Following
ajbarry3 @ajbarryiii
13 Followers 309 Following
Jake @inertiagradient
0 Followers 59 Following
Yanki @st_yankii
59 Followers 851 Following Mar del Plata. Peronista-Menemista. Combatiendo traidores libertarios desde 2023.
سباقيتي @30_1y1m1d
6 Followers 172 Following
Daniel B @DanielB49123124
6 Followers 171 Following
𝓐𝓬𝓱𝓻𝓪�... @achrafs758_
57 Followers 154 Following
Siva @SivaEurope
192 Followers 3K Following
Ping Zhao @pingz_no
2 Followers 166 Following
Algebra Etc. @AlgebraFact
194K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Computer Science @CompSciFact
251K Followers 19 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
27K Followers 8 Following Logic and applications of logic from @JohnDCook
Trends for United States
336 B posts
6.266 posts
7.515 posts
390 B posts
7.231 posts
37,9 B posts
30,5 B posts
62,4 B posts
20,6 B posts
55,4 B posts
17,5 B posts
265 B posts
5.386 posts
5.078 posts
3.219 posts
15,7 B posts
373 B posts
16,5 B posts
383 B posts
You might like
Logic & Applications
@LogicPractice
27K Followers
Probability Fact
@ProbFact
147K Followers
Algebra Etc.
@AlgebraFact
194K Followers
Differential Eqns
@diff_eq
75K Followers
Topology Fact
@TopologyFact
74K Followers
Analysis Fact
@AnalysisFact
133K Followers
Computer Science
@CompSciFact
251K Followers
Data Science Fact
@DataSciFact
195K Followers
Science and Medicine
@ScienceTip
42K Followers
Signal Processing
@DSP_fact
34K Followers
Scientific Python
@SciPyTip
210K Followers
TeX and Typography
@TeXtip
51K Followers
Unix tool tip
@UnixToolTip
84K Followers
John D. Cook
@JohnDCook
55K Followers
Maths History
@mathshistory
109K Followers