Video Series: Category Theory

source: Category Theory for Programmers by Bartosz Milewski

• set theory

• category theory

  • categories
  • object
  • morphism

• Curry-Howard isomorphism

• void and unit form the basis for all types
• empty set and the void type
• singleton set and the unit type

Backlinks

• Category Theory
  • Video Series: Category Theory
• Topic: Set Theory
  • [^1]: Category theory for programmers
• Topic: Purescript
  • Video Series: Category Theory for Programmers - Bartosz Milewski
• Void Type
  • Video Series: Category Theory
• A category with a single object is a monoid
  • Category Theory 3.1 / Bartosz Milewski
• A set-theory monoid and a category-theory monoid are the same thing
  • Category Theory 3.1 / Bartosz Milewski
• Initial Object
  • Video Series: Category Theory
• Graphs can represent a category
  • Video series: Category Theory
• Any graph can be made into a category
  • Video series: Category Theory
• The Empty Category
  • Video Series: Category Theory
• Notes
  • Video Series : Category Theory for Programmers - Bartosz Milewski