May, 2018 | Math Research of Victor Porton

I proved that certain functors between topological spaces and endofuncoid are adjoint

I proved: Theorem is a left adjoint of both and , with bijection which preserves the “function” part of the morphism.

After proposing this conjecture I quickly found a counterexample: , is the usual Kuratowski closure for .

Conjecture if is a totally ordered (generalize for a filter base) set of filters (or at least set of sets).

I started research of mappings between endofuncoids and topological spaces. Currently the draft is located in volume 2 draft of

I have added to my book section “Expressing limits as implications”. The main (easy to prove) theorem basically states that