March, 2016 | Math Research of Victor Porton

A new math abstraction, categories of sides

I introduce a new math abstraction, categories of sides, in order to generalize two theorems into one. Category of sides

I have proved the following negative result: Theorem is not boolean if is a non-atomic boolean lattice. The theorem is

I call pointfree funcoids (see my free e-book) between boolean lattices as boolean funcoids. I have proved that: Theorem Let

The following is a conjecture: Conjecture The set of pointfree funcoids between two boolean lattices is itself a boolean lattice.

I have uploaded a new version of my research monograph in general topology. It weakens conditions of some theorems in