Related papers: Pushouts of categories, derived limits and colimit…
A quick overview of category theory and topos theory including slice categories, monics, epics, isos, diagrams, cones, cocones, limits, colimits, products and coproducts, pushouts and pullbacks, equalizers and coequalizers, initial and…
This paper is part of a series of articles in which we reproduce the statements regarding the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem, which is an $\infty$-categorical version for defining…
Colimits are a fundamental construction in category theory. They provide a way to construct new objects by gluing together existing objects that are related in some way. We introduce a complementary notion of anticolimits, which provide a…
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…
We prove refined generating series formulae for characters of (virtual) cohomology representations of external products of suitable coefficients, e.g., (complexes of) constructible or coherent sheaves, or (complexes of) mixed Hodge modules…
Euler's continuants are universal polynomials expressing the numerator and denominator of a finite continued fraction whose entries are independent variables. We introduce their categorical lifts which are natural complexes (more precisely,…
We associate a rational number $\chi(\mathcal{A})$ to every category $\mathcal{A}$ whose object and morphism sets are finite. We show that the assignment $\chi$ is additive under disjoint union and it preserves products. Hence we consider…
In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…
The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and…
We prove conditions under which the total space of the pullback of a sphere fibration over a connected sum is homotopy equivalent to a connected sum with a gyration. Existing results of this type often depend on geometric methods. We…
We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object…
Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…
We prove the existence of semiorthogonal decompositions of derived categories of Quot schemes of zero-dimensional quotients on curves in terms of derived categories of symmetric products of curves. The above result is a categorical analogue…
Various characterizations are offered of injectivity of the canonical fundamental group homomorphism for a certain class of inverse limit spaces. One application characterizes the existence of a kind of generalized universal cover.
This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures.
It is becoming increasingly difficult for geometers and even physicists to avoid papers containing phrases like `triangulated category', not to mention derived functors. I will give some motivation for such things from algebraic geometry,…
Braided-enriched monoidal categories were introduced in work of Morrison-Penneys, where they were characterized using braided central functors. Recent work of Kong-Yuan-Zhang-Zheng and Dell extended this characterization to an equivalence…
Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…
We study stability properties of fully faithful functors, and compute mapping anima in pushouts of $\infty$-categories along fully faithful functors. We provide applications of these calculations to pushouts along Dwyer functors and Reedy…
Given a morphism between complex projective varieties, we make several conjectures on the relations between the set of pseudo-effective (co)homology classes which are annihilated by pushforward and the set of classes of varieties contracted…