[Alta-Logic] two talks

[Pieter Hofstra]

(Apologies for late notice!)

This week we have two student presentations on topics in category
theory, one by Sean Nichols (today, 2pm, ICT616) and another one by Ning
Tang (Friday, 2pm, ICT616).

1) Sean Nichols:
Title: Categories with Monoidal Structure and the Chu Construction for 
*-Autonomous Categories

Abstract: Given any arbitrary category, the presence of a binary tensor 
operation on that category, and a unit in that category may under 
certain circumstances induce a monoidal structure on the category. I 
discuss how a symmetric monoidal category along with an approprate 
adjoint gives additional operations, which result in a category, termed 
a *-autonomous category, that models Girard's linear logic. Finally, I 
demonstrate the Chu-construction, a method used to generate a 
*-autonomous category.

2) Ning Tang:
Title: Traced Monoidal Categories.
Abstract: TBA.