Cover Image

Polynomials in homotopy type theory as a Kleisli category

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harington, Elies, Mimram, Samuel
Format:	Preprint
Published:	2024
Subjects:	Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Delooping presented groups in homotopy type theory
by: Champin, Camil, et al.
Published: (2024)

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

Abstract Kleisli Structures on 2-categories
by: Miranda, Adrian
Published: (2024)

Rewriting techniques for relative coherence
by: Mimram, Samuel
Published: (2024)

Premonoidal and Kleisli double categories
by: Femić, Bojana
Published: (2024)

Stable homotopy theory of higher categories
by: Heine, Hadrian
Published: (2026)

Realization of relational presheaves
by: Chamoun, Yorgo, et al.
Published: (2025)

Kleisli semantics and hypergraph composition for Greimasian narrative programs
by: Fowler, Michael
Published: (2026)

Revisiting colimits in $\mathbf{Cat}$ and homotopy category
by: Mann, Varinderjit
Published: (2026)

Discrete differential geometry in homotopy type theory
by: Langmead, Greg
Published: (2025)

Kleisli categories, T-categories and internal categories
by: Bourn, Dominique
Published: (2024)

Polynomial functors in π-clans for the semantics of type theory
by: Hua, Joseph, et al.
Published: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Diagrammatic category theory
by: Nakahira, Kenji
Published: (2023)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

Deformations of homotopy theories via algebraic theories
by: Balderrama, William
Published: (2021)

Quillen equivalence for chain homotopy categories induced by balanced pairs
by: Hu, Jiangsheng, et al.
Published: (2025)

Calculating monad transformers with category theory
by: Manzyuk, Oleksandr
Published: (2025)

Presheaves of groupoids as models for homotopy types
by: Guetta, Léonard
Published: (2022)

On the equivalence of two approaches to multiplicative homotopy theories
by: Arakawa, Kensuke
Published: (2026)

The first step towards symplectic homotopy theory
by: Oganesyan, Vardan
Published: (2023)

Computads for weak $ω$-categories as an inductive type
by: Dean, Christopher J., et al.
Published: (2022)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
by: Corbyn, Nathan, et al.
Published: (2024)

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

Enriched Morita theory of monoids in a closed symmetric monoidal category
by: Lee, Jaehyeok, et al.
Published: (2023)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

Global homotopy theory via partially lax limits
by: Linskens, Sil, et al.
Published: (2022)

Naive homotopy theories in cartesian closed categories
by: Hernández, Enrique Ruiz, et al.
Published: (2024)

Sweedler theory for double categories
by: Aravantinos-Sotiropoulos, Vasileios, et al.
Published: (2024)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
by: Almeida, Daniel
Published: (2026)

Dwyer-Kan homotopy theory of enriched categories
by: Muro, Fernando
Published: (2012)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

Extriangulated length categories: torsion classes and $τ$-tilting theory
by: Wang, Li, et al.
Published: (2025)

On the equivalence invariance of formal category theory
by: Verdugo, Paula
Published: (2025)

Cartesian differential categories as skew enriched categories
by: Garner, Richard, et al.
Published: (2020)

Finiteness and finite domination in stratified homotopy theory
by: Volpe, Marco
Published: (2024)

Every theory is eventually of presheaf type
by: Espíndola, Christian, et al.
Published: (2023)

A monoidal category of dependently sorted algebraic theories I: syntax
by: Almeida, Daniel
Published: (2025)

Colimits and cocompletions in internal higher category theory
by: Martini, Louis, et al.
Published: (2021)