REVIEW 1 cited by
Fibred 2-categories and bicategories
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2-Cat. Fibred bicategories correspond to trihomomorphisms from a bicategory into Bicat. We describe the Grothendieck construction for each kind of fibration and present a few examples of each. Fibrations in our sense, between bicategories, are closed under composition and are stable under equiv-comma. The free such fibration on a homomorphism is obtained by taking an oplax comma along an identity.
Forward citations
Cited by 1 Pith paper
-
From Grothendieck cofibrations to factorization systems: a formal 2-monadic account
Transport along a cofibration is converted, by a change of 2-monads, into the cocartesian–vertical factorization of arrows in the total category.
Discussion (0). Continue with ORCID to comment.