talk about rabbit holes ...

[jon zingale]

Glen, Marcus,

FWIW, I spent the evening sketching out a direction

that could be fruitful when writing the quantifiers 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

[Marcus G. 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 <[hidden email]> on behalf of Jon Zingale <[hidden email]>
Sent: Friday, March 27, 2020 11:46 PM
To: [hidden email] <[hidden email]>
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 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

[jon zingale]

The Basold paper looks really good, I am excited to jump in.

Perhaps as a side note, these are really exciting times. How

wonderful to see the places modern type theory is seeping

its way into the structure and implementation of practical

programs.

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