Related papers: Fra\"iss\'e sequences: category-theoretic approach…
We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…
We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…
We describe those complete linearly ordered topological spaces $X$ which are homogeneous (=CHLOTS). That is, $X$ is order isomorphic with any nonempty open interval in $X$. Using countable tail-like ordinals as indices, we build towers of…
We introduce global model categories as a general framework to capture several phenomena in global equivariant homotopy theory. We then construct genuine stabilizations of these, generalizing the usual passage from unstable to stable global…
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.
We construct spectral sequences in the framework of Baues-Wirsching cohomology and homology for functors between small categories and analyze particular cases including Grothendieck fibrations. We also give applications to more classical…
We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…
This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…
In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the…
In recent decades, topology has come to play an increasing role in some geometric aspects of Banach space theory. The class of so-called $w^*$-locally relatively compact sets was introduced recently by Fonf, Pallares, Troyanski and the…
A thorough classification of the topologies of compact homogeneous universes is given except for the hyperbolic spaces, and their global degrees of freedom are completely worked out. To obtain compact universes, spatial points are…
In order to apply nonstandard methods to modern algebraic geometry, as a first step in this paper we study the applications of nonstandard constructions to category theory. It turns out that many categorial properties are well behaved under…
Recently discovered domain-specific formal systems -- specifically homotopy type theory and simplicial type theory -- provide new perspectives on spaces and categories in a natively equivalence-invariant setting. In this note, we expose…
One important class of tools in the study of the connections between algebraic and topological structures are the "Banach-Stone type theorems", which describe algebraic isomorphisms of algebras (or groups, lattices, etc.) of functions in…
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…
We present here the General formulation of the problem of existence and construction of upper and lower envelope for an arbitrary function with values from the completion of the ordered set ${\rm S}$ for a certain class of functions with…
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…
On objects of a triangulated category with a stability condition, we construct a topology.
Let $\mathscr{C}$ be a small category. For every commutative ring $R$ with unity, we associate an $R\mathrm{-linear}$ abelian category with the universal homotopy category of $\mathscr{C}$, where we can do the corresponding homological…
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…