20 Aug
2014
20 Aug
'14
11:25 p.m.
Dear all, I found myself wondering yesterday "what does a uniform locale internal to Shv(X) look like?". In theory, this ought to be quite a simple thing: a locale map Y-->X equipped with a "fibrewise uniform structure". Has anyone already worked out a precise definition for the latter phrase? Pointers to relevant literature would be greatly appreciated! Cheers, Jeff. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]