Related papers: The (Pi,lambda)-structures on the C-systems define…

The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications…

Let $\mathcal{C}$ be a $k$-linear category with split idempotents, and $\Sigma:\mathcal{C}\rightarrow\mathcal{C}$ an automorphism. We show that there is an $n$-angulated structure on $(\mathcal{C},\Sigma)$ under certain conditions. As an…

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…

We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.

In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

Span categories provide an abstract framework for formalizing mathematical models of certain systems. The mathematical descriptions of some systems, such as classical mechanical systems, require categories that do not have pullbacks, and…

The classification problem for principal fibre bundles over two-dimensional CW-complexes is considered. Using the Postnikov factorization for the base space of a universal bundle a Puppe sequence that gives an implicit solution for the…

Let $S$ be a closed oriented surface of genus $g\geq 2$. Fix an arbitrary non-elementary representation $\rho\colon\pi_1(S)\to {\rm SL}_2(\mathbb{C})$ and consider all marked (complex) projective structures on $S$ with holonomy $\rho$. We…

Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented…

There is a family of constructions to produce orthomodular structures from modular lattices, lattices that are M and M*-symmetric, relation algebras, the idempotents of a ring, the direct product decompositions of a set or group or…

We define the notion of a $\lambda$-definable category, a generalisation of the notion of definable category from the model theory of modules. Let ${\cal C}$ be a $\lambda$-accessible additive category. We characterise the additive functors…

We make explicit in terms of categories a number of statements from the theory of partial inner product spaces (PIP spaces) and operators on them. In particular, we construct sheaves and cosheaves of operators on certain PIP spaces of…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…

We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces,…

For a finite lattice $\Lambda$, $\Lambda$-ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $\Lambda$. This makes use of an isomorphism of…

An orbifold is a topological space modeled on quotient spaces of a finite group actions. We can define the universal cover of an orbifold and the fundamental group as the deck transformation group. Let $G$ be a Lie group acting on a space…

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…