English
Related papers

Related papers: A survey of models for $(\infty, n)$-categories

200 papers

We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own mathematical models and algorithms designed to accomplish its objectives. A…

Logic in Computer Science · Computer Science 2021-07-14 Edwin Beggs , John V. Tucker

In this short survey we give a non-technical introduction to some main ideas of the theory of $\infty$-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides the basic $\infty$-categorical…

Algebraic Topology · Mathematics 2015-01-22 Moritz Groth

We give an informal introduction to model categories, and treat three important examples in some details: the category of small categories, the category of dg algebras, and the category of small dg categories.

Category Theory · Mathematics 2022-10-11 Xiao-Wu Chen

For every functor $\mathcal{F} : \mathcal{K} \to \mathbf{C}$, where $\mathcal{K}$ is a small category and $\mathbf{C}$ is a model category which satisfies some mild hypotheses, we define a model category $\mathbf{C}^m$ of…

Category Theory · Mathematics 2016-10-27 Valery Isaev

We prove that various structures on model $\infty$-categories descend to corresponding structures on their localizations: (i) Quillen adjunctions; (ii) two-variable Quillen adjunctions; (iii) monoidal and symmetric monoidal model…

Algebraic Topology · Mathematics 2015-10-16 Aaron Mazel-Gee

The well-known conditions for a simplicial set to be the nerve of a small category generalize with respect to two parameters: the dimension n of the things which compose, and the position i of the thing which is the result of the…

Category Theory · Mathematics 2022-10-26 Paul Glenn

The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial complicial sets is equivalent to Lurie's…

Algebraic Topology · Mathematics 2022-03-02 Andrea Gagna , Yonatan Harpaz , Edoardo Lanari

This paper provides a bundle perspective to contextuality by introducing new categories of contextuality scenarios based on bundles of simplicial complexes and simplicial sets. The former approach generalizes earlier work on the…

Category Theory · Mathematics 2023-08-15 Rui Soares Barbosa , Aziz Kharoof , Cihan Okay

A new definition for the notion of a (general) $\infty$-category is given.

Category Theory · Mathematics 2014-03-04 Daniel Gerigk

This paper explores Bayesian estimation for categorical data, focusing on simple yet effective models that provide a foundation for applying more advanced methods accurately and reliably in real-world applications. We begin by revisiting…

Methodology · Statistics 2025-09-03 Jan Kalina

Many current challenges involve understanding the complex dynamical interplay between the constituents of systems. Typically, the number of such constituents is high, but only limited data sources on them are available. Conventional…

Populations and Evolution · Quantitative Biology 2021-12-17 Jana C. Massing , Thilo Gross

The purpose of this survey is to present in a uniform way the notion of equivalence between strict $n$-categories or $(\infty,n)$-categories, and inside a strict $(n+1)$-category or $(\infty,n+1)$-category.

Algebraic Topology · Mathematics 2023-03-02 Viktoriya Ozornova , Martina Rovelli

This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way…

Category Theory · Mathematics 2010-09-10 Stephen Lack

The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes…

Category Theory · Mathematics 2021-08-16 Dmitrii Legatiuk

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

Category Theory · Mathematics 2020-07-01 Saugata Basu , M. Umut Isik

We establish a Quillen model category structure on the category of symmetric simplicial multicategories. This model structure extends the model structure on simplicial categories due to J. Bergner.

Category Theory · Mathematics 2012-06-25 Alexandru E. Stanculescu

The goal of this paper is to unify two lines in a particular area of graph limits. First, we generalize and provide unified treatment of various graph limit concepts by means of a combination of model theory and analysis. Then, as an…

Combinatorics · Mathematics 2013-03-13 Jaroslav Nesetril , Patrice Ossona De Mendez

Modern database systems face a significant challenge in effectively handling the Variety of data. The primary objective of this paper is to establish a unified data model and theoretical framework for multi-model data management. To achieve…

Databases · Computer Science 2025-02-27 Jiaheng Lu

Quantifying the similarity between datasets has widespread applications in statistics and machine learning. The performance of a predictive model on novel datasets, referred to as generalizability, depends on how similar the training and…

Methodology · Statistics 2025-06-18 Marieke Stolte , Franziska Kappenberg , Jörg Rahnenführer , Andrea Bommert

The aim of this paper is to reformulate the theory of unbounded derived categories, including more recent categories of first and second kind, using the language of $(\infty,1)$-categories.

Category Theory · Mathematics 2014-12-15 Grigory Kondyrev