The following problem arose from my attempt to re-express directed topological spaces in terms of funcoids.
Conjecture Let 
![[-\infty,+\infty] = \mathbb{R}\cup\{-\infty,+\infty\}](https://s0.wp.com/latex.php?latex=%5B-%5Cinfty%2C%2B%5Cinfty%5D+%3D+%5Cmathbb%7BR%7D%5Ccup%5C%7B-%5Cinfty%2C%2B%5Cinfty%5C%7D&bg=ffffff&fg=000&s=0&c=20201002 "[-\infty,+\infty] = \mathbb{R}\cup\{-\infty,+\infty\}")
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
The following problem arose from my attempt to re-express directed topological spaces in terms of funcoids.
Conjecture Let