Thank you for your insightful comment. The concept of a screw is new to me, so I’ll have good look at the article you shared and I will try to think carefully about how physical units relate to types, as well as what constitutes true geometric meaning.
Thank you for your insightful comment. The concept of a screw is new to me, so I’ll have good look at the article you shared and I will try to think carefully about how physical units relate to types, as well as what constitutes true geometric meaning.