[FRIAM] the cancellation arc

[Jon Zingale]

"""
Were M absolutely, perfectly faithful to W, there would be no epiphenomena
in M. I.e. epiphenomena do not exist...
"""

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.

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20210916/b23e8c3c/attachment.html>