First a prelude:

Taras Banakh, Alex Ravsky “Each regular paratopological group is completely regular” solved a 60 year old open problem.

Taras Banakh introduces what he call normal uniformities (don’t confuse with normal topologies).

My new result, proved with advanced funcoids theory (and never tried to prove it with basic general topology): **Whether a uniformity on a topology is normal is determined by the proximity induced by the uniformity.** (Moreover I expressed it as an explicit algebraic formula in terms of funcoids: , where is the proximity induced by the quasi-uniformity and is the topological space).

I have just created a new wiki Web site, which is a virtual math conference,

just like a real math meeting but running all the time (not say once per two

years).

https://conference.portonvictor.org

Please spread the word that we have a new kind of math conference.

Please post references to your articles, videos, slides, etc.

I present a new proof of Urysohn’s lemma. Well, not quite: my proof is dependent on an unproved conjecture.

Currently my proof is present in this PDF file.

The proof uses theory of funcoids.

What are necessary and sufficient conditions for to be a filter for a funcoid ?

I’ve added to my book a new easy to prove theorem and its corollary:

**Theorem** If is a (co-)complete funcoid then is a filter.

**Corollary**

- If is a (co-)complete funcoid then .
- If is a (co-)complete reloid then .

While writing my book I forgot to settle the following conjecture:

**Conjecture** for every composable funcoids and .

Note that the similar statement about reloids is quite obvious.

A new (but easy to prove) theorem in my research book:

**Theorem** Let and be endomorphisms of some partially ordered dagger precategory and be a monovalued, entirely defined morphism. Then

0