Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2014, December 17
Time:
Author: Codescu, Mihai
Title: 3/2 Colimits

Abstract:

In this talk we present 3/2 colimits in ordered categories, a categorical notion used by Joseph Goguen in conceptual blending. We discuss a characterisation of 3/2 colimits in the category of sets and partial functions and propose a way to construct all 3/2 colimits for an arbitrary diagram.


Slides


Back to the Oberseminar web page
Webmaster