On Mon, Jan 16, 2023 at 09:55:47PM +0300, Jean Louis wrote:
> * tomas@tuxteam.de <tomas@tuxteam.de> [2023-01-16 21:20]:
> > And -- oh, to make things more interesting:
> > 
> > (and) => t
> > (or) => f
> > 
> > It's a conspiracy ;-)
> 
> Similar though not same:

The underlying mathematical structures are:

  - numbers (I'm handwaving a bit here) with + form a monoid,
    the neutral element is 0
  - numbers with * form a monoid, the neutral element is 1
    (if you need a group, you'll have to exclude 0, though)
  - booleans with and form a monoid, the neutral is t
  - booleans with or form a monoid, the neutral is nil

Next: function composition: what is the neutral there?

(this is what maths is good at)

Cheers
-- 
t