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

==

 

Leave a comment

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


+ 1 = three

Leave a Reply