[FRIAM] talk about rabbit holes ...

[Marcus Daniels]

Jon,

I suppose you saw this, just "cabal install cpl".

https://github.com/msakai/cpl.git

Related stuff:

https://arxiv.org/pdf/1508.06779.pdf

https://bartoszmilewski.com/2019/10/09/fibrations-cleavages-and-lenses/

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.

Marcus
________________________________
From: Friam <friam-bounces at redfish.com> on behalf of Jon Zingale <jonzingale at gmail.com>
Sent: Friday, March 27, 2020 11:46 PM
To: friam at redfish.com <friam at redfish.com>
Subject: [FRIAM] talk about rabbit holes ...

Glen, Marcus,

FWIW, I spent the evening sketching out a direction
that could be fruitful when writing the quantifiers<https://github.com/jonzingale/Haskell/blob/master/Logic/FunctorialLogic.hs> from
the perspective of an adjoint situation. It would be cool
if it could be easily extended to doing something like
categorical logic within Haskell's fairly limited type system.

Jon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20200328/56a7048a/attachment.html>