Alternate definition of quasi-uniform and quasi-metric spaces

Reloid is a triple $latex {( A ; B ; F)}&fg=000000$ where $latex {A}&fg=000000$, $latex {B}&fg=000000$ are sets and $latex {F}&fg=000000$ is a filter on their cartesian product $latex {A \times B}&fg=000000$. Endoreloid is reloid with the same $latex {A}&fg=000000$ and $latex {B}&fg=000000$. Uniform space is essentially a special case of an endoreloid. The reverse […]

New chapter in my research monograph

I’ve added new chapter 11 “Total boundness of reloids” to my book “Algebraic General Topology. Volume 1”. It expresses several kinds of boundness of reloids, which are however the same total boundness in the special case of uniform spaces.

Change of terminology

I realized that the terms “discrete funcoid” and “discrete reloid” conflict with conventional usage of “discrete topology” and “discrete uniformity”. Thus I have renamed them into “principal funcoid” and “principal reloid”. See my research monograph.

Totally bounded reloids, a generalization of totally bounded uniform spaces

This is a straightforward generalization of the customary definition of totally bounded sets on uniform spaces: Definition Reloid $latex f$ is totally bounded iff for every $latex E \in \mathrm{GR}\, f$ there exists a finite cover $latex S$ of $latex \mathrm{Ob}\, f$ such that $latex \forall A \in S : A \times A \subseteq E$. […]

“Simple product”, a new kind of product of funcoids

Today I’ve discovered a new kind of product of funcoids which I call “simple product”. It is defined by the formulas $latex \left\langle \prod^{(S)}f \right\rangle x = \lambda i \in \mathrm{dom}\, f: \langle f_i \rangle x_i$ and $latex \left\langle \left( \prod^{(S)}f \right)^{-1} \right\rangle y = \lambda i \in \mathrm{dom}\, f:\langle f_i^{-1} \rangle y_i$. Please read […]

Online listing of research and other projects to participate

I’ve created a site where anyone may list his projects and anyone may mark which projects he is going to participate. Projects are organized into a tree. The site supports LaTeX and has “Mathematics” section: http://theses.portonvictor.org/node/2 I have posted several pages on my math research project: http://theses.portonvictor.org/node/4 – feel free to add yours also. The […]

Definition of subatomic projection of funcoids

I have proved that for every funcoid $latex f:\prod A\rightarrow\prod B$ (where $latex A$ and $latex B$ are indexed families of sets) there exists a funcoid $latex \mathrm{Pr}^{(A)}_k f$ (subatomic projection) defined by the formula: $latex \mathcal{X} \mathrel{\left[ \Pr^{\left( A \right)}_k f \right]} \mathcal{Y} \Leftrightarrow \\ \prod^{\mathsf{RLD}}_{i \in \mathrm{dom}\, A} \left( \left\{ \begin{array}{ll} 1^{\mathfrak{F} \left( […]

A breakthrough and getting stuck

I had a very great idea in the field of general topology, what I now call funcoids. Years of my research of funcoids culminated me writing a research monograph about funcoids and related stuff. But after I’ve finished this monograph and submitted it to a publisher, I realize that I get stuck. I have no […]

A new section in my research monograph

I added the definition and properties of “second reloidal product” (the definition was inspired by Tychonoff product of topological spaces) to my research monograph “Algebraic General Topology. Volume 1”. See the subsection “Second reloidal product” in the section “Multireloids”.