Jason (jcreed) wrote,
Jason
jcreed
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.
Tags: math
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    Help
  • 0 comments