Skip to main content

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

Date of publication: 16. 3. 2021
Mathematics and theoretical computing seminar
Thursday
18
March
Time:
10:15 - 12:00
Location:
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.