I felt it was important to mention the nameless superordinates just in case.
As a form of generalization, it’s a potential rabbit trail.
(I should say “class of superordinates”)
-=—
homotopy type theory and other theories of “similar kinds” affords a lot of welding possibilities, and in some circumstances it’s useful to glob together things because it works in those particular circumstances but not in others.
-
Like
==