Explore advanced functional programming concepts in this 54-minute Topos Institute Colloquium talk that delves into locally graded categories, parametric optics, and their application in neural network modeling. Learn how to extend these concepts to pre-optics through a detailed examination of parametric profunctor representation, culminating in a practical demonstration of perceptron implementation using Haskell programming language.
Overview
Syllabus
Bartosz Milewski: "Parametric Profunctor Preoptics"
Taught by
Topos Institute