:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Dean, Christopher J., Finster, Eric, Markakis, Ioannis, Reutter, David, Vicary, Jamie
Format:	Preprint
Published:	2022
Subjects:	Category Theory
Online Access:	https://arxiv.org/abs/2208.08719
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

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

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)

A Syntax for Strictly Associative and Unital $\infty$-Categories
by: Finster, Eric, et al.
Published: (2023)

Naturality for higher-dimensional path types
by: Benjamin, Thibaut, et al.
Published: (2025)

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

A layout algorithm for higher-dimensional string diagrams
by: Tataru, Calin, et al.
Published: (2023)

The theory and applications of anticolimits
by: Tataru, Calin, et al.
Published: (2024)

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

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

Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
by: Hu, Nick, et al.
Published: (2021)

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

$ω$-weak equivalences between weak $ω$-categories
by: Fujii, Soichiro, et al.
Published: (2024)

The complicial model of $(\infty,ω)$-categories
by: Loubaton, Félix
Published: (2022)

From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
by: Claeys, Pieter W., et al.
Published: (2023)

Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure
by: Reutter, David
Published: (2020)

Semisimple Field Theories Detect Stable Diffeomorphism
by: Reutter, David, et al.
Published: (2022)

Weakly invertible cells in a weak $ω$-category
by: Fujii, Soichiro, et al.
Published: (2023)

Computads and string diagrams for $n$-sesquicategories
by: Araújo, Manuel
Published: (2022)

$ω$-equifibrations between strict and weak $ω$-categories
by: Fujii, Soichiro, et al.
Published: (2025)

How to build a Hopf algebra
by: Johnson-Freyd, Theo, et al.
Published: (2025)

Admissible weak factorization systems on extriangulated categories
by: Ma, Yajun, et al.
Published: (2024)

A braided monoidal $(\infty,2)$-category of Soergel bimodules
by: Liu, Yu Leon, et al.
Published: (2024)

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

A 3-categorical perspective on G-crossed braided categories
by: Jones, Corey, et al.
Published: (2020)

Quantaloid-enriched categories: Factorization, weak classifiers, and symmetry
by: García, Javier Gutiérrez, et al.
Published: (2025)

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

Categorical Theory of $(\infty,ω)$-Categories
by: Loubaton, Félix
Published: (2024)

Orbital categories and weak indexing systems
by: Stewart, Natalie
Published: (2024)

Polynomials in homotopy type theory as a Kleisli category
by: Harington, Elies, et al.
Published: (2024)

The passage among the subcategories of weakly approximable triangulated categories
by: Canonaco, Alberto, et al.
Published: (2024)

An inductive model structure for strict $\infty$-categories
by: Loubaton, Simon Henry Felix
Published: (2023)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

Cartesian differential categories as skew enriched categories
by: Garner, Richard, et al.
Published: (2020)

Minimal nondegenerate extensions
by: Johnson-Freyd, Theo, et al.
Published: (2021)

Reconstruction of tensor categories of type $G_2$
by: Martirosyan, Lilit, et al.
Published: (2025)

Regular categories, oligomorphic monoids, and tensor categories
by: Snowden, Andrew
Published: (2024)

Monads on dagger categories
by: Heunen, Chris, et al.
Published: (2016)

Homotopical presentation of categories
by: Lee, Seunghun
Published: (2024)