The School of Computational Sciences would like to invite you to its research seminar!
When: Thursday April 17th 2014 at 4pm (tea and cookies at 3:30pm)
Where: Von Neumann Hall
Speaker: Our very own Professor Andrew Moshier
Title: STRING DIAGRAMS FOR CATEGORIES OF POSETS
Abstract: TString diagrams, e.g., for braiding and symmetric monoidal categories, have proven useful in Physics and Theoretical Computer Science, thanks to coherence theorems that tell us that diagrams equivalent under suitable topological invariants denote equal morphisms. In this talk, we extend a similar courtesy to categories of partially ordered sets by adding an order on diagrams and allowing for topologically “lossy” diagram rewrites. As an application, we characterize the objects in such categories that behave as semi-lattices, lattices and distributive lattices.