Related papers: Univalent Foundations of Constructive Algebraic Ge…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
We define the path coalgebra and Gabriel quiver constructions as functors between the category of $k$-quivers and the category of pointed $k$-coalgebras, for $k$ a field. We define a congruence relation on the coalgebra side, show that the…
In this paper we introduce the notion of near semiring with involution. Generalizing the theory of semirings we aim at represent quantum structures, such as basic algebras and orthomodular lattices, in terms of near semirings with…
With this paper, we gain a better understanding of the set of near-field structures on a fixed scalar group. If we were able to describe all near-field structures on a fixed scalar group, we could describe all near-vector spaces. The…
Slicing a module into semisimple ones is useful to study modules. Loewy structures provide a means of doing so. To establish the Loewy structures of projective modules over a finite dimensional symmetric algebra over a field $F$, the…
Cubical rectangles are being defined and explored here over the $n-$dimensional geometric cube $Q_n.$ They form a new class of geometric objects that includes all the edges and all the squares of the $n-$cube. We enumerate and characterize…
We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures.
The purpose of the present article is threefold. First of all, we rebuild the whole theory of cosimplicial models of mapping spaces by using systematically Kan adjunction techniques. Secondly, given two topological spaces X and Y, we…
A construction of the noncommutative-geometric counterparts of classical classifying spaces is presented, for general compact matrix quantum structure groups. A quantum analogue of the classical concept of the classifying map is introduced…
The aim of this paper is to extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting…
Q-groupoids and Q-algebroids are, respectively, supergroupoids and superalgebroids that are equipped with compatible homological vector fields. These new objects are closely related to the double structures of Mackenzie; in particular, we…
We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case…
In this paper, we present a simple lattice-theoretic characterization for affine buildings of type A. We introduce a class of modular lattices, called uniform modular lattices, and show that uniform modular lattices and affine buildings of…
Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce…
We prove that closed manifolds admitting a generic metric whose sectional curvature is locally quasi-constant are graphs of space forms. In the more general setting of QC spaces where sets of isotropic points are arbitrary, under suitable…
The central aim of this monograph is to provide decomposition results for quasi-coherent sheaves on the moduli stack of one-dimensional formal groups. These results will be based on the geometry of the stack itself, particularly the height…
We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…
To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…
We develop the basic theory of projective modules and splitting in the more general setting of systems. Systems provide a common language for most tropical algebraic approaches including supertropical algebra, hyperrings (specifically…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…