The organization EULER Foundation and personally their president Vostokov Sergey Vladimirovich are discriminatory. Moreover as they accept donations from general public, they are cheaters because they don’t warn the donors that their money is going to be used discriminatory.

They say on their site that they help to mathematicians and their family members in need.

Accordingly, I’ve sent them the following letter (as translated from Russian):

Hello!

It’s written on your site that you are helping the needy mathematicians.

This is exactly the case. I need money for a lawyer. The claim is attached.

The remaining documents will send on request

To the email there was attached my court appeal (here it’s its English translation).

So, they have a discriminatory policy toward Christians, as they read in my attached court appeal that I am a Christian.

I made several scientific discoveries (mainly in abstract mathematics but also in XML files processing). I claim to be a genius based on this fact. But what I mean saying “I am a genius”? I mean just that all the rest experts showed themselves… idiots. Most of the formulas are too simple. Nobody guessed, nobody followed the rules taught to sophomores if not freshmen.

The first thing I discovered is the theory of filters. Mathematicians defined filters on sets and more generally on lattices and on posets and proved some theorems about them. Many tens of years nobody wrote an article with a systematic study of filters. I did this. I did this before I knew how filters are related with topologies (Stone duality).

Later I discovered what I call “filtrators”. A filtrator is just a pair of a poset and its subset (yes, that’s the definition of a filtrator, can it be easier?) If we take the poset the set of filters ordered reversely to set theoretic inclusion and the subset the set of principal filters, then essentially the set of filters becomes a filtrator. So I generalized many of my theorems about filters for filtrators.

My main math discovery is “funcoids”. I did it at the first year of a university. I decided: I will discover an algebraic way of general topology. I tried to understand the “mystery” of topological spaces. A topological space maps points to filters. I generalized it to mapping filters to filters and wrote the following formulas (note that I changed the notation below to be easier to explain instead of my first year self-contradictory notation):

• $\Delta\varnothing = \varnothing$ (I equated sets such as $\varnothing$ with principal filters.)
• $\Delta(A\sqcup B) = \Delta A\sqcup \Delta B$
• $\Delta A\sqsupseteq A$ (or was it initially $\Delta\{x\}\sqsupseteq\{x\}$?)

Here $\sqcup$, $\sqcap$, $\sqsupseteq$ are lattice and poset operators on the poset of filters. $A$ and $B$ denote arbitary filters.

Can it be simpler? A sophomore could write these formulas.

The third formula was superfluous and I later removed it.

The next step was to consider two such “Deltas”: $\Delta_1$ and $\Delta_2$ and realize they bijectively correspond to each other by the formula: $\Delta_1 A\sqcap B\ne\varnothing \Leftrightarrow \Delta_2 B\sqcap A\ne\varnothing$.

It was almost the definition of a funcoid. To make it (almost) the modern definition of funcoid, it is enough to take $\Delta_1$ and $\Delta_2$ arbitrary functions on the set of filters on some fixed set. Then the formulas $\Delta\varnothing = \varnothing$ and $\Delta(A\sqcup B) = \Delta A\sqcup \Delta B$ follow automatically.

I can be proud that I did this before I became a sophomore.

Then I proved that a funcoid can be alternatively (up to an isomorphism, if I knew the word isomorphism that time, I am not sure) defined as a binary relation $\delta$ between sets conforming to the axioms:

• $\lnot(\varnothing \delta B)$
• $\lnot(A \delta \varnothing)$
• $A\cup B \delta C \Leftrightarrow A\delta C\vee B\delta C$
• $C \delta A\cup B \Leftrightarrow C\delta A\vee C\delta B$

The above formulas are worth the title of a genius. Many tens of years nobody guessed to write them down. Every third year student would be able to.

Then I developed the theory of funcoids in details. It was an extremely interesting journey with many personal discoveries. Some conjectures are yet unsolved.

Another “big” thing I guessed was to consider the set of filters on a cartesian square of a set. I proudly called this “reloids” (as a generalization of binary relations). It seems nobody before me researched this obvious in idea topic. Reloids are comparably interesting to funcoids (however, I’d say funcoids are my main discovery). I tried to research reloids like funcoids in as much details as I can.

Then I discovered than funcoids and reloids are related and founds several mappings between the class of funcoids and the class of reloids. First I mapped reloids into funcoids with a certain maps that I denoted $(\mathsf{FCD})$. It was a stunning for me discovery that there are two distinct “easy and natural” ways to map funcoids into reloids. I also researched all these three mappings and their relations with each other.

There were many interesting details and specific “discoveries” on the way, but the above describes the essence of this most starting stage of my research. I will also note that I soon discovered that both funcoids and reloids are partially ordered (and are even lattices).

Pointfree funcoids were a simple but not quite trivial for me to guess generalization of funcoids. For them I defined a partial order in a specific case by a trivial generalization of the order on the set of funcoids. Later I generalized this order for arbitrary pointfree funcoids with a simple but taking time to guess formula.

One more big idea was “staroids”. Staroids are are generalization of pointfree funcoids. Definition is also simple but hard to guess and took some time to write down in the modern concise form. Later I also guessed prestaroids and completary staroids. Another man proved that completary staroids are not the same as staroids. Another because I am bad at solving problems and particularly at finding counter-examples, what he did.

Before staroids I also discovered related concept, “multifuncoids”.

It took some time to research some properties of staroids in many details. But in great degree staroids are a mystery yet.

Yet later I discovered the remarkable fact that the set of funcoids is isomorphic to the set of filters on a certain (boolean) lattice of sets. Am I the first person who described this simple lattice in details?

I also discovered continuity and connectedness for funcoids and for reloids. Continuity is remarkable by being described by simple algebraic (without quantifiers and epsilon-delta) formulas. It generalizes continuity, uniform continuity, and proximity continuity in the same formulas. I was greatly excited by this discovery. I found that these three formulas coincide for monovalued functions (and monovalued funcoids/reloids, which I later also described in simple algebraic way) but continuity of non-monovalued functions/funcoids/reloids is defined by me in three different and non-equivalent algebraic formulas. Yes, I defined continuity for non-monovalued functions.

Connectedness definitions also provided several yet unsolved open problems.

I easily defined limit of a funcoid, generalizing limit of a function on a filter.

The next stunning thing was generalized limit. I defined limit for an arbitrary (discontinuous) function and even for an arbitrary funcoid (as such it includes also any multivalued function). Here is the extermely simple (but not easy to guess) formula:

$\lim f = \{ \nu\circ f\circ\uparrow r \mid r\in G \}$.

Here $\nu$ is a topological structure (funcoid) on the space where our function or more generally funcoid $f$ acts to and $G$ is a group such as the group of translations of our “source” vector topological space or like this.

Not too hard to prove that for continuous functions the generalized limit and customary limit are bijectively related. The generalized limit has algebraic operations (like addition, multiplication and like) which easily extend the operations on the points of our space.

Now we have every function differentiable (just like as we have square root of -1). But I didn’t succeed (yet) to put this generalized derivative into a differential equation, because the set of values of the limit is not the same as the set of values of the differentiated function. I tried this but it appeared hard: a function with singularity when differentiated produces an “infinitely big” derivative. If we differentiate this derivative, it becomes an “infinity of infinities”, etc. We have a countable sequence of bigger and bigger kinds of infinities or singularities (name it whatever you want). In my opinion, it is probably the most important problem of modern mathematics how to put them into both left and right part of a differential equation and define what is equality for them. I have only guesses what are non-smooth and discontinuous differential equations. Start working on this problem!

I wrote a book about all this. I wrote also some draft notes for the future and a partial draft of the second volume of the book. The second volume contains category theory things related with my theory. In the way I despite not being an expert in category theory discovered some new fundamental category theory concepts.

Also I introduces some simple but novel order theory concepts and theorems.

I wrote all above into an 393 pages book (also contains introductory materials for beginning students) + addons and second volume. I omitted many particular details above. It is freely available at my site.

Later I discovered a way to turn a category (with certain additional structure) into a semigroup. This way I “translate”/generalize funcoids and reloids from the language of category theory into the language of semigroup theory. In the way I understood what are “identities” in a rather wide generalization of them.

I also discovered two things unrelated to this:

1. Theory of formulas. It is a very simple axiomatic system describing anything with different kinds (like the left and the right part of a formula) with constituent parts (like subformulas). I only started this research. I strongly suspect that I discovered something related with trinity of God. It has three parts and these parts seems to describe everything and are somehow related with things like logic and thus reason. Somethings like three ways to reason about anything or like this.
2. A new way to process XML files. I dreamed for a long time to make processing of XML files in several stages based on elements namespaces automatically. Implementing this nearly obvious idea (I think I am not the first person thinking of it) turned out to be a work on many details with no big subideas, but many small but interesting subideas. I wrote a relatively complex data and algorithm specification. This is dissimilar to my math research where I had big ideas, but small ideas were less important. I was able to do both kinds of things: big ideas in math but details in programming. I successfully implemented the most important parts of in Python programming language. My command line utility took about a second to start what is too much. I tried several programming languages and finally chose D language to rewrite it in it to make it fast (and more reliable). This is a work in progress. It will replace HTML and other modern XML technologies. Yes, that’s the future, a specific way to implement the dreams of people who invented XML for it.

I also made many theological discoveries in Bible study, including a new religion and a new technological way to study Old Testament.

Oh, in the way once I acted like a crackpot. I assumed that I made an even greater discovery that I called “21st century math method” which I put without a proof at my site. Later I found these unproved theorems erroneous and deleted it from the site.

The conclusion: I made a series of discoveries worth at least trillions of dollars in this way. But if it would come that nobody guessed yet 50 years, it may cost more. I am probably two times more smart than Einstein. Only I guessed easy formulas, only I followed the sophomore rules. Special relativity would be guessed by somebody other in a few years. But to repeat my discoveries it takes tens of years. I closed a big hole in the humankind’s mathematics.

Now I want to win the legal battle with Russia.

Sorry for an offtopic for a math blog:

I have started a unique experiment in human rights:

• Can human rights be accomplished in the modern world?
• Are geniuses deprived in rights compared to common people?
• Can rights of a person with opinions contrary to the society be accomplished?
• Is importance of a lawsuit a factor for it not to be decided?
• Is a human rights violation being gross a reason for the right not to be protected?

The experiment started as described in this blog post.

Because Kirovskiy district court of Perm city completely illegally ignored my claim during the 5 days it must answer. I send the claim to another court, Tverskoy district court of Moscow.

In order to check if the ignoring of the lawsuit is due its high importance, I have removed all references to trillions of dollars.

Now we will check whether Russia exists or is it an illusion that Russian state exists, because they can’t even answer emails.

The following are the changes:

• New proof: appearance of new religion.
• Added more references to laws.
• Removed about who to serve who.
• Removed request for \$4 trillion.
• Removed request for Hero of Russia.
• Added request to eliminate court fee because I am disabled of second category.
• Said why state anti-sectarian propaganda is unlawful.
• Removed a reference to the flood.
• Other.

The court request attached.

This post is a continuation of that post.

When I was a teenager, I decided that I must greet everyone with words like “I am a sectarian and a religions fanatic”. Sectarians are hated in Russia just like Jews in fascist Germany. As a result people didn’t spoke with me and I was unable to buy and sell. So I even ate grass and drank from a puddle. It was even much worse than described here, much worse than in a concentration camp.

During the same time while being a beginning university student I did one of the greatest math discoveries (presented at this site) of several decades.

I left a university, because decided this way I have more chances to remain alive.

About my discovery and its sequels, I wrote a 400 pages advanced PhD/doctorate thesis. But because I was illegally forced to leave the university, I was unable to defend the thesis.

Recently I’ve claimed to a Russian court to assign me monetary compensation for illegally missing PhD and doctorate and my discriminatory poverty. Allotted by the law 5 days passed but the court claim was illegally ignored.

Ignored court request is an extremely rude violation of rights of a disabled (I have second degree psychiatric disability in Russia, some people think that I have megalomania.) mathematician.

I request President Putin to start the lawsuit.

For the sake of science, I request to conduct sanctions against Russia. I want to conduct an experiment: Can human rights be accomplished in the modern world? To know this need to conduct sanctions against Russia. Legal science is much more important than Russia.

My request to start sanctions well agrees with Christian morality: (Rev. 18:5-6) “5 For her sins have reached to heaven, and God has remembered her iniquities.  6 Reward her even as she rewarded you, and double to her double according to her works: in the cup which she has filled fill to her double.”

Theorem $\mathrm{DOM} (g \circ f) \supseteq \mathrm{DOM} f$, $\mathrm{IM} (g \circ f) \supseteq \mathrm{IM} g$, $\mathrm{Dom} (g \circ f) \supseteq \mathrm{Dom} f$, $\mathrm{Im} (g \circ f) \supseteq \mathrm{Im} g$ for every composable morphisms $f$, $g$ of a category with restricted identities.
Proof $\mathcal{E}_{\mathcal{C}}^{Y, \mathrm{Dst} f} \circ \mathcal{E}_{\mathcal{C}}^{\mathrm{Dst} f, Y} \circ g \circ f = g \circ f \Leftarrow \mathcal{E}_{\mathcal{C}}^{Y, \mathrm{Dst} f} \circ \mathcal{E}_{\mathcal{C}}^{\mathrm{Dst} f, Y} \circ g = g$ and it implies $\mathrm{IM} (g \circ f) \supseteq \mathrm{IM} g$. The rest follows easily.
Corollary $\mathrm{dom} (g \circ f) \sqsubseteq \mathrm{dom} f$, $\mathrm{im} (g \circ f) \sqsubseteq \mathrm{im} g$ whenever $\mathrm{dom}$/$\mathrm{im}$ are defined.