Related papers: C-system of a module over a $Jf$-relative monad

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…

We introduce the new concept of cartesian module over a pseudofunctor $R$ from a small category to the category of small preadditive categories. Already the case when $R$ is a (strict) functor taking values in the category of commutative…

Let $H$ be an atomic monoid. For $x \in H$, let $\mathsf{L}(x)$ denote the set of all possible lengths of factorizations of $x$ into irreducibles. The system of sets of lengths of $H$ is the set $\mathcal{L}(H) = \{\mathsf{L}(x) \mid x \in…

In the present paper the notion of a Hilbert module over a locally C*-algebra is discussed and some results are obtained on this matter. In particular, we give a detailed proof of the known result that the set of adjointable endomorphisms…

We generalise Fl\o{}ystad's theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$…

We study functors F from C_f to D where C and D are simplicial model categories and C_f is the full subcategory of C consisting of objects that factor a fixed morphism f from A to B. We define the analogs of Eilenberg and Mac Lane's cross…

We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition…

We consider the class $\mathfrak M$ of $\bf R$--modules where $\bf R$ is an associative ring. Let $A$ be a module over a group ring $\bf R$$G$ where $G$ is a group and let $\mathfrak L(G)$ be a set of all proper subgroups of $G$ such that…

We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category…

Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category $\mathcal C$ as modules over the smash extension $\mathcal C\# H$. We construct Grothendieck spectral sequences for the cohomologies as well as the…

Let $\mathcal{C}$ be a small category. In this paper, we mainly study the category of modules $\mathfrak{M}\mbox{od-}\mathfrak{R}$ on ringed sites $(\mathbf{C},\mathfrak{R})$. We firstly reprove the Theorem A of the paper (M. Wu and F. Xu.…

The category $\mathbf{Rel}$ is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, $\mathbf{Rel}$ is a monoidal category. Moreover, $\mathbf{Rel}$ is a locally posetal 2-category, since every…

We consider the 3-category $2\mathfrak{C}at$ whose objects are 2-categories, 1-morphisms are lax functors, 2-morphisms are lax transformations and 3-morphisms are modifications. The aim is to show that it carries interesting…

This chapter lays out a framework for discussing (\ast)-structures on module-algebras over a Hopf (\ast)-algebra (H). We define a complex conjugation functor (V \mapsto \bar{V}), which is an involution on the module category (\hmod), and…

Let $G$ be a finite group and $k$ a field of characteristic $p$. We conjecture that if $M$ is a $kG$-module with $H^*(G,M)$ finitely generated as a module over $H^*(G,k)$ then as an element of the stable module category…

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…

The paper presents a Fock space model suitable for constructions of c-free algebras. Immediate applications are direct proofs for the properties of the c-free R- and S-transforms.

We introduce a notion of c-group, which is a group up to congruence relation and consider the corresponding category. Extensions, actions and crossed modules (c-crossed modules) are defined in this category and the semi-direct product is…

Given a programming language, can we give a monadic denotational semantics that is stable under language extension? Models containing only a single monad are not stable. Models based on type-and-effect systems, in which there is a monad for…

Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^*$-algebras $\mathrm{Pro}(\mathtt{SC^*})$. The opposite of this model…