We exhibit Cartwright-Curien-Felleisen’s model of observably sequential algorithms as a full subcategory of Laird’s bistable biorders, thereby reconciling two views of functions: functions-as-algorithms (or programs), and functions-as-relations. We then characterize affine sequential algorithms as affine bistable functions in the full subcategory of locally boolean orders.

Aghapournahr and Melkersson introduced the notion of condition on a Serre subcategory category modules over commutative Noetherian ring. This paper investigates structure set prime ideals satisfying subcategory. We try to calculate members this for consisting extension in two given subcategories. Moreover, we classify sets rings with small dimension.

It is shown that the category of non-Archimedean metric spaces with l-Lipschitz maps can be embedded as a coreflectlve non-bireflective subcategory in the category of fuzzy uniform spaces. Consequential characterizations of topological and unif’orm properties are derived.

We show that the homotopy category of complexes K(B) over any finitely accessible additive category B is locally well generated. That is, any localizing subcategory L in K(B) which is generated by a set is well generated in the sense of Neeman. We also show that K(B) itself being well generated is equivalent to B being pure semisimple, a concept which naturally generalizes right pure semisimpli...

The ideas behind splitting classes were introduced by Freyd and Scedrov in [1] and expanded by Lippincott in [2]. In the latter work, Lippincott proves that there are exactly six splitting class pairs in the category of sets, but uncountably many in the category of groups. In this paper, we prove much more generally that any category containing the category of finite abelian p-groups as a full ...

The present paper introduces aggregative spaces and their category AGS, and then establishes a dual adjunction between AGS and the category Agop of aggregation operators on bounded partially ordered sets. Spatial aggregation operators and sober aggregative spaces, enabling us to restrict the dual adjunction between AGS and Agop to a dual equivalence between the full subcategory of Agop consisti...

We show that the quotients of the continuous cluster category Cπ and the rational subcategory X modulo the additive subcategory generated by any cluster are abelian categories and we show that they are isomorphic to categories of infinite and finite length modules, respectively, over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-ChapotonSchiffler and Buan-M...

Let (R,m) be a commutative Noetherian local ring with m = (0). We give a condition for R to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero with parameters in an open subset of projective space. We shall finally show that the subcategory consisting of modules of G-dimension zero over R is not necessarily a...