?

Log in

No account? Create an account
Spent some time unpacking how Dan Licata & Michael Shulman's… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Sep. 20th, 2015|08:20 pm]
Jason
[Tags|]

Spent some time unpacking how Dan Licata & Michael Shulman's categorify-all-the-judgments thingy works with multiple hypotheses and focusing. It ends up being kind of pretty. I like that the answer to "how you get a triple adjunction" (which is the thing they do in their write-up) and "how you get ordinary not-linear logic out of linear logic" have the same type of answer: just throw in some 2-cells.
LinkReply