https://applied-compositional-thinking.engineering/lectures/

Applied Compositional Thinking for Engineers (ACT4E)

  * Home
  * Resources
  * News
  * About
  * FAQs
  * Lectures

                           SAK_1_3703__S1

Lecture notes: The most updated version of the work-in-progress book
can be found here.

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;