scientific article; zbMATH DE number 6981655

zbMath1408.18010MaRDI QIDQ4555336

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fibrationpolynomial functorlocally cartesian closed categorypseudo-distributive law2-bicategorylax-idempotent monad

Mathematics Subject Classification ID

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

Related Items

Extensional equality preservation and verified generic programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudo-distributive laws
• Two-dimensional sheaf theory
• Categorical logic and type theory
• Fibrations and partial products in a 2-category
• Descent on 2-fibrations and strongly 2-regular 2-categories
• Codescent objects and coherence
• Distributive laws for pseudomonads. II
• Monads for which structures are adjoint to units
• Polycategories via pseudo-distributive laws
• Two-dimensional regularity and exactness
• Strong functors and monoidal monads
• Locally cartesian closed categories and type theory
• Internal algebra classifiers as codescent objects of crossed internal categories
• Higher-Order Containers
• Framed bicategories and monoidal fibrations
• Polynomial functors and polynomial monads
• Polynomials in categories with pullbacks
• Aspects of topoi