<div dir="auto">In the work I did at CMU on statistical causal reasoning, we made heavy use of equivalence classes.  Our algorithms would find equivalence classes of causal models (generalizations of acyclic digraphs).  If any edge occurred in all elements of a class then it represented a cause between the variables (nodes) associated with the edge.  As I recall.<div dir="auto"><br><div data-smartmail="gmail_signature" dir="auto">-----------------------------------<br>Frank Wimberly<br><br>My memoir:<br><a href="https://www.amazon.com/author/frankwimberly">https://www.amazon.com/author/frankwimberly</a><br><br>My scientific publications:<br><a href="https://www.researchgate.net/profile/Frank_Wimberly2">https://www.researchgate.net/profile/Frank_Wimberly2</a><br><br>Phone (505) 670-9918</div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Oct 14, 2019, 11:32 AM Jon Zingale <<a href="mailto:jonzingale@gmail.com">jonzingale@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Thanks Tom.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">It is exciting to see topos theory finding a place in the sun.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">When I was participating in Dan Freed's TQFT seminars at</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">the University of Texas, we worked through one of Jacob's papers.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Despite the seemingly all-pervasive mistrust of category theory</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">(let alone topos theory), these seminars highlighted how this<br></div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">wondrous branch of mathematics can elucidate the importance</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">of considering structural equivalence when there cannot be</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">a notion of strict equality.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333"><br></div></div>
============================================================<br>
FRIAM Applied Complexity Group listserv<br>
Meets Fridays 9a-11:30 at cafe at St. John's College<br>
to unsubscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives back to 2003: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> by Dr. Strangelove<br>
</blockquote></div>