Variation on a comprehensive theme

zbMATH Open1470.18026arXiv2104.02887MaRDI QIDQ3382253FDOQ3382253

Ross H. Street

Publication date: 21 September 2021

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.

Full work available at URL: https://arxiv.org/abs/2104.02887

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories of continuous functors. I
• The comprehensive factorization of a functor
• Introduction to bicategories
• Yoneda structures on 2-categories
• Polynomials in categories with pullbacks
• Adjointness in Foundations
• The petit topos of globular sets
• Formal category theory: Adjointness for 2-categories
• Proper factorization systems in 2-categories
• Polynomials as spans

Cited In (3)

• Variations on the bagdomain theme
• Polynomials as spans
• The comprehensive factorization of Burroni's T-functors

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)