When I first saw topogenous relations at first I thought that my definition of funcoids was plagiarized (for some special

Continue reading# Month: February 2014

## How proof by contradiction differs of direct proof

This my post is about mathematical logic, but first I will explain the story about people who asked or answer

Continue reading## New theorem about funcoids and reloids

I’ve added to the preprint of my book a new theorem (currently numbered theorem 8.30). The theorem states: Theorem for

Continue reading## Cauchy filters, a generalization for reloids

I have proved the theorem from Wikipedia that every Cauchy filter is contained in a maximal Cauchy filter (in fact

Continue reading## Products in dagger categories – updated

I have rewritten my draft article Products in dagger categories with complete ordered Mor-sets. Now I denote the product of

Continue reading## A failed attempt to prove a theorem

I have claimed that I have proved this theorem: Theorem Let is a -separable (the same as for symmetric transitive)

Continue reading## New theorem about core part of funcoids and reloids

Today I’ve proved a new little theorem: Theorem for every reloid . Conjecture For every funcoid ; . See my

Continue reading## A new theorem about funcoids and reloids

I’ve added to preprint of my book a new simple theorem: Theorem for every reloid . This theorem is now

Continue reading## Product of compact funcoids is compact

I have proved (for any products, including infinite products): Product of directly compact funcoids is directly compact. Product of reversely

Continue reading## An attempt to generalize a theorem failed

Using “compactness of funcoids” which I defined earlier, I’ve attempted to generalize the classic general topology theorem that compact topological

Continue reading