[Alta-Logic] peripatetic seminar tomorrow

[Jonathan Gallagher]

We are pleased to announce that the peripatetic seminar will meet tomorrow
at 11:15 am.

*Location*: ICT 616 at 11:15 am on Friday December 1
*Speaker*: Priyaa Srinivasan
*Title*:  Structures for decoherence
*Abstract:*

The goal is this talk is to prove the following theorem about decoherence
structures that have been introduced in my earlier talk:
Theorem:
Suppose a compact dagger category $\mathbb{C}$ comes with a compact dagger
subcategory $\mathbb{C}_{Pure}$ and a decoherence structure with
purification, then there is an isomorphism of categories between
CP*[\mathbb{C}_{pure}] between \mathbb{C}.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20171130/fb730c92/attachment.html