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.