BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

KPT correspondence for weak Fraïssé categories Bartos, Adam

Description

I will give a short overview of a category-theoretic formulation of Fraïssé's theorem and of a variant of the KPT correspondence applicable in situations where we do not have the full amalgamation property and/or where we don’t want to explicitly encode our objects as first-order structures. As an example we will consider a certain category of finite trees and strong embeddings, related to Milliken’s Ramsey theorem for trees.

Item Media

Item Citations and Data

Rights

Attribution-NonCommercial-NoDerivatives 4.0 International