BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Michael Lambert appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
Presheaves on a small category are well-known to correspond via a category of elements construction to ordinary discrete fibrations over that same small category. Work of R. Paré proposes that presheaves on a small double category are certain lax functors valued in the double category of sets with spans. This paper isolates the discrete fibration concept corresponding to this presheaf notion and shows that the category of elements construction introduced by Paré leads to an equivalence of virtual double categories.
This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain category-valued 2-functors. The ultimate goal of the paper is to show that discrete 2-fibrations are 2-monadic over a slice of the 2-category of categories.