Functor Fact
@FunctorFact
Functional programming and category theory tweets from @JohnDCook
Może Ci się spodobać
Guide to commutative diagram packages for LaTeX jmilne.org/not/CDGuide.ht…
Saunders Mac Lane said that he invented category theory to make precise what it means for a construction to be 'natural.'
Continuations in mathematics math.stackexchange.com/questions/2347…
You can think of Hom(X, A) as 'A as viewed from X.' By the Yoneda lemma, two objects are the same if they look the same from all viewpoints.
Categorification of Fourier Theory youtu.be/w3f8KEcv4RE
youtube.com
YouTube
Categorification of Fourier Theory
Physics, Topology, Logic and Computation: A Rosetta Stone arxiv.org/abs/0903.0340
“The notion of stacks came up in the sixties. But to swallow schemes was already enough for one generation of mathematicians.” — Gerd Faltings
Cartesian Closed Categories (CCCs) en.wikipedia.org/wiki/Cartesian…
Roughly speaking, 'natural' means 'defined without arbitrary choices.' Making this rigorous was the early motivation for category theory.
You don't have to use a functional programming language to practice functional programming, though it helps.
Stephen Diehl (@smdiehl) 'What I wish I'd known when learning Haskell' dev.stephendiehl.com/hask/
United States Trendy
- 1. #ALLOCATION 253K posts
- 2. #JUPITER 254K posts
- 3. #GivingTuesday 11.7K posts
- 4. The BIGGЕST 447K posts
- 5. Good Tuesday 33.9K posts
- 6. #GMMTVxTPDA2025 787K posts
- 7. rUSD N/A
- 8. Susan Dell N/A
- 9. Michael Dell 1,126 posts
- 10. Kanata 26.7K posts
- 11. Taco Tuesday 11.7K posts
- 12. Costco 33.2K posts
- 13. #tuesdayvibe 1,962 posts
- 14. Dart 40.9K posts
- 15. JOSSGAWIN AT TPDA2025 119K posts
- 16. Trump Accounts 4,284 posts
- 17. King Von N/A
- 18. JIMMYSEA TPDA AWARD 2025 79.5K posts
- 19. Pentagon 60.9K posts
- 20. Snow Day 8,020 posts
Może Ci się spodobać
-
Logic & Applications
@LogicPractice -
Probability Fact
@ProbFact -
Algebra Etc.
@AlgebraFact -
Differential Eqns
@diff_eq -
Network Fact
@NetworkFact -
Topology Fact
@TopologyFact -
Analysis Fact
@AnalysisFact -
Computer Science
@CompSciFact -
Data Science Fact
@DataSciFact -
Science and Medicine
@ScienceTip -
Signal Processing
@DSP_fact -
Scientific Python
@SciPyTip -
TeX and Typography
@TeXtip -
Unix tool tip
@UnixToolTip -
John D. Cook
@JohnDCook
Something went wrong.
Something went wrong.