We need a more abstract way to define reloids: For example filters on a set are isomorphic to triples where
Continue readingMonth: October 2015
“Open maps between funcoids” rewritten
There were several errors in the section “Open maps” of my online book. I have rewritten this section and also
Continue readingOfftopic: John 3:16 – Christ having an universal property
Bible, John 3:16: (CJB) “For God so loved the world that he gave his only and unique Son, so that
Continue readingThe set of ideals on an infinite join-semilattice is a boolean algebra
The below is wrong, because pointfree funcoids between boolean algebras are not the same as 2-staroids between boolean algebras. It
Continue reading