<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>