<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">"""</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">Were M absolutely, perfectly faithful to W, there would be no epiphenomena in M. I.e. epiphenomena do not exist...<br>"""</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br>I read Glen as saying that the collection of all comprehensions forms a space equipped with a meaningful notion of distance, and that if one were to treat the space analytically, one can arrive at a satisfactory definition of local epiphenomena.<br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">For what it's worth, I still feel that free-constructions may be an insightful way to model epiphenomena, or maybe even (as in EricS's t-shirt post) the relationship that Lie groups have to their algebras.</div></div>