nLab double fibration

Double fibrations

Double fibrations

1. Idea

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

2. References

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