Authors

Subscribe:.rss.atom.json.md

Publishes 1 feed

• Category Theory

  15 posts · theirs

Lately

• Category Theory 8.1: Function objects, exponentials

  Category Theory · 2016-10-13

• Category Theory 7.2: Monoidal Categories, Functoriality of ADTs, Profunctors

  Category Theory · 2016-10-11

• Category Theory 7.1: Functoriality, bifunctors

  Category Theory · 2016-10-06

• Category Theory 6.2: Functors in programming

  Category Theory · 2016-10-04

• Category Theory 6.1: Functors

  Category Theory · 2016-09-29

• Category Theory 5.2: Algebraic data types

  Category Theory · 2016-09-23

• Category Theory 5.1: Coproducts, sum types

  Category Theory · 2016-09-22

• Category Theory 4.2: Products

  Category Theory · 2016-09-16

• Category Theory 4.1: Terminal and initial objects

  Category Theory · 2016-09-15

• Category Theory 3.2: Kleisli category

  Category Theory · 2016-09-12

• Category Theory 3.1: Examples of categories, orders, monoids

  Category Theory · 2016-09-08

• Category Theory 2.2: Monomorphisms, simple types

  Category Theory · 2016-09-02

Everything on this page was read from markup Bartosz Milewski published — a rel="me" link, an h-card, or the feed’s own author element. Nothing was inferred from anywhere else. To correct or remove it, get in touch. Machine-readable: JSON