Variation on a comprehensive theme

MaRDI QIDQ3382253zbMATH OpenFDO

Authors Ross H. Street

Publication date 21 September 2021

Full work available at URL https://arxiv.org/abs/2104.02887, http://www.tac.mta.ca/tac/volumes/37/29/37-29abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

fibrationbicategoryfactorization systemfinal functor

Mathematics Subject Classification ID

Categories of spans/cospans, relations, or partial maps (18B10) 2-categories, bicategories, double categories (18N10)

Abstract: The main result concerns a bicategorical factorization system on the bicategory $mathrmCat$ of categories and functors. Each functor $AxrafB$ factors up to isomorphism as $AxrajExrapB$ where $j$ is what we call an ultimate functor and $p$ is what we call a groupoid fibration. Every right adjoint functor is ultimate. Functors whose ultimate factor is a right adjoint are shown to have bearing on the theory of polynomial functors.

Recommendations

• Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
• Comprehensive factorisation systems
• scientific article; zbMATH DE number 2125649
• The comprehensive factorization of Burroni's T-functors
• scientific article; zbMATH DE number 4038058

Cites work

• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 3508697 (Why is no real title available?)
• scientific article; zbMATH DE number 872568 (Why is no real title available?)
• scientific article; zbMATH DE number 3305131 (Why is no real title available?)
• scientific article; zbMATH DE number 3334211 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Adjointness in Foundations
• Categories of continuous functors. I
• Formal category theory: Adjointness for 2-categories
• Introduction to bicategories
• Polynomials as spans
• Polynomials in categories with pullbacks
• Proper factorization systems in 2-categories
• The comprehensive factorization and torsors
• The comprehensive factorization of a functor
• The petit topos of globular sets
• Yoneda structures on 2-categories

Cited in

(5)

• The comprehensive factorization of Burroni's T-functors
• Variations on the bagdomain theme
• Polynomials as spans
• scientific article; zbMATH DE number 35096 (Why is no real title available?)
• Comprehensive factorisation systems

This page was built for publication: Variation on a comprehensive theme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3382253)