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.

We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopěnka’s principle) is assumed true. It follows that, under the same assumptions, orthogonality sets up a bijective correspondence between localizing subcategories and colocalizing subcategories. Th...

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.

A protolocalisation of a regular category is a full reflective regular subcategory, whose reflection preserves pullbacks of regular epimorphisms along arbitrary morphisms. We devote special attention to the epireflective protolocalisations of an exact Mal’cev category; we characterise them in terms of a corresponding closure operator on equivalence relations. We give some examples in algebra an...

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 ...