September, 2013 | Math Research of Victor Porton

New definitions of products and coproducts in certain categories

I have updated this article. It now contains a definition of product and coproduct for arbitrary morphisms of a dagger

Using this recently proved theorem I have defined product and co-product of endo-reloids. It is expressed by elegant algebraic formulas.

I’ve proved today the theorem: Theorem Monovalued reloids are metamonovalued. In other words: Theorem if is a monovalued reloid and

I have added new chapter: 9 “On distributivity of composition with a principal reloid” into my research monograph preprint. (Read

I have codified my idea how to embed reloids into funcoids in this draft article. Next I am going to

Recently I’ve announced that I have an elegant proof idea of this conjecture, but have a trouble to fill in

Composition of binary relations can be decomposed into two operations: and : . Composition of binary relations is decomposed as:

In my book I introduced concepts of funcoids and reloids. To every funcoid it corresponds a reloid . This allows

I’ve released a draft article about categorical products and coproducts of endo-funcoids, as well as products and coproducts of other

Let fix some dagger category every of Hom-sets of which is a complete lattice, and the dagger functor agrees with