Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Yoneda Lemma in Double Categories

Actegories

Tannakian Reconstruction

Tambara Equipment

Profunctor Equipment in Haskell

Identity Types

Homotopy Equivalences

Understanding Yoneda

Understanding the Yoneda Lemma (2013)

Functorio

The Fall of the SKI Civilization

Functorio

Categories for the Working C++ Programmer

Benign Data Races Considered Harmful

Defunctionalization and Freyd’s Theorem

Categories for the Working C++ Programmer

Guitar Decomposed: 5. Mutating the Third

Math is your insurance policy

Who ordered memory fences on an x86? (2008)

The Earth is Flat

Functional Data Structures in C++: Lists

Category Theory for Programmers

Category Theory for Programmers (2014)

F-Algebras

Monoids on Steroids

Profunctors as Relations

Tambara modules

Category Theory and Declarative Programming

It’s All About Morphisms

Yoneda embedding

More →