In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.

Let   a family of monomorphisms in the category A ‎To study mathematical notions in a category  A‎, ‎such as injectivity‎, ‎tensor products‎, ‎flatness‎, ‎with respect to a class M of its (mono)morphisms‎, ‎one should know some of the categorical properties of the pair (A ‎,M ‎)‎. ‎In this paper we take A to be the‎‎category  Pos-S  of S-partially ordered sets  and   to be a particular‎ class o...

This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically p...