Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
(I wouldn’t be surprised if there are other, more suggestive names in the literature for this concept, as it seems useful, but this is the only reference I have found so far that actually gives this property a name.)
immediately found the doi:10.1007/BF01173053
Re. #3 and #4: thanks, these are both habits I need to get into; I keep forgetting about them for now. Will try to remember from now on.
Thanks! I guess I am being a pain on these matters, but these are easy habits to adopt and the improvement for the nLab is substantial.
1 to 7 of 7