I have updated this article. It now contains a definition of product and coproduct for arbitrary morphisms of a dagger
Continue readingMonth: September 2013
Product and co-product of endoreloids is now defined
Using this recently proved theorem I have defined product and co-product of endo-reloids. It is expressed by elegant algebraic formulas.
Continue readingMonovalued reloids are metamonovalued
I’ve proved today the theorem: Theorem Monovalued reloids are metamonovalued. In other words: Theorem if is a monovalued reloid and
Continue readingNew chapter in my book
I have added new chapter: 9 “On distributivity of composition with a principal reloid” into my research monograph preprint. (Read
Continue readingEmbedding reloids into funcoids
I have codified my idea how to embed reloids into funcoids in this draft article. Next I am going to
Continue readingA draft proof of distributivity of composition with a principal reloid over join of reloids
Recently I’ve announced that I have an elegant proof idea of this conjecture, but have a trouble to fill in
Continue readingDecomposition of composition and a partial proof of a conjecture
Composition of binary relations can be decomposed into two operations: and : . Composition of binary relations is decomposed as:
Continue readingA brilliant idea about funcoids and reloids
In my book I introduced concepts of funcoids and reloids. To every funcoid it corresponds a reloid . This allows
Continue readingDirect products in a category of funcoids
I’ve released a draft article about categorical products and coproducts of endo-funcoids, as well as products and coproducts of other
Continue readingNew concept: metamonovalued morphisms
Let fix some dagger category every of Hom-sets of which is a complete lattice, and the dagger functor agrees with
Continue reading