Introduction to Profunctor Optics

Abstract: Set-valued functors are a categorical answer to linear algebra. I will introduce profunctors and (co-)end calculus, and show how to use them to describe existential optics and their Tambara-based representations.

category theory

Audience: researchers in the topic

( slides | video )

Intercats: Seminar on Categorical Interaction