Related papers: C-system of a module over a monad on sets

In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at…

The article proposes a method for constructing non-standard theories based on terms from partially existing sequences of elements. The method is illustrated by the example of the theory of monoids. Predicates and terms from non-standard…

The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C. Adapting the philosophy of Janssen and Vercruysse, and making some mild assumptions on the category C, we consider a category M whose…

We construct twisted $\mathcal{D}$-modules on the projective line $\mathbb{P}^1$ that are equivariant for the action of the diagonal torus subgroup of $SL_2$. In the most interesting case these arise as extensions from local systems on…

A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call…

One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective letter-to-letter homomorphisms. This closure property holds for…

We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressivity, we approach dependent type theory and natural deduction as special kinds of…

We investigate the notion of the C-projective dimension of a module, where C is a semidualizing module. When C=R, this recovers the standard projective dimension. We show that three natural definitions of finite C-projective dimension…

Let $A$, $B$ be two rings and $T=\left(\begin{smallmatrix} A & M \\ 0 & B \\\end{smallmatrix}\right)$ with $M$ an $A$-$B$-bimodule. We first construct a semi-complete duality pair $\mathcal{D}_{T}$ of $T$-modules using duality pairs in…

All rings considered are commutative. In this article we introduce and study two notions of modules which are stronger than CS modules, namely weakly IN modules and strongly CS modules. Our main aim is to characterize when a trivial…

We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral partially ordered monoids and complete residuated lattices. The dependencies allow us to express…

Formal power series come up in several areas such as formal language theory , algebraic and enumerative combinatorics, semigroup theory, number theory etc. This paper focuses on the set x R[[x]] consisting of formal power series with zero…

A triangular matrix ring A is defined by a triplet (R,S,M) where R and S are rings and M is an S-R-bimodule. In the main theorem of this paper we show that if T is a tilting S-module, then under certain homological conditions on M as an…

Let $R$ be a ring and let $\mathcal C$ be a small class of right $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let $\mathcal V (\mathcal C)$ denote a set of representatives of isomorphism classes…

Let (L;C) be the (up to isomorphism unique) countable homogeneous structure carrying a binary branching C-relation. We study the reducts of (L;C), i.e., the structures with domain L that are first-order definable in (L;C). We show that up…

Given a countably generated rigid C^*-tensor category C, we construct a planar algebra P whose category of projections Pro is equivalent to C. From P, we use methods of Guionnet-Jones-Shlyakhtenko-Walker to construct a rigid C^*-tensor…

Given a multiplicatively closed subset $S$ of the integers, there exist Structure Theorems for $LC$ modules over the localization $\mathbb{Z}S^{-1}$ that are "similar" to those of $LCA$ groups. The most notable one is the 1st Theorem: Given…

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…

Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification. This yields an awkward formalization and results in a…

If $R$ is a commutative unital ring and $M$ is a unital $R$-module, then each element of $\operatorname{End}_R(M)$ determines a left $\operatorname{End}_{R}(M)[X]$-module structure on $\operatorname{End}_{R}(M)$, where…