Copertina

Internal languages of locally cartesian closed $(\infty,1)$-categories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Cherradi, El Mehdi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Category Theory Algebraic Topology Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Interpreting type theory in a quasicategory: a Yoneda approach
di: Cherradi, El Mehdi
Pubblicazione: (2022)

Flat functors in the context of fibration categories
di: Cherradi, El Mehdi
Pubblicazione: (2026)

Generalized Reedy diagrams in tribes
di: Cherradi, El Mehdi
Pubblicazione: (2026)

Semi-cubical tribes
di: Cherradi, El Mehdi
Pubblicazione: (2026)

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

Higher presentable categories and limits
di: Aoki, Ko
Pubblicazione: (2025)

Presentation of finite Reedy categories as localizations of finite direct categories
di: Sato, Genki
Pubblicazione: (2025)

A local-global principle for parametrized $\infty$-categories
di: Heine, Hadrian
Pubblicazione: (2024)

Enriched $\infty$-categories as marked module categories
di: Reutter, David, et al.
Pubblicazione: (2025)

Modal Fracture of Higher Groups
di: Myers, David Jaz
Pubblicazione: (2021)

Choice axioms and Postnikov completeness
di: Anel, Mathieu, et al.
Pubblicazione: (2024)

Basic Category Theory
di: Leinster, Tom
Pubblicazione: (2016)

Higher geometric sheaf theories
di: Stenzel, Raffael
Pubblicazione: (2022)

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

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

Path Types in Algebraic Type Theory
di: Awodey, Steve, et al.
Pubblicazione: (2026)

Positselski duality in $\infty$-categories
di: Aambø, Torgeir
Pubblicazione: (2024)

On bi-enriched $\infty$-categories
di: Heine, Hadrian
Pubblicazione: (2024)

Weak cartesian properties of simplicial sets
di: Constantin, Carmen, et al.
Pubblicazione: (2021)

Globalizing and stabilizing global $\infty$-categories
di: Linskens, Sil
Pubblicazione: (2024)

On k-invariants for $(\infty, n)$-categories
di: Harpaz, Yonatan, et al.
Pubblicazione: (2020)

Relative elegance and cartesian cubes with one connection
di: Cavallo, Evan, et al.
Pubblicazione: (2022)

Fully faithful functors and pushouts of $\infty$-categories
di: Haine, Peter J., et al.
Pubblicazione: (2025)

Classifying anima of condensed $\infty$-categories of points
di: Haine, Peter J.
Pubblicazione: (2026)

A monoidal Grothendieck construction for $\infty$-categories
di: Ramzi, Maxime
Pubblicazione: (2022)

Straightening for lax transformations and adjunctions of $(\infty,2)$-categories
di: Abellán, Fernando, et al.
Pubblicazione: (2024)

The Morita $(\infty,2)$-category of a monoidal category as a $2$-complicial set
di: Dutta, Arghan, et al.
Pubblicazione: (2025)

An equivalence between two models of $\infty$-categories of enriched presheaves
di: Heine, Hadrian
Pubblicazione: (2023)

Discreteness and completeness for $Θ_n$-models of $(\infty,n)$-categories
di: Bergner, Julia E.
Pubblicazione: (2022)

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

From Hopf Algebras in Model Categories to Hopf Algebras in $\infty$-categories
di: Klang, Inbar, et al.
Pubblicazione: (2025)

Free fibrations, lax colimits and Kan extensions for $(\infty,2)$-categories
di: Abellán, Fernando, et al.
Pubblicazione: (2026)

Coproduct idempotent algebras over internal operads in enriched $\infty$-categories
di: Mocchetti, Federico Ernesto
Pubblicazione: (2024)

Comparing dg category models for path spaces via $A_\infty$-functors
di: Rivera, Manuel, et al.
Pubblicazione: (2025)

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

Dualizable presentable $\infty$-categories
di: Ramzi, Maxime
Pubblicazione: (2024)

Locally rigid $\infty$-categories
di: Ramzi, Maxime
Pubblicazione: (2024)

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

Manifold Diagrams for Higher Categories
di: Heidemann, Lukas
Pubblicazione: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)