Print (U 0) instead of (U 0 stable)

Question

Print (U 0) instead of (U 0 stable)

Closed this issue 7 years ago · 4 comments

favonia commented 7 years ago

Answer 1 · 2018-02-12T21:52:31.000Z

Yes. Relatedly, I don't really like the name stable; can you explain why you use it instead of pre?

Answer 2 · 2018-02-12T22:02:23.000Z

@cangiuli I assume it stands for "stable under dimension substitution". pre would be fine with me!

Answer 3 · 2018-02-12T22:09:54.000Z

I just feel pre does not sound like a standalone adjective...? But any native speaker has the power to overwrite my intuition.

Answer 4 · 2018-02-12T22:20:40.000Z

Given that we have (U 0 hcom) and (U 0 coe), I think (U 0 pre) fits fine -- hcom types, coe types, pre types. (By the way, this is orthogonal to your original issue, which I agree with in any case.)