<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Jon,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I suppose you saw this, just "cabal install cpl".<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://github.com/msakai/cpl.git" id="LPNoLP906083">https://github.com/msakai/cpl.git</a><br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Related stuff:<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://arxiv.org/pdf/1508.06779.pdf" id="LPlnk217636">https://arxiv.org/pdf/1508.06779.pdf</a></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://bartoszmilewski.com/2019/10/09/fibrations-cleavages-and-lenses/" id="LPNoLP261698">https://bartoszmilewski.com/2019/10/09/fibrations-cleavages-and-lenses/</a></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Less related to category theory, but perhaps also of interest is the Mercury programming language. Cross referencing sets like that in Mercury is done in a nice way.<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Marcus<br>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Friam <friam-bounces@redfish.com> on behalf of Jon Zingale <jonzingale@gmail.com><br>
<b>Sent:</b> Friday, March 27, 2020 11:46 PM<br>
<b>To:</b> friam@redfish.com <friam@redfish.com><br>
<b>Subject:</b> [FRIAM] talk about rabbit holes ...</font>
<div> </div>
</div>
<div>
<div dir="ltr">
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
Glen, Marcus,</div>
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
<br>
</div>
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
FWIW, I spent the evening sketching out a direction</div>
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
that could be fruitful when <a href="https://github.com/jonzingale/Haskell/blob/master/Logic/FunctorialLogic.hs">
writing the quantifiers</a> from</div>
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
the perspective of an adjoint situation. It would be cool</div>
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
if it could be easily extended to doing something like</div>
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
categorical logic within Haskell's fairly limited type system.</div>
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
<br>
</div>
<div class="x_gmail_default" style="font-family:garamond,serif; font-size:small; color:#333333">
Jon</div>
</div>
</div>
</body>
</html>