Jason (jcreed) wrote,

Giving a practice talk was an amazingly good idea, because it turned out what I wrote was a far sketchier talk than I thought it was. bhudson was extremely helpful, and so was everyone else that came. Thank you all very much! I have some ideas now for how to redo it, but only about one day in which to implement them. My excuse for putting this off so long is spending all of last week chasing down the LFMTP deadline, but eh.

Also had a meeting with Steve Awodey this morning during which we talked about how the categorical semantics for dependent types + world-labelled type operators might look.
Tags: categories, talks, work

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded