Bartosz Milewski: "Parametric Profunctor Preoptics"

Topos Institute Colloquium, 13th of June 2024.
---
Locally graded categories and parametric optics provide a compositional model of neural networks. I will show how to generalize this approach to pre-optics. I'll introduce a parametric profunctor representation of preoptics and use it to implement a perceptron in Haskell.