相关论文: Model Categories and Simplicial Methods

Generalizing a definition of homotopy fiber products of model categories, we give a definition of the homotopy limit of a diagram of left Quillen functors between model categories. As has been previously shown for homotopy fiber products,…

Probabilistic classifiers output a probability distribution on target classes rather than just a class prediction. Besides providing a clear separation of prediction and decision making, the main advantage of probabilistic models is their…

In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…

We develop a qualitative model of decision making with two aims: to describe how people make simple decisions and to enable computer programs to do the same. Current approaches based on Planning or Decisions Theory either ignore uncertainty…

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…

We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…

Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (both classical and intuitionistic), and forcing. In this work,…

Applied category theory has recently developed libraries for computing with morphisms in interesting categories, while machine learning has developed ways of learning programs in interesting languages. Taking the analogy between categories…

In \cite{CompTheo} we studied the indeterminacy of the value of a derived functor at an object using different definitions of a derived functor and different types of fibrant replacement. In the present work we focus on derived or homotopy…

Quillen's notion of small object and the Gabriel-Ulmer notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in…

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…

This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…

One of the most useful methods for studying the stable homotopy category is localising at some spectrum E. For an arbitrary stable model category we introduce a candidate for the E-localisation of this model category. We study the…

By linking conceptual theories with observed data, generative models can support reasoning in complex situations. They have come to play a central role both within and beyond statistics, providing the basis for power analysis in molecular…

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our…

Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the "synthetic" development of homotopy…

The variety of data is one of the important issues in the era of Big Data. The data are naturally organized in different formats and models, including structured data, semi-structured data, and unstructured data. Prior research has…

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…