Cover Image

Manifold Diagrams for Higher Categories

Fuente: arXiv

Saved in:

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

Similar Items

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

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

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

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

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

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

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)

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

Model Categories and the Higher Riemann-Hilbert Correspondence
by: Galvin, Callum
Published: (2025)

Framed Polytopes and Higher Categories
by: Laplante-Anfossi, Guillaume, et al.
Published: (2025)

Promonads and String Diagrams for Effectful Categories
by: Román, Mario
Published: (2022)

String Diagrams for Closed Symmetric Monoidal Categories
by: Reader, Callum, et al.
Published: (2025)

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

Monoidal Relative Categories Model Monoidal $\infty$-Categories
by: Arakawa, Kensuke
Published: (2025)

Oriented Category Theory
by: Gepner, David, et al.
Published: (2025)

Twisted Graded Categories
by: Keidar, Shai, et al.
Published: (2025)

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

Poincaré Duality for Generalized Persistence Diagrams of (co)Filtrations
by: Patel, Amit, et al.
Published: (2022)

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

Baues-Wirsching Cohomology and Svarc Genus in Small Categories
by: Carcacía-Campos, Isaac, et al.
Published: (2025)

The Grothendieck Construction for $\infty$-Categories Fibered over Categorical Patterns
by: Arakawa, Kensuke
Published: (2024)

Towards a theory of natural directed paths
by: Gaucher, Philippe
Published: (2023)

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

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

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

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Linear Arboreal Categories
by: Abramsky, Samson, et al.
Published: (2023)

Arrow Categories of Monoidal Model Categories
by: White, David, et al.
Published: (2017)

Approximate Fibrations in Higher Topos Theory
by: Kremer, Christian, et al.
Published: (2025)

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

Drinfeld-Lau Descent over Fibered Categories
by: Di Proietto, Valentina, et al.
Published: (2020)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)

Univalent Double Categories
by: van der Weide, Niels, et al.
Published: (2023)

Tapes as Stochastic Matrices of String Diagrams
by: Bonchi, Filippo, et al.
Published: (2026)

Elgot Categories and Abacus Programs
by: Nester, Chad
Published: (2025)