UP | HOME

Week 3

Schedule

Summary Solutions Time (min)
Lecture 4    
* poset (0:44)    
* preorder \(\cong\) poset (1:46)    
* monoidal preorder (3:50)    
* symmetric monoidal preorder (12:15)    
* \(\mathcal{V}\)-category (24:20)    
* metric space (39:08)    
SSC: Chapter 2 * EX 2.82 10
* \(\mathcal{V}\)-category (D 2.46) * EX 2.84 5
* \(\mathbf{Bool}\)-category \(\cong\) preorder, \(\mathbf{Bool}\)-category is enriched in \(\mathbf{Bool}\) (T 2.49) * EX 2.93 5
* monoidal monotone between symmetric monoidal preorders changes base of enrichment (C 2.64) * PS2 Q1 10
* \(\mathcal{V}\)-functor (D 2.69) * PS2 Q2 10
* \(\mathbf{Bool}\)-functor \(\cong\) monotone map between preorders (EG 2.70) * PS2 Q3 5
* \(\mathcal{V}\)-product (D 2.74) * PS2 Q4 10
* monoidal closed preorder (D 2.79)    
* reasoning about resources (P 2.87)    
* self-enriched category (R 2.89)    
* unital commutative quantale (D 2.90)    
* personification of a unital commutative quantale (R 2.95)    
* generalization of Hausdorff distance from \(\mathbf{Cost}\) to any quantale (R 2.97)    
* the adjoint functor theorem and symmetric monoidal preorder with all joins (P 2.98)    
Total   55

Notes

Author: koo

Created: 2020-01-13 Mon 14:36