I’ve released a new version of my free math ebook.

The main feature of this new release is chapter “Alternative representations of binary relations” where I essentially claim that the following are the same:

  • binary relations
  • pointfree funcoids between powersets
  • Galois connections between powersets
  • antitone Galois connections between powersets

This theorem is presented with a commutative diagram.

I have added also some other minor theorems.

Leave a Reply

Your email address will not be published. Required fields are marked *