Related papers: \v{C}ech complexes for covers of small categories
We prove a combination theorem for hyperbolic groups, in the case of groups acting on complexes displaying combinatorial features reminiscent of non-positive curvature. Such complexes include for instance weakly systolic complexes and…
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for…
We extend the notion of the nerve of a category for a small class of crossed simplicial groups, explicitly describing them using generators and relations. We do this by first considering a generalised bar construction of a group before…
The main results of this paper are: (1) If a space $X$ can be embedded as a cellular subspace of $\mathbb{R}^n$ then $X$ admits arbitrary fine open coverings whose nerves are homeomorphic to the $n$-dimensional cube $\mathbb{D}^n$; (2)…
We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product…
We show that the homotopy theory of strict 2-categories embeds in that of $(\infty,2)$-categories in the form of 2-precomplicial sets. More precisely, we construct a nerve-categorification adjunction that is a Quillen pair between Lack's…
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
The Graph Minors Structure Theorem of Robertson and Seymour asserts that, for every graph $H,$ every $H$-minor-free graph can be obtained by clique-sums of ``almost embeddable'' graphs. Here a graph is ``almost embeddable'' if it can be…
We prove a noetherian criterion for a sequence of modules with linear maps between them. This generalizes a noetherian criterion of Gan and Li for infinite EI categories. We apply our criterion to the linear categories associated to certain…
We construct K\"ahler groups with arbitrary finiteness properties by mapping products of closed Riemann surfaces holomorphically onto an elliptic curve: for each $r\geq 3$, we obtain large classes of K\"ahler groups that have classifying…
We use the Euler characteristic of the orbit category of a finite group to establish equivalences between theorems of Frobenius and K.S. Brown and between theorems of Steinberg and L. Solomon.
We give a combinatorial proof of a theorem of Gromov, which extends the scope of small cancellation theory to group presentations arising from labelled graphs.
In this short note we present a generating function computing the compactly supported Euler characteristic $\chi_c(F(X, n), K^{\boxtimes n})$ of the configuration spaces on a topologically stratified space $X$, with $K$ a constructible…
We characterize those finite groups for which the bounded derived category of finite dimensional representations over an algebraically closed field of characteristic $p$ has distributive lattice of thick subcategories: they are precisely…
Let $\mathcal{C}$ be a small category, $\mathfrak{A}$ be a precosheaf of unital $k$-algebras on $\mathcal{C}$ and $\mathfrak{M}$ be an $\mathfrak{A}$-bimodule. We introduce two new notions, namely, the Grothendieck construction…
The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize…
This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and…
The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty,n)$-categories, given by saturated $n$-complicial sets. In this model, we show that the…
For a Grothendieck category having a noetherian generator, we prove that there are only finitely many minimal atoms. This is a noncommutative analogue of the fact that every noetherian scheme has only finitely many irreducible components.…
The general theory of Grothendieck categories is presented. We systemize the principle methods and results of the theory, showing how these results can be used for studying rings and modules.