Related papers: Coarsifications of the module isomorphism relation
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…
The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too…
This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…
Endomorphisms of the measure algebra of commutative hypergroups are investigated. We focus on derivations and higher order derivations which are closely related to moment function sequences of higher rank. We describe the exact connection…
A relationship between curved differential algebras and corings is established and explored. In particular it is shown that the category of semi-free curved differential graded algebras is equivalent to the category of corings with…
We present a new method, involving monads and comonads from category theory, to help establish a certain type of equivalence of subcategories. As a case study we consider the category of topological gradings of $C^*$-algebras over a fixed…
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…
We use modular invariant theory to establish a complete set of relations of the mod $p$ homology of $\{QS^k\}_{k\geq0}$, for $p$ odd, as a ring object in the category of coalgebras (also known as a coalgebraic ring or a Hopf ring). We also…
A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…
The article is devoted to homological complexes. Smashly graded modules and complexes are studied over nonassociative algebras with metagroup relations. Smashed tensor products of homological complexes are investigated. Their homotopisms…
In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…
In this paper we use A-infinity modules to study the derived category of a finite dimensional algebra over an algebraically closed field. We study varieties parameterising A-infinity modules. These varieties carry an action of an algebraic…
A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category…
Given a symmetrizable generalized Cartan matrix $A$, for any index $k$, one can define an automorphism associated with $A,$ of the field $\mathbf{Q}(u_1, >..., u_n)$ of rational functions of $n$ independent indeterminates $u_1,..., u_n.$ It…
For a new class of algebras, called $EMV$-algebras, every idempotent element $a$ determines an $MV$-algebra which is important for the structure of the $EMV$-algebra. Therefore, instead of standard homomorphisms of $EMV$-algebras, we…
We define a cotriple (co)homology of crossed modules with coefficients in a $\pi_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with…
We make some beginning observations about the category $\mathbb{E}\mathrm{q}$ of equivalence relations on the set of natural numbers, where a morphism between two equivalence relations $R,S$ is a mapping from the set of $R$-equivalence…
Given a finite dimensional algebra $A$ over an algebraically closed field we study the relationship between the powers of the radical of a morphism in the module category of the algebra $A$ and the induced morphism in the module category of…
The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $\textbf{Top}$, we give a new…
Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the…