TallCat

Logo

Webpage of the Compositional Systems and Methods group at TalTech.

15 April 2021, 14:00, online

Speaker

Chad Nester, Tallinn University of Technology

Title

Functorial Semantics for Partial and Relational Theories

Abstract

I will give a relatively high-level overview of the string-diagrammatic approach to classical algebraic theories, and then show how it extends both to algebraic theories whose operations are partial maps, and algebraic theories whose operations are relations.