Applied Category Theory (January IAP 2019)

Chapter 1: Generative Effects: Orders and Adjunctions Part 1

Chapter 1: Generative Effects: Orders and Adjunctions Part 2

Chapter 2: Resources: Monoidal Preorders and Enrichment Part 1

Chapter 2: Resources: Monoidal Preorders and Enrichment Part 2

Chapter 3: Databases: Categories, Functors, and (Co)Limits Part 1

Chapter 3: Databases: Categories, Functors, and (Co)Limits Part 2

Chapter 4: Co-design: Profunctors and Monoidal Categories Part 1

Chapter 4: Co-design: Profunctors and Monoidal Categories Part 2

Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs Part 1

Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs Part 2

Chapter 6: Circuits: Hypergraph Categories and Operads Part 1

Chapter 6: Circuits: Hypergraph Categories and Operads Part 2

Chapter 7: Logic of Behavior: Sheaves, Toposes, Languages Part 1

Chapter 7: Logic of Behavior: Sheaves, Toposes, Languages Part 2