Tony Morris

@puffnfresh @dibblego @jedws @tpolecat @nuttycom What is equivalence?

@djspiewak @dibblego @jedws @tpolecat @nuttycom http://ncatlab.org/nlab/show/principle+of+equivalence …

@puffnfresh @djspiewak @dibblego @tpolecat @nuttycom good link, failure of equivalence preservation is the fundamental issue here

@puffnfresh @djspiewak @dibblego @tpolecat @nuttycom I like the idea that breaking equivalence invariance is evil – Arch Dr Functor[Set]

@jedws @puffnfresh @dibblego @tpolecat @nuttycom Exactly. :-) I think Functor[Set] may be the archetypical symptom of this. Not the only one

@djspiewak @puffnfresh @dibblego @tpolecat @nuttycom Functor type (not notion) is forall a -> b, but Set is constrained to things with Eq

@jedws @djspiewak @puffnfresh @tpolecat @nuttycom and is therefore, not a functor.

@dibblego @djspiewak @puffnfresh @tpolecat @nuttycom therefore it is not a valid Functor (type) ie. @puffnfresh wins :-)