Two partially ordered monoids S and T are called Morita equivalent if the categories of right S-posets and right T -posets are Pos-equivalent as categories enriched over the category Pos of posets. We give a description of Pos-prodense biposets and prove Morita theorems I, II, and III for partially ordered monoids.

We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets. We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, i...

The category of totally ordered graded module braids and that of the exact interlocking sequences are shown to be equivalent. As an application of this equivalence, we show the existence of a connection matrix for a totally ordered graded module braid without assuming the existence of chain complex braid that induces the given graded module braid.

We introduce a category of basic combinatorial objects, encompassing PCAs and locales. Such a basic combinatorial object is to be thought of as a pre-realizability notion. To each such object we can associate an indexed preorder, generalizing the construction of triposes for various notions of realizability. There are two main results: first, the characterization of triposes which arise in this...

Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with parallel computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this paper it is shown that the category of pospaces under a fixed pospace is both a fibration and a cofib...

We deene families of posets, ordered by preexes, as the counterpart of the usual families of conngurations ordered by subsets. On these objects we deene two types of morphism: event and order morphisms, resulting in categories FPos and FPos v. We then show the following: { Families of posets, in contrast to families of conngurations, are always prime algebraic; in fact the category FPos v is eq...

Cyclic posets are generalizations of cyclically ordered sets. In this paper we show that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The stable category of a Frobenius category is always triangulated and has a cluster structure in many cases. The continuous cluster categories of [14], the infinity-gon of [12], the m-cluster category of type A∞ (m ≥ 3)...

Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We provide equivalences for these spaces by constructing a model category containing the category of local po-spaces. We show the category of simplicial presheaves on local po-spaces can be given Jardine’s model structure, in which we identify the weak equivalences between local po-spaces. In the proces...

Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We provide equivalences for these spaces by constructing a model category containing the category of local po-spaces. We show the category of simplicial presheaves on local po-spaces can be given Jardine's model structure, in which we identify the weak equivalences between local po-spaces. In the proces...

This paper presents an approach to the fuzzification of complete lattices. This kind of fuzzification is a functor from the category of complete lattices to the category of completeL-ordered sets. It not only can be considered as an algebraic representation of the Lowen functor ωL, but also can characterize the stratification of L-topological spaces and the underlying set of Hutton unit interval.