Mario Román

❯

❯

Sync minimal lens span

Sync-minimal lens span

Aug 15, 20231 min read

sync-minimal-lens-span

cofunctor
Functor lens
Universal Properties of Proxy Pullbacks (Di Meglio)

Graph View

Backlinks

Cofunctor

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID