Related papers: Some functor calculus on semirings

We study a new class of functions that arise naturally in quaternionic analysis, we call them "quasi regular functions". Like the well-known quaternionic regular functions, these functions provide representations of the quaternionic…

Much study has been done on semigroups which are unions of groups. There are several ways in which a union of groups can be made into a semigroup in which each of the component groups arises as subgroups of the constructed semigroup. An…

We study matrix semigroups in which ring commutators have real spectra. We prove that irreducible semigroups with this property are simultaneously similar to semigroups of real-entried matrices. We also obtain a structure theorem for…

In this paper, we prove prime avoidance for ringoids. We also generalize McCoy's and Davis' prime avoidance theorems in the context of semiring theory. Next, we proceed to define and characterize compactly packed semirings and show that a…

We explain a derived version of the basic construction of localisations of module categories by means of idempotent ideals, which lie at the heart of Faltings' almost ring theory. We use it to provide an example of a commutative algebra in…

Let T be a complete local ring and C a finite set of incomparable prime ideals of T. We find necessary and sufficient conditions for T to be the completion of an integral domain whose generic formal fiber is semilocal with maximal ideals…

The paper discusses inference techniques for semiparametric models based on suitable versions of inference functions. The text contains two parts. In the first part, we review the optimality theory for non-parametric models based on the…

This is a survey paper on applications of mathematics of semirings to numerical analysis and computing. Concepts of universal algorithm and generic program are discussed. Relations between these concepts and mathematics of semirings are…

We give a thorough structural analysis of the principal one-sided ideals of arbitrary semigroups, and then apply this to full transformation semigroups and symmetric inverse monoids. One-sided ideals of these semigroups naturally occur as…

We introduce a formal operational semantics that describes the fused execution of variable contraction problems, which compute indexed arithmetic over a semiring and generalize sparse and dense tensor algebra, relational algebra, and graph…

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a…

Let $H$ be a commutative semigroup with unit element such that every non-unit can be written as a finite product of irreducible elements (atoms). For every $k \in \mathbb N$, let $\mathscr U_k (H)$ denote the set of all $\ell \in \mathbb N$…

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…

In this work, the set of quasi-primary ideals of a commutative ring with identity is equipped with a topology and is called quasi-primary spectrum. Some topological properties of this space are examined. Further, a sheaf of rings on the…

This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative…

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e. a…

We introduce a notion of $R$-quadratic maps between modules over a commutative ring $R$ which generalizes several classical notions arising in linear algebra and group theory. On a given module $M$ such maps are represented by $R$-linear…

A semiring is uniserial if its ideals are totally ordered by inclusion. First, we show that a semiring $S$ is uniserial if and only if the matrix semiring $M_n(S)$ is uniserial. As a generalization of valuation semirings, we also…

For commutative rings with identity, we introduce and study the concept of semi $r$-ideals which is a kind of generalization of both $r$-ideals and semiprime ideals. A proper ideal $I$ of a commutative ring $R$ is called semi $r$-ideal if…