[Alta-Logic] next semester and storage basics

[Jonathan Gallagher]

We will give a highly informal introduction to storage modalities.  Before
doing so, it may be helpful to develop a bit of organization for next
semester.

Title: A storage story (part 1)
Abstract:
  A storage modality is a monoidal comonad on a symmetric monoidal category
that gives objects a comonoidal structure.  Such comonads turn out to be
essential to describing a categorical model of linear logic.  We will
review storage and some of the basic results about storage modalities.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141218/8a886325/attachment.html