A week or more ago Patrik Eklund <peklund@cs.umu.se> wrote of
... a "lativity" in logic ... .
Not wishing to broadcast my illiteracy in the matter, I searched high and low for the meaning of the quoted term, to no avail: neither Google, nor Wikipedia, nor the other contemporary search mechanisms I tried, offered any insight whatsoever into that term. So I ask you now, in public, where my shame can be greatest: what do you mean by "lativity"? Anagram for "vitality"? (Yes, I have seen -- but been mystified by -- Eklund's use of that term in an older Categories posting, of Feb 05 2014, 09:55, with Subject: : categories: Re: Martin-Lof type theory gentle introduction please ... .) Many thanks. Cheers, -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]