Cover Image

Higher inductive types in $(\infty,1)$-categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Uemura, Taichi
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science Logic 18A40 (Primary) 18C35, 18N60 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

Axioms for the category of sets and relations
by: Kornell, Andre
Published: (2023)

An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024)

An elementary definition of opetopic sets
by: Uemura, Taichi
Published: (2025)

Partializations of Markov categories
by: Mohammed, Areeb Shah
Published: (2025)

Deformation Theory for $(\infty,n)$-categories
by: Kositsyn, Roman
Published: (2025)

On $2$-categorical $\infty$-cosmoi
by: Bourke, John, et al.
Published: (2023)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

Homotopy Languages
by: Martínez, César Bardomiano, et al.
Published: (2025)

Colimits in the $\infty$-category of $\infty$-topoi and étale morphisms
by: Uemura, Taichi
Published: (2025)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
by: Quigley, Daniel
Published: (2024)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

Models for rational $(\infty, 1)$-categories
by: Chatzitheodoridis, Eleftherios
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
Published: (2026)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Hom $ω$-categories of a computad are free
by: Benjamin, Thibaut, et al.
Published: (2024)

Derived mapping spaces of $\infty$-categories
by: Arakawa, Kensuke, et al.
Published: (2025)

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Combinatorial model categories are equivalent to presentable quasicategories
by: Pavlov, Dmitri
Published: (2021)

Double categorical model of $(\infty,1)$-categories
by: Guetta, Léonard, et al.
Published: (2024)

Free colimit completion in $\infty$-categories
by: Rezk, Charles
Published: (2022)

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

Cofibrant generation of pure monomorphisms in presheaf categories
by: Cox, Sean, et al.
Published: (2025)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

An Enriched Approach to the Strictification of $(\infty,1)$-Categories
by: Strong, Kimball
Published: (2025)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

Nerves of enriched categories via necklaces
by: Mertens, Arne
Published: (2024)

Limits and colimits of synthetic $\infty$-categories
by: Martínez, César Bardomiano
Published: (2022)

First-order homotopical logic
by: Helfer, Joseph
Published: (2019)

Colimits of internal categories
by: Hughes, Calum, et al.
Published: (2025)

Computads for generalised signatures
by: Markakis, Ioannis
Published: (2023)