Pith. sign in

REVIEW

Discrete 2-Fibrations

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

arxiv 2001.11477 v1 pith:CXWSXXEK submitted 2020-01-30 math.CT

classification math.CT
keywords discretefibrationsanaloguecategoriescategorycategory-valuedcertainconcerned
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

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.

Discussion (0). Continue with ORCID to comment.

Pith tools