[Alta-Logic] two talks this week

[Jonathan Gallagher]

who: Jonathan Gallagher
what: Internal Categories part 1
where: ICT 616 2 pm Today
abstract:  This will be the first part of an at least three part series on
internal categories.
                Our end goal is to understand when a category \X contains
an internal
                category \C with the property that \X \simeq \C.  Today's
talk will focus
                on proving that the collection of internal categories,
functors, and
                natural transformations form a 2-category.

who: Jonathan Gallagher
what: Categorical Models of MELL
where: ICT 616 11:30 August 20
abstract:  In this talk we will review the answer to the question:
               "What is a categorical model of (the multiplicative,
exponential fragment of)
               linear logic?"  In particular we will show how and when
comonads on a monoidal
               category lead to products on the category of coalgebras for
the comonad.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150819/a0cb68ef/attachment.html