A Cartesian bicategory of polynomial functors in homotopy type theory
From MaRDI portal
Publication:6653748
DOI10.4204/eptcs.351.5MaRDI QIDQ6653748
Maxime Lucas, Eric Finster, Samuel Mimram, Thomas Seiller
Publication date: 17 December 2024
Topological categories, foundations of homotopy theory (55U40) Type theory (03B38) (infty)-operads and higher algebra (18N70)
Cites Work
- Title not available (Why is that?)
- Polynomial functors and opetopes
- Normal functors, power series and \(\lambda\)-calculus
- Analytic functors between presheaf categories over groupoids
- Data Types with Symmetries and Polynomial Functors over Groupoids
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Eilenberg-MacLane spaces in homotopy type theory
- Polynomial functors and polynomial monads
- Quantitative domains, groupoids and linear logic
- Algebraic models of simple type theories
- Polynomials in categories with pullbacks
- Indexed containers
- Homotopy Type Theory: Univalent Foundations of Mathematics
- The cartesian closed bicategory of generalised species of structures
- Two applications of analytic functors
Related Items (1)
This page was built for publication: A Cartesian bicategory of polynomial functors in homotopy type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653748)
