background image

Chapter 19
Postface

See this Web page for my research plans:

http://www.mathematics21.org/agt-plans.html

I deem that now the most important research topics in Algebraic General Topology are:

to solve the open problems mentioned in this work;

dene and research compactness of funcoids;

research categories related with funcoids and reloids;

research multifuncoids and staroids in more details;

research generalized limit of compositions of functions.

All my research of funcoids and reloids is presented at

http://www.mathematics21.org/algebraic-general-topology.html

19.1 Formalizing this theory

Despite of all measures taken, it is possible that there are errors in this book. While special cases,
such as lters of powersets or funcoids, are most likely correct, general cases (such as lters on
posets or pointfree funcoids) may possibly contain wrong theorem conditions.

Thus it would be good to formalize the theory presented in this book in a proof assistant

19.1

such as Coq.

If you want to work on formalizing this theory, please let me know.
See also

https://coq.inria.fr/bugs/show_bug.cgi?id=2957

19.1

A

proof assistant

is a computer program which checks mathematical proofs written in a formal language

understandable by computer.

253