nLab double fibration

1. Idea

A version of a Grothendieck fibration for double categories. There are several possible definitions; see the references.

2. References

• Michael Lambert, Discrete double Fibrations (arXiv:2101.06734), 2021.

• Geoffrey Cruttwell, Michael Lambert, Dorette Pronk, Martin Szyld, Double Fibrations (arXiv:2205.15240), 2022.

• Benedikt Fröhlich, Lyne Moser, Yoneda lemma and representation theorem for double categories, (arXiv:2402.10640), 2024