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.
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.