Functor Fact

Functional programming and category theory tweets from @JohnDCook

[Functor Fact @FunctorFact]

'Sheaf theory is the subject in which you do topology horizontally and algebra vertically.' -- M. Auslander

[Functor Fact @FunctorFact]

Deconstructing functional programming https://t.co/LwEwJGhsyr Presentation by @Gilad_Bracha

[Functor Fact @FunctorFact]

The State Monad: A Tutorial for the Confused? https://t.co/MrLv9MtN0l

[Functor Fact @FunctorFact]

Currying in calculus, PDEs, programming, and categories https://t.co/oKPWdVvaIa

[Functor Fact @FunctorFact]

'The further you go in mathematics, especially pure mathematics, the more universal properties you will meet.' -- Tom Leinster, Basic Category Theory

[Anthony Bonato @Anthony_Bonato]

“Yes, but is it art?”

[Functor Fact @FunctorFact]

Idris: a general purpose pure functional programming language with dependent types. https://t.co/5JXcPX2vbU

[Functor Fact @FunctorFact]

How category theory is applied https://t.co/BXuqCVDQRG

[Functor Fact @FunctorFact]

The idea of subobject classifiers is to generalize indicator functions and use this to define something analogous to subsets in categories besides Set.

[Functor Fact @FunctorFact]

'Coalgebras for polynomial functors can be thought of as generalised deterministic automata.' -- Robert Goldblatt

[Functor Fact @FunctorFact]

Elliptic curves as functors https://t.co/tcrQmoekzq

[Functor Fact @FunctorFact]

'Given a species of structure, say widgets, the result of interconnecting a system of widgets to form a super-widget corresponds to taking the colimit of the diagram of widgets in which the morphisms show how they are connected.' -- Goguen

[Functor Fact @FunctorFact]

'A diagram D in a category C can be seen as a system of constrains, and then a limit of D represents all possible solutions of the system.' -- Joseph Goguen

[Functor Fact @FunctorFact]

The programming language name Caml was originally an acronym for 'categorical abstract machine language.'

[Functor Fact @FunctorFact]

Universal properties https://t.co/ezDk9cqjpU

[Functor Fact @FunctorFact]

The Brilliance of the Yoneda Lemma https://t.co/VVToCkE9gn

[Functor Fact @FunctorFact]

'The Yoda embedding, contravariant it is.' -- Mike Stay

[Functor Fact @FunctorFact]

Why functional programming matters https://t.co/yla79Z1aZl [pdf]

[Functor Fact @FunctorFact]

CQL: Categorical Query Language https://t.co/QmFSHDa6WG

[Functor Fact @FunctorFact]

'Computer science is the continuation of logic by other means.' -- Georg Gottlob