In previous post I stated that pointfree reloids can be defined as filters on pointfree funcoids. Now I suggest also
Continue readingMonth: July 2015
Pointfree reloids discovered
After I defined pointfree funcoids which generalize funcoids (see my draft book) I sought for pointfree reloids (a suitable generalization
Continue readingBinary relations are essentially the same as pointfree funcoids between powersets
After this Math.StackExchange question I have proved that binary relations are essentially the same as pointfree funcoids between powersets. Full
Continue reading