Skip to content

Latest commit

 

History

History
34 lines (28 loc) · 2.27 KB

README.md

File metadata and controls

34 lines (28 loc) · 2.27 KB

Awesome Double Categories

A list of works and resources about double category theory, with a particular focus on applications. (If you'd like to add more, edit this nLab page)

Introductions & references

Theory

General

Equipments

Grothendieck constructions

Applications

Lenses & optics

Open systems theory