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

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • (no subject)

    K was going to do a thing for her dad's birthday, but scheduling kept slipping and slipping so I guess we're going to try doing it tomorrow instead.

  • 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 

  • 0 comments