ACT4E Class ETHZ - Spring 2021

Session 1a: Introduction, why category theory, composition

Session 1b: Composition, semigroup, monoids, groups

Recital 1

  • Lecture slides available here;
  • Q&A document available here;

Session 2a: Morphisms

  • Lecture slides available here;
  • Q&A document available here;

Session 2b: Semicategories, Categories

  • Lecture slides available here;
  • Q&A document available here;

Recital 2

  • Lecture slides available here;
  • Q&A available here;

Session 3a: Relations and properties

  • Lecture slides available here;
  • Q&A document available here;

Session 3b: Processes

  • Lecture slides available here;
  • Q&A document available here;
  • We are working on the video.

Recital 3

  • Lecture slides available here;
  • Q&A document available here;

Session 4a:

  • Lecture slides available here;
  • Q&A document available here;

Session 4b:

  • Lecture slides available here;
  • Q&A document available here;

Recital 4:

  • Lecture slides available here;
  • Q&A document available here;

Session 5a: Functors

  • Lecture slides available here;
  • Q&A document available here;

Session 5b: Natural Transformations

  • Lecture slides available here;
  • No questions were asked;

Recital 5

  • Lecture slides available here;
  • Q&A document available here;

Session 6a: Parallelism, Feedback

  • Lecture slides available here;

Session 6b: Design

  • Lecture slides available here;

Recital 6:

  • Lecture slides available here;

Session 7: Functorial Computation

  • Lecture slides available here;

Recital 7

  • Lecture slides available here;

Session 8a: Monads

  • Lecture slides available here;

Session 8b: Monads (continued)

  • Lecture slides available here;

Recital 8

  • Lecture slides available here;

Session 9a: Profunctors

  • Lecture slides available here;

Session 9b: Enrichment

  • Lecture slides available here;

Recital 9

  • Lecture slides available here;

Session 10a: Operads

  • Lecture slides available here;

Session 10b: Operads (continued)

  • Lecture slides available here;

Recital 10

  • Lecture slides available here;

Session 11 - Summary

  • Lecture slides available here;

ACT4E International Class - 2021

Session 0: Introduction

This is an introductory lecture in which we explain what the ACT4E course is about, what are its goals and content, and its logistics.

  • Lecture slides available here;
  • Q&A available here;

Session 1: Transmutation

  • Lecture slides available here;
  • Q&A available here;

Session 2: Connection

  • Slides available here;
  • Q&A document available here;

Session 3: Specialization

  • Slides available here;
  • Q&A document available here;

Guest Lecture 1

Speaker: Dr. David Spivak

Title: Applied Category Theory: Towards a Science of Interdisciplinarity

  • Slides available here;
  • Q&A document available here;

Session 4: Combining

  • Slides available here;
  • Q&A document available here;

Session 5: Choosing

  • Slides available here;
  • Q&A document available here;

Session 6: Trade-offs

  • Slides available here;
  • Q&A document available here;

Guest Lecture 2

Speaker: Dr. Brendan Fong

Title: The Language of Networks

  • Slides available here;
  • Q&A document available here;

Session 7 - Life is hard

  • Slides available here;
  • Q&A document available here;

Session 8 - Duality

  • Slides available here;
  • Q&A document available here;

Session 9 - Feasibility

  • Slides available here;
  • Q&A document available here;

Guest Lecture 3

Speaker: Dr. Paolo Perrone

Title: An Introduction to Monads

  • Q&A document available here;

Session 10 - Parallelism

  • Slides available here;
  • Q&A document available here;

Session 11 - Feedback

  • Slides available here;
  • Q&A document available here;

Session 12 - Computation

  • Slides available here;
  • Q&A document available here;

Guest Lecture 4

Speaker: Prof. Michael Johnson

Title: Category Theoretic Representations of Structured and Semistructured Data

  • Q&A document available here;

Session 13 - Summary

  • Slides available here;
  • Q&A document available here;