范畴论

By careful analysis of the comparison map from a simplicial set to its image under Kan's ex-infinity functor we obtain a new and combinatorial proof that it is a weak homotopy equivalence. Moreover, we obtain a presentation of it as a…

We show that certain pullbacks of $*$-algebras equivariant with respect to a compact group action remain pullbacks upon completing to $C^*$-algebras. This unifies a number of results in the literature on graph algebras, showing that…

We study $N$-differential graded ($NDG$) categories and their the derived categories. First, we introduce $N$-differential modules over an $NDG$ category $\mathcal{A}$. Then we show that the category $\mathsf{C}_{Ndg}(\mathcal{A})$ of…

We study t-structures generated by sets of objects which satisfy a condition weaker than the compactness. We also study weight structures cogenerated by sets of objects satisfying the dual condition. Under some appropriate hypothesis, it…

We work with $FI$-modules over a small preadditive category $\mathcal R$, viewed as a ring with several objects. Our aim is to study torsion theories for $FI$-modules. We are especially interested in torsion theories on finitely generated…

Vop\v{e}nka's Principle says that the category of graphs has no large discrete full subcategory, or equivalently that the category of ordinals cannot be fully embedded into it. Weak Vop\v{e}nka's Principle is the dual statement, which says…

This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and M\"obius inversion, with coefficients in $\infty$-groupoids. A decomposition space is a…

This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain…

The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…

We study truncated objects using elementary methods. Concretely, we use universes and the resulting natural number object to define internal truncation levels and prove they behave similar to standard truncated objects. Moreover, we take an…

In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and…

We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known…

Let $k$ be a commutative $\mathbb{Q}$-algebra. We study families of functors between categories of finitely generated $R$-modules which are defined for all commutative $k$-algebras $R$ simultaneously and are compatible with base changes.…

Let $X$ be a Noetherian separated and finite dimensional scheme over a field $\mathbb{K}$ of characteristic zero. The goal of this paper is to study deformations of $X$ over a differential graded local Artin $\mathbb{K}$-algebra by using…

We develop the notion of deformation of a morphism in a left-proper model category. As an application we provide a geometric/homotopic description of deformations of commutative (non-positively) graded differential algebras over a local…

Choose a topos $E$. There are several different "notions of sheafness" on $E$. How do we visualize them? Let's refer to the classifier object of $E$ as $\Omega$, and to its Heyting Algebra of truth-values, $Sub(1_E)$, as $H$; we will…

For $\Lambda$ the category of free opetopic algebras, we construct a model structure \emph{\`a la Cisinski} on the category of presheaves over $\Lambda$, and show that is is equivalent to opetopic complete Segal spaces. This generalizes the…

We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday's combinads over planar trees. Opetopic algebras can be…

In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit…

Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain…