Graph explorer

Double Fibrations

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.

6 nodes5 linksoverview previewDouble Fibrations
6 nodes5 links
Double Fibrations6 visible / 6 total nodes / 11 links
Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalWDouble Fibrationspreprint / 2022AGeoffrey CruttwellResearcherAMichael LambertResearcherADorette PronkResearcherAMartin SzyldResearcherTmath.CT1150 works
PaperSignal 105 links

Double Fibrations

preprint / 2022

Open