nLab applications of double category theory

A list of works and resources about applications of double category theory.

See there for introductory material.

Theory

Equipments

Grothendieck constructions

  • Evan Patterson, Grothendieck construction for double categories, (Topos Institute), 2022
  • Cruttwell, Lambert, Pronk, Szyld, Double Fibrations, (arXiv), 2022

Applications

Lenses & optics

  • Bryce Clarke, The double category of lenses, (online), 2022
  • Capucci, Seeing double through dependent optics, (arXiv), 2022
  • Guillaume Boisseau, Chad Nester, Mario Roman, Cornering optics,(arXiv), 2022

Open systems theory

Theory of programming languagues

  • Pierre-Evariste Dagand, Conor McBride, A Categorical Treatment of Ornaments, (acm), 2013
  • Max New, Dan Licata, Call-by-name Gradual Type Theory, (arXiv), 2018
  • Max New, Dan Licata, A Formal Logic for Formal Category Theory, (arXiv), 2022

Last revised on January 9, 2023 at 12:30:56. See the history of this page for a list of all contributions to it.