Pith. sign in

REVIEW

Computing Weighted Colimits

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 1711.05903 v2 pith:JVSQEEM5 submitted 2017-11-16 math.CT

classification math.CT
keywords category-valuedpseudo-functorcategorycomputationpseudo-colimitresultweightedbicolimit
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

A well-known result of SGA4 shows how to compute the pseudo-colimit of a category-valued pseudo-functor on a 1-category. The main result of this paper gives a generalization of this computation by constructing the weighted pseudo-colimit of a category-valued pseudo-functor on a 2-category. From this is derived a computation of the weighed bicolimit of a category-valued pseudo-functor.

Discussion (0). Continue with ORCID to comment.

Pith tools