Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
Compatible squares of functor lenses
Compatible squares of functor lenses
Jul 24, 2025
1 min read
References.
Universal Properties of Proxy Pullbacks (Di Meglio)
Graph View
Backlinks
Cofunctor