Profunctor Optics

92 · Bartoszmilewski · July 19, 2026, 10:45 p.m.
Category theory Haskell lens Optics Functional programming Category theory data-structures Compositionality
Summary
This blog post discusses Tannakian Reconstruction and its implications for encoding in the context of functional programming, emphasizing the benefits of complex functor categories in achieving effective morphism composition.
Read full post on bartoszmilewski.com →
AUTHOR
BLOG POST FEATURED ON

Placeholder image
Hacker News

3 points

Add this plugin to your blog