search

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
371 stars 22 forks source link

" merely " #151

Open DanGrayson opened 1 year ago

DanGrayson commented 1 year ago

There must be a better word than "merely" we can use. In ordinary English, "merely" means "only", and that doesn't work with our use of it. Consider : X and Y are equivalent if we only construct an equivalence between them.

bidundas commented 1 year ago

The mere thought of it makes me shudder, speak not of the discomfort I’d experience were I forced to utter such sentences myself. ‘Mere possession’ can indicate lack of control, but does not say anything about whether it is my one and only possession. That said: merely is not ideal, it’s only defense is that it has some precedence.

Bjorn

On 4 Sep 2022, at 23:28, Daniel R. Grayson @.***> wrote:



There must be a better word than "merely" we can use. In ordinary English, "merely" means "only", and that doesn't work with our use of it. Consider : X and Y are equivalent if we only construct an equivalence between them.

— Reply to this email directly, view it on GitHubhttps://github.com/UniMath/SymmetryBook/issues/151, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AKO2SK4CESZUCXFBOCDY2RLV4UH6XANCNFSM6AAAAAAQEPSV6Q. You are receiving this because you are subscribed to this thread.Message ID: @.***>

bidundas commented 1 year ago

I hate my spell checker! It's only redeeming feature is it's consistency.

Bjorn

On 5 Sep 2022, at 06:21, Bjørn Ian Dundas @.***> wrote:

 The mere thought of it makes me shudder, speak not of the discomfort I’d experience were I forced to utter such sentences myself. ‘Mere possession’ can indicate lack of control, but does not say anything about whether it is my one and only possession. That said: merely is not ideal, it’s only defense is that it has some precedence.

Bjorn

On 4 Sep 2022, at 23:28, Daniel R. Grayson @.***> wrote:



There must be a better word than "merely" we can use. In ordinary English, "merely" means "only", and that doesn't work with our use of it. Consider : X and Y are equivalent if we only construct an equivalence between them.

— Reply to this email directly, view it on GitHubhttps://github.com/UniMath/SymmetryBook/issues/151, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AKO2SK4CESZUCXFBOCDY2RLV4UH6XANCNFSM6AAAAAAQEPSV6Q. You are receiving this because you are subscribed to this thread.Message ID: @.***>