nLab double fibration

Double fibrations

Double fibrations

Idea

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

References

Created on February 22, 2024 at 23:27:44. See the history of this page for a list of all contributions to it.