A version of a Grothendieck fibration for double categories. There are several possible definitions; see the 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
Created on February 22, 2024 at 23:27:44. See the history of this page for a list of all contributions to it.