UP | HOME

Week 2

Schedule

Summary Solutions Time (min)
Lecture 3    
* adjunctions (2:20)    
* monoidal set (15:10)    
* monoidal poset (18:25)    
* wiring diagrams (27:35)    
* discard axiom (39:35)    
* copy axiom (43:43)    
AC0: Chapter I    
* injections, surjections, bijections, second viewpoint and fibrations (2.5)   5
* monomorhpisms and epimorphisms (2.6)   5
* natural projections, natural injections, canonical projection to quotient set (2.7)   5
* canonical decomposition (2.8)   5
* isomorphism between definitions of disjoint union of sets (2.9)   5
* preorder in terms of a category (EG 3.3)   5
* EG 3.3, but coslice categories (EG 3.6)   5
* EG 3.6, but "bi-coslice" categories (EG 3.9)   5
* universal properties and final objects (5.2)   5
SSC: Chapter 2 * EX 2.34 5
* symmetric monoidal preorder (D 2.2) * EX 2.43 10
* discard and copy axioms (2.2.3) * EX 2.44 10
* monoidal monotone (D 2.41) * PS1 Q5 5
  * PS1 Q6 5
Total   80

Notes

  • monoidal monotone (D 2.41)
    • preserves monoidal product under ordering

Author: koo

Created: 2020-01-13 Mon 14:36