[Alta-Logic] peripatetic seminar tomorrow

[Jonathan Gallagher]

The next meeting of the peripatetic seminar will be held tomorrow.
Details below!


*Where and When: *ICT 616 11:15 am Friday, October 27
*Who: *Ben MacAdam and Priyaa Srinivasan
*What and why:*

*Talk 1 - Ben MacAdam*

*Title*: Linear/Non-Linear models in a 2-category: Part 1

*Abstract*:
A linear/non-linear model is a monoidal adjunction between a cartesian
category and symmetric monoidal category. Such an adjunction gives rise to
a coalgebraic modality which in turn a model of MELL.  Birkedal showed that
these results translate easily to fibred monoidal categories — here one

obtains a model in each fiber category.  We show that many of these results
can be further generalized to pseudomonoids in 2-categories with suitable
universal properties.

*Talk 2 - Priyaa Srinivasan*

*Title: Structures for decoherent*

*Abstract:*
This talk will introduce and develop the structure required for studying
decoherence in certain monoidal categories.  Our driving example is a
decoherence structure in CP*[FHilb]

Our goal is to move towards understanding the following:
Theorem:
Let C be a dagger compact closed category and C_{pure} be a subcategory of
C that inherits the dagger and compact closed structure. Suppose C_{pure}
has a decoherence structure with purification, then there exists an
invertible dagger functor from CP*[C_{pure}] -> C such that F(f \otimes g)
= F(f) \otimes F(g).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20171026/f52710b6/attachment.html