I removed from my draft sections about “categories under Rel”.

The removal happened because I developed a more general and more beautiful theory.

The old version is preserved in Git history.

Leave a Reply

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