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-boun...@redfish.com> on behalf of Jon Zingale <jonzing...@gmail.com> Sent: Friday, March 27, 2020 11:46 PM To: friam@redfish.com <friam@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
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives back to 2003: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
