Jure Taslak: Regular logic and regular categories (part 2)

Datum objave: 16. 3. 2021
Seminar za temelje matematike in teoretično računalništvo
četrtek
18
marec
Ura:
10.15 - 12.00
Lokacija:
Spletni seminar
ID: 963 7253 5713

Abstract: Regular logic is a fragment of first order logic. Its logical operations consist of truth, conjunction and existential quantification. It is the internal language of regular categories. These are categories which admit a good notion of image factorization. We will discuss models of regular logic in regular categories and their properties.