On v-Domains and Star Operations

Let * be a star operation on an integral domain D. Let f (D) be the set of all nonzero finitely generated fractional ideals of D. Call D a *-Prüfer (respectively, (*, v)-Prüfer) domain if (FF ^?1)* = D (respectively, (F ^v F ^?1)* = D) for all F ∈  f (D). We establish that *-Prüfer domains (and (*, v)-Prüfer domains) for various star operations * span a major portion of the known generalizations of Prüfer domains inside the class of v-domains. We also use Theorem 6.6 of the Larsen and McCarthy book [30 Larsen , M. D. , McCarthy , P. J. ( 1971 ). Multiplicative Theory of Ideals . New York : Academic Press . [Google Scholar]], which gives several equivalent conditions for an integral domain to be a Prüfer domain, as a model, and we show which statements of that theorem on Prüfer domains can be generalized in a natural way and proved for *-Prüfer domains, and which cannot be. We also show that in a *-Prüfer domain, each pair of *-invertible *-ideals admits a GCD in the set of *-invertible *-ideals, obtaining a remarkable generalization of a property holding for the “classical” class of Prüfer v-multiplication domains. We also link D being *-Prüfer (or (*, v)-Prüfer) with the group Inv*(D) of *-invertible *-ideals (under *-multiplication) being lattice-ordered.     

Star Operations on Numerical Semigroups

It is proved that the number of numerical semigroups with a fixed number n of star operations is finite if n > 1. The result is then extended to the class of analytically irreducible residually rational one-dimensional Noetherian rings with finite residue field and integral closure equal to a fixed discrete valuation domain.     

Functorial Properties of Star Operations

We define a universal star operation to be an assignment *: A ? * _A of a star operation * _A on A to every integral domain A. Prime examples of universal star operations include the divisorial closure star operation v, the t-closure star operation t, and the star operation w = F _∞ of Hedstrom and Houston. For any universal star operation *, we say that an extension B ? A of integral domains is *-ideal class linked if there is a group homomorphism Cl_{* A} (A) → Cl_{* B} (B) of star class groups induced by the map I ? (IB)^{* _B} on the set of * _A -ideals I of A. We study several natural subclasses of the class of *-ideal class linked extensions.     

Note on Star Operations Over Polynomial Rings

This article studies the notions of star and semistar operations over a polynomial ring. It aims at characterizing when every upper to zero in R[X] is a *-maximal ideal and when a *-maximal ideal Q of R[X] is extended from R, that is, Q = (Q ∩ R)[X] with Q ∩ R ≠0, for a given star operation of finite character * on R[X]. We also answer negatively some questions raised by Anderson–Clarke by constructing a Prüfer domain R for which the v-operation is not stable.     

Stability and Clifford Regularity with Respect to Star Operations

In the last few years, the concepts of stability and Clifford regularity have been fruitfully extended by using star operations. In this article we deepen the study of star stable and star regular domains and relate these two classes of domains to each other.     

On Generation and Implicit Partial Operations in Locally Presentable Categories

In a locally presentable category seen as a concrete category of structures, we describe the subobjects (resp. the regular, strong subobjects) generated by a subset, first in terms of closure under certain types of implicit partial operations, and then in syntactic terms. This characterizes in particular the locally presentable categories in which various sorts of monos and epis coincide.     

Integrally Closed Domains with Only Finitely Many Star Operations

We prove that an integrally closed domain R admits only finitely many star operations if and only if R satisfies each of the following conditions: (1) R is a Prüfer domain with finite character, (2) all but finitely many maximal ideals of R are divisorial, (3) only finitely many maximal ideals of R contain a nonzero prime ideal that is contained in some other maximal ideal of R, and (4) if P ≠ (0) is the largest prime ideal contained in a (necessarily finite) collection of maximal ideals of R, then the prime spectrum of R/P is finite.     

Integral Domains Which Admit at Most Two Star Operations

In this article, we characterize domains which admit at most two star operations in the integrally closed and Noetherian cases. We also precisely count the number of star operations on an h-local Prüfer domain.     

Recollements of Singularity Categories and Monomorphism Categories

We generalize results on existence of recollement situations of singularity categories of lower triangular Gorenstein algebras and stable monomorphism categories of Cohen–Macaulay modules.     

Directed Algebraic Topology,Categories and Higher Categories

Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental n-groupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applications have been mostly developed in the theory of concurrency. Unexpected links with noncommutative geometry and the modelling of biological systems have emerged. Work partially supported by MIUR Research Projects.     

Subfactor Categories of Triangulated Categories

Let 𝒳 ? 𝒜 be subcategories of a triangulated category 𝒯, and 𝒳 a functorially finite subcategory of 𝒜. If 𝒜 has the properties that any 𝒳-monomorphism of 𝒜 has a cone and any 𝒳-epimorphism has a cocone, then the subfactor category 𝒜/[𝒳] forms a pretriangulated category in the sense of [4 Beligiannis , A. , Reiten , I. ( 2007 ). Homological and Homotopical Aspects of Torsion Theories . Memoirs of the AMS 883 : 426 – 454 . [Google Scholar]]. Moreover, the above pretriangulated category 𝒜/[𝒳] with 𝒯(𝒳, 𝒳[1]) = 0 becomes a triangulated category if and only if (𝒜, 𝒜) forms an 𝒳-mutation pair and 𝒜 is closed under extensions.     

n-exact Categories Arising from n-exangulated Categories

Let ■ be a Krull-Schmidt n-exangulated category and ■ be an n-extension closed subcategory of ■.Then ■ inherits the n-exangulated structure from the given n-exangulated category in a natural way.This construction gives n-exangulated categories which are neither n-exact categories in the sense of Jasso nor(n+2)-angulated categories in the sense of Geiss-Keller-Oppermann in general.Furthermore,we also give a sufficient condition on when an n-exangulated category ■ is an n-exact category.These resu...     

Semistar Operations and Standard Closure Operations

Let R be a commutative ring. It is shown that there is an order isomorphism between a popular class of finite type closure operations on the ideals of R and the poset of semistar operations of finite type.     

Cartesian Differential Categories as Skew Enriched Categories

We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids—or in a straightforward generalisation, the category of modules over a commutative rig k. However, the tensor product on this category is not the usual one, but rather a warping of it by a certain monoidal comonad Q. Thus the enrichment base is not a monoidal category in the usual sense, but rather a skew monoidal category in the sense of Szlachányi. Our first main result is that cartesian differential categories are the same as categories with finite products enriched over this skew monoidal base. The comonad Q involved is, in fact, an example of a differential modality. Differential modalities are a kind of comonad on a symmetric monoidal k-linear category with the characteristic feature that their co-Kleisli categories are cartesian differential categories. Using our first main result, we are able to prove our second one: that every small cartesian differential category admits a full, structure-preserving embedding into the cartesian differential category induced by a differential modality (in fact, a monoidal differential modality on a monoidal closed category—thus, a model of intuitionistic differential linear logic). This resolves an important open question in this area.

     

One-Side Derived Categories of Pre-Strict $P$-Semi-Abelian Categories

In this paper, we study a class of $P$-semi-abelian categories, as well as left and right cohomological functors. Then we establish the corresponding one-side derived categories.     

Hopf Categories

We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We generalize the fundamental theorem for Hopf modules and some of its applications to Hopf categories.     

因素空间和范畴

本文讨论了几种模糊范畴的Ｔｏｐｏｓ性质，把集丛理论、范畴理论应用到因素空间的研究之中，建立了同一因素集上和不同因素集上的因素空间之间的关系，并给出了子因素空间的概念和子因素空间的布尔运算。