Double Fibrations
From MaRDI portal
Abstract: This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and discrete double fibrations, proves a representation theorem for double fibrations, and shows how double fibrations are a type of internal fibration.
This page was built for publication: Double Fibrations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6400590)