Cover Image

A type-theoretic definition of lax $(\infty,\infty)$-limits

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Mikhail, Thomas Jan
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science Algebraic Topology Logic 18N65, 03B38
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

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

A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)

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

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

Beyond Eckmann-Hilton: Commutativity in Higher Categories
by: Benjamin, Thibaut, et al.
Published: (2025)

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

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

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

Ext groups in Homotopy Type Theory
by: Christensen, J. Daniel, et al.
Published: (2023)

Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
by: van Woerkom, Wijnand, et al.
Published: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
by: Perutka, Tomáš
Published: (2026)

Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Limits of $(\infty, 1)$-categories with structure and their lax morphisms
by: Ko, Joanna
Published: (2025)

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

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

Revisiting $(\infty,2)$-naturality of the Yoneda embedding
by: Lenz, Tobias
Published: (2025)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

Cores and localizations of $(\infty,\infty)$-categories
by: Ozornova, Viktoriya, et al.
Published: (2026)

Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

A strengthened $(\infty, n)$-categorical pasting theorem
by: Chanavat, Clémence
Published: (2026)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Projective Presentations of Lex Modalities
by: Williams, Mark Damuni
Published: (2025)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

Cartesian Fibrations of $(\infty,2)$-categories
by: Gagna, Andrea, et al.
Published: (2021)

Higher presentable categories and limits
by: Aoki, Ko
Published: (2025)

Algebraic Type Theory, Part 1: Martin-Löf algebras
by: Awodey, Steve
Published: (2025)

A homotopy coherent nerve for $(\infty,n)$-categories
by: Moser, Lyne, et al.
Published: (2022)

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

Categorical spectra as pointed $(\infty,\mathbb{Z})$-categories
by: Kern, David
Published: (2024)