Category Theory. Lecture 6. (Co)end calculus

Category Theory. Lecture 6. (Co)end calculus

Category Theory - Lecture 6 Part 2See more

Category Theory - Lecture 6 Part 2

Category Theory III 7.2, CoendsSee more

Category Theory III 7.2, Coends

Mario Román: Profunctor optics, a categorical updateSee more

Mario Román: Profunctor optics, a categorical update

Category theory (2022-23): Lecture 6See more

Category theory (2022-23): Lecture 6

Programming with Categories - Lecture 6See more

Programming with Categories - Lecture 6

Mario Román: Open Diagrams via Coend CalculusSee more

Mario Román: Open Diagrams via Coend Calculus

Adjunctions 6See more

Adjunctions 6

Category Theory Lecture 6 (NGA CoE-MaSS) #dualitySee more

Category Theory Lecture 6 (NGA CoE-MaSS) #duality

Category Theory II 6.1: Examples of AdjunctionsSee more

Category Theory II 6.1: Examples of Adjunctions

Category Theory III 7.1, Natural transformations as endsSee more

Category Theory III 7.1, Natural transformations as ends

Categories 5 Limits and colimitsSee more

Categories 5 Limits and colimits

Ends 1See more

Ends 1

Category Theory 6.2: Functors in programmingSee more

Category Theory 6.2: Functors in programming

General limits and colimits 1See more

General limits and colimits 1

Category Theory Part 1 of 3: CategoriesSee more

Category Theory Part 1 of 3: Categories

Category Theory III 6.2, EndsSee more

Category Theory III 6.2, Ends

News