scientific article; zbMATH DE number 6981655

MaRDI QIDQ4555336zbMATH OpenFDO

Authors Tamara von Glehn

Publication date 20 November 2018

Full work available at URL http://www.tac.mta.ca/tac/volumes/33/36/33-36abs.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

2-bicategoryfibrationlax-idempotent monadlocally cartesian closed categorypolynomial functorpseudo-distributive law

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Fibered categories (18D30)

Recommendations

• Polycategories via pseudo-distributive laws
• Factorization systems induced by weak distributive laws
• Distributive laws for pseudomonads. II
• scientific article; zbMATH DE number 2172971
• Pseudo-distributive laws
• Pseudo-categories
• Polynomial functors and polynomial monads
• A monadic approach to polycategories
• Pseudo-commutative monads
• Monads in double categories

Cites work

• Aspects of topoi
• Categorical logic and type theory
• Codescent objects and coherence
• Coherence for pseudodistributive laws revisited
• Descent on 2-fibrations and strongly 2-regular 2-categories
• Distributive laws for pseudomonads. II
• Fibrations and partial products in a 2-category
• Framed bicategories and monoidal fibrations
• Higher-order containers
• scientific article; zbMATH DE number 431766 (Why is no real title available?)
• scientific article; zbMATH DE number 3783245 (Why is no real title available?)
• scientific article; zbMATH DE number 3512374 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 1271223 (Why is no real title available?)
• scientific article; zbMATH DE number 1289305 (Why is no real title available?)
• scientific article; zbMATH DE number 1129148 (Why is no real title available?)
• scientific article; zbMATH DE number 1956503 (Why is no real title available?)
• scientific article; zbMATH DE number 1389226 (Why is no real title available?)
• scientific article; zbMATH DE number 3335071 (Why is no real title available?)
• scientific article; zbMATH DE number 4187810 (Why is no real title available?)
• Internal algebra classifiers as codescent objects of crossed internal categories
• Kan extensions and lax idempotent pseudomonads
• Locally cartesian closed categories and type theory
• Monads for which structures are adjoint to units
• Polycategories via pseudo-distributive laws
• Polynomial functors and polynomial monads
• Polynomials in categories with pullbacks
• Pseudo-distributive laws
• Strong functors and monoidal monads
• The Dialectica monad and its cousins
• Two-dimensional regularity and exactness
• Two-dimensional sheaf theory

Cited in

(13)

• On the generic solution to \(P(X)\cong X\) in distributive categories
• Universal properties of bicategories of polynomials
• Polycategories via pseudo-distributive laws
• scientific article; zbMATH DE number 2172971 (Why is no real title available?)
• Polynomial functors and polynomial monads
• Local fibred right adjoints are polynomial
• Extensional equality preservation and verified generic programming
• 2-dimensional bifunctor theorems and distributive laws
• Polynomials as spans
• Polynomials in categories with pullbacks
• Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories
• A Cartesian bicategory of polynomial functors in homotopy type theory
• Free extensivity via distributivity

This page was built for publication:

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