Functor Fact

Functional programming and category theory tweets from @JohnDCook

[Functor Fact @FunctorFact]

'Lisp's core occupies some sort of optimum in the space of programming languages.' -- John McCarthy

[Functor Fact @FunctorFact]

A terminal object is a limit over an empty diagram.

[Functor Fact @FunctorFact]

Adjunctions https://t.co/693850C4Yp

[Functor Fact @FunctorFact]

Typed Clojure: An optional type system for Clojure https://t.co/tNjva22qP4

[Functor Fact @FunctorFact]

Create commutative diagrams with TikZ https://t.co/Palq1hqt3K

[Functor Fact @FunctorFact]

F# resources https://t.co/oa31YYnH3z

[Functor Fact @FunctorFact]

Incanter: a Clojure-based, R-like platform for statistical computing and graphics https://t.co/x3WsKeW09N

[Functor Fact @FunctorFact]

Natural transformations https://t.co/8Nen6dDltK

[Functor Fact @FunctorFact]

Intersections, inverse images, kernels, and products can all be formulated as pullbacks.

[Functor Fact @FunctorFact]

The category of fields has no initial or terminal objects.

[Functor Fact @FunctorFact]

Category theory without categories https://t.co/goNRFtPp0I

[Functor Fact @FunctorFact]

'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

[Functor Fact @FunctorFact]

The Haskell language and the operation of currying were both named after logician Haskell Curry.

[Functor Fact @FunctorFact]

A tutorial on the universality and expressiveness of fold https://t.co/cuDcFETtrB [pdf]

[Functor Fact @FunctorFact]

One diagram, two completely different meanings https://t.co/XUkTSPXfQs

[Functor Fact @FunctorFact]

Haskell is not category theory https://t.co/R7xwO7RktU

[Didier 'Dirac's ghost' Gaulin @DiracGhost]

If you've been struggling learning category theory, you might want to check out Paolo Perrone's 'Notes on Category theory: with examples from basic mathematics' available publicly on arXiv.

These notes were produced during a class given to a diverse set of scientists (including chemists and physicists), with knowledge in linear algebra being the only subject assumed to be known!

🔗👇

[Functor Fact @FunctorFact]

'A comathematician is a device for turning cotheorems into ffee.'

[Functor Fact @FunctorFact]

Simply typed lambda calculus is the internal language of Cartesian closed categories (CCCs).