Skip to main content
5 events
when toggle format what by license comment
Apr 13, 2017 at 12:58 history edited CommunityBot
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Nov 21, 2012 at 0:17 vote accept Matteo Mainetti
Nov 20, 2012 at 23:36 answer added Nik Weaver timeline score: 11
Nov 20, 2012 at 23:20 comment added Qiaochu Yuan There is a functor $\text{Set} \to \text{Met}$ assigning a set the discrete metric on that set, and you can compose this functor with any functor to $\text{Set}$ (e.g. the functor that assigns a metric space the space of probability distributions over it) to get a functor to $\text{Met}$.
Nov 20, 2012 at 22:40 history asked Matteo Mainetti CC BY-SA 3.0