Session 20 CMPT898 -- Profunctors 4: 𝓥-Categories, diagrams, distance, reachability&modality calcs.

Session 20 CMPT898 -- Profunctors 4: 𝓥-Categories, diagrams, distance, reachability&modality calcs.See more

Category Theory for Programmers: Chapter 8 - Functoriality (Bifunctors, Profunctors & More)See more

Session 19 CMPT898 -- Profunctors 3: Symmetric monoidal preorders & Wiring Diagrams, 𝓥-CategoriesSee more

Category Theory 7.2: Monoidal Categories, Functoriality of ADTs, ProfunctorsSee more

Session 4 CMPT 898-Programming w/Categories Lec4 -- Functors as Structure Preserving Maps 2See more

Category Theory for Programmers: Chapter 1 - CategorySee more

Session 17 CMPT898 -- Profunctors 1See more

Profunctor Optics: The Categorical Approach - Bartosz MilewskiSee more

A Sensible Introduction to Category TheorySee more

CMPT898 Session 23 -- General Discussion on ProfunctorsSee more

Session 22 CMPT898 -- Profunctors 6: A Categorical View of Profunctor OpticsSee more

Category Theory for Programmers: Chapter 7 - Functors (by Example)See more

Intuitive Introduction to Category TheorySee more

Category Theory for Programmers: Chapter 10 - Natural TransformationsSee more

News