Talk:Coarse structure

untitled
Anybody wanting to help with formatting of coarse structure is welcome: I only became a Wikipedia member today!

Negligible sets
Controlled sets are not negligible: one can have controlled sets of arbitrarily large size when compared with X &times; X, and so they do not in general form an ideal set either.

I have reverted these changes as I do not see how they can be true generally.Xantharius (talk) 02:41, 8 September 2008 (UTC)

Coarse morphisms/equivalence
The article says that $$\mathbb{Z}^n$$ is coarsely equivalent to the n-dimensional euclidean space, but it doesn't say what "coarse equivalence" is. The usual ad hoc approach declaring some functions to be morphisms and use the standard categorial definition for "isomorphism" doesn't work here because any such isomorphism would be a bijection between $$\mathbb{Z}^n$$ and $$\mathbb{R}^n$$.

So what is the precise definition of "coarsely equivalent" ? Is there a concept of "coarse morphisms" ? How are they defined? Perhaps as certain equivalence classes of functions as for the homotopy-categories? 84.139.131.35 (talk) 18:30, 1 October 2009 (UTC)