2021-09-16: Ezra Schoen (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Ezra Schoen (MSP)

Introduction to universal coalgebra

Abstract

The aim of this presentation is to give an overview of various concepts within universal coalgebra. We will explore such topics as corecursion, bisimulation and coalgebraic (modal) logic. No prior knowledge is required, save for some elementary category theory.

2021-09-16 15:00:00 UTC
Online