UP | HOME

Category Theory DYOM

Syllabi

Click on the week to show/hide information.

Abbreviations, References, Concepts

  • AC0: Algebra: Chapter 0, first (2009) printing
  • SSC: Seven Sketches in Compositionality, arXiv:1803.05316v3
    • Suggestions
    • PS 1
      1. posets, meets & joins
      2. powersets, monotone maps, adjoints
      3. Galois connections
      4. Gricean pragmatics, adjoints
      5. monoidal preorders, wire diagrams
      6. monoidal preorders, categories, hom-objects
      7. symmetric monoidal preorders
    • PS 2
      1. meets & joins, adjoints, universal properties
      2. upper sets, Yoneda lemma, opposite categories
      3. skeletal categories, opposite categories, dagger categories, functors, metric spaces
      4. functors, preorders, monotone maps
      5. morphisms, diagrams
      6. free categories, isomorhpisms
      7. monoids, wire diagrams
      8. databases, pullbacks
    • PS 3
      1. profunctors, relations
      2. signal flow graphs
      3. rings, monoids, category of abelian groups
      4. monads, natural transformations, category of endofunctors
      5. coproducts, adjoints, products, final objects
  • 1.2.3: Section 1.2.3
  • C 1.2.3: Construction 1.2.3
  • D 1.2.3: Definition 1.2.3
  • EG 1.2.3: Example 1.2.3
  • EQ 1.2.3: Equation 1.2.3
  • EX 1.2.3: Exercise 1.2.3
  • L 1.2.3: Lemma 1.2.3
  • P 1.2.3: Proposition 1.2.3
  • PS 1: Problem Set 1
  • R 1.2.3: Remark 1.2.3
  • T 1.2.3: Theorem 1.2.3

Author: koo

Created: 2020-01-23 Thu 11:15