Category Theory II 9.1: Lenses

Category Theory II 9.1: Lenses

Bryce Clarke: "Constructing lenses in double categories"See more

Bryce Clarke: 'Constructing lenses in double categories'

Brendan Fong: A categorical introduction to profunctor optics, Part 1.See more

Brendan Fong: A categorical introduction to profunctor optics, Part 1.

Category Theory For Beginners: Fibrations and LensesSee more

Category Theory For Beginners: Fibrations and Lenses

Category Theory 9.1: Natural transformationsSee more

Category Theory 9.1: Natural transformations

Why greatest Mathematicians are not trying to prove Riemann Hypothesis? || #short #terencetao #mathsSee more

Why greatest Mathematicians are not trying to prove Riemann Hypothesis? || #short #terencetao #maths

Category Theory II 9.2: Lenses categoricallySee more

Category Theory II 9.2: Lenses categorically

Category Theory for Programmers: Chapter 9 - Function TypesSee more

Category Theory for Programmers: Chapter 9 - Function Types

Intro to Category Theory II: Elementary ExamplesSee more

Intro to Category Theory II: Elementary Examples

Tutorial on Category Theory: Part 1 – Pure and ClassicalSee more

Tutorial on Category Theory: Part 1 – Pure and Classical

A satisfying chemical reactionSee more

A satisfying chemical reaction

Bruno Gavranovic: Space-time tradeoffs of lenses and optics via higher category theorySee more

Bruno Gavranovic: Space-time tradeoffs of lenses and optics via higher category theory

(Clarke) — Internal Lenses as Functors and CofunctorsSee more

(Clarke) — Internal Lenses as Functors and Cofunctors

Intro to Category TheorySee more

Intro to Category Theory

Category Theory Part 1 of 3: CategoriesSee more

Category Theory Part 1 of 3: Categories

Mitchell Riley: Categories of OpticsSee more

Mitchell Riley: Categories of Optics

Look at the REAL Human Eye | #shorts #eyesSee more

Look at the REAL Human Eye | #shorts #eyes

News