Double Fibrations
Category Theory
2022-05-31 v1
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.
Keywords
Cite
@article{arxiv.2205.15240,
title = {Double Fibrations},
author = {Geoffrey Cruttwell and Michael Lambert and Dorette Pronk and Martin Szyld},
journal= {arXiv preprint arXiv:2205.15240},
year = {2022}
}
Comments
59 pages