Related papers: Towards 2-derivators for formal $\infty$-category …
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…
A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy…
Discrete derived categories were studied initially by Vossieck and later by Bobi\'nski, Gei\ss, Skowro\'nski. In this article, we describe the homomorphism hammocks and autoequivalences on these categories. We classify silting objects and…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
The extriangulated category is a simultaneous generalization of exact categories and triangulated categories. H. Nakaoka and Y. Palu have proved that the homotopy category of an admissible model structure on a weakly idempotent complete…
$\infty$-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety of mathematical foundations. One such successful effort,…
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…
For a given category C and a topological space X, the constant stack on X with stalk C is the stack of locally constant sheaves with values in C. Its global objects are classified by their monodromy, a functor from the Poincare groupoid of…
We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…
A new category $\mathfrak{dp}$, called of dynamical patterns addressing a primitive, nongeometrical concept of dynamics, is defined and employed to construct a $2-$category $2-\mathfrak{dp}$, where the irreducible plurality of species of…
The derivative expansion of the effective action is considered in the model with two interacting real scalar fields in curved spacetime. Using the functional approach and local momentum representation, the coefficient of the derivative term…
In this paper, we consider Leibniz algebras with derivations. A pair consisting of a Leibniz algebra and a distinguished derivation is called a LeibDer pair. We define a cohomology theory for LeibDer pair with coefficients in a…
In this paper we prove that Toen's derived enrichment of the model category of dg-categories defined by Tabuada, is computed by the dg-category of A-infinity functors. This approach was suggested by Kontsevich. We further put this…
We generalize the notion of an anomaly for a symmetry to a noninvertible symmetry enacted by surface operators using the framework of condensation in 2-categories. Given a multifusion 2-category, potentially with some additional levels of…
In this article we apply ideas from homotopy theory to the study of singular foliations. We verify that a technical lemma remains valid for left semi-model categories. When applied to the category of $L_\infty$-algebroids thanks to the work…
In this paper, we will show dichotomy theorems for the computation of polynomials corresponding to evaluation of graph homomorphisms in Valiant's model. We are given a fixed graph $H$ and want to find all graphs, from some graph class,…
We study group graded extensions of fusion 2-categories. As an application, we obtain a homotopy theoretic classification of fermionic strongly fusion 2-categories. We examine various examples in detail.
Riehl and Verity have introduced an "$\infty$-cosmic" framework in which they redevelop the category theory of $\infty$-categories using 2-categorical arguments. In this paper, we begin with a self-contained review of the parts of their…