Cover Image

Choice axioms and Postnikov completeness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Anel, Mathieu, Barton, Reid
Format:	Preprint
Published:	2024
Subjects:	Algebraic Topology Category Theory Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The category of $π$-finite spaces
by: Anel, Mathieu
Published: (2021)

Homotopy Posets, Postnikov Towers, and Hypercompletions of $\infty$-Categories
by: Gepner, David, et al.
Published: (2026)

Modal Fracture of Higher Groups
by: Myers, David Jaz
Published: (2021)

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

Basic Category Theory
by: Leinster, Tom
Published: (2016)

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

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

Higher geometric sheaf theories
by: Stenzel, Raffael
Published: (2022)

$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)

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

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

Left-exact Localizations of $\infty$-Topoi III: The Acyclic Product
by: Anel, Mathieu, et al.
Published: (2023)

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

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

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

Profinite completions of products
by: Haine, Peter J.
Published: (2024)

Profinite completions of topological operads
by: Blom, Thomas, et al.
Published: (2023)

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

Reflecting compact $T_1$-spaces into bounded distributive lattices
by: Gehrke, Mai, et al.
Published: (2024)

Codensity: Isbell duality, pro-objects, compactness and accessibility
by: Di Liberti, Ivan
Published: (2019)

Overlap Algebras as Almost Discrete Locales
by: Ciraulo, Francesco
Published: (2016)

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

$(\infty,2)$-Topoi and descent
by: Abellán, Fernando, et al.
Published: (2024)

Path spaces of pushouts
by: Wärn, David
Published: (2024)

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

PROPs associated to Lawvere theories and their relation to polynomial functors
by: Kim, Minkyu
Published: (2024)

Sectional number of a morphism
by: Zapata, Cesar A. Ipanaque
Published: (2024)

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

Schwarz Modular Operads Revisited: $\mathcal{SM}=\mathcal{S}\circ\mathcal{M}$
by: Kaufmann, Ralph M., et al.
Published: (2024)

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

Unital k-Restricted Infinity-Operads
by: Dubey, Amartya Shekhar, et al.
Published: (2024)

Finite combinatorics implicit in the basic definitions of topology
by: Gavrilovich, Misha
Published: (2024)

Higher categories
by: Haugseng, Rune
Published: (2024)

Operadic Fibrations and Unary Operadic 2-categories
by: Trnka, Dominik
Published: (2024)

The decomposition space perspective
by: Hackney, Philip
Published: (2024)

Classification of localizing subcategories along t-structures
by: Aambø, Torgeir
Published: (2024)

On The Telescopic Picard Group
by: Keidar, Shai
Published: (2024)

Uniqueness and $(\infty,2)$-Naturality of Yoneda
by: Ben-Moshe, Shay
Published: (2024)

On bi-enriched $\infty$-categories
by: Heine, Hadrian
Published: (2024)