Categorical Constructions and the Ramsey Property
Event details
| Date | 27.06.2016 |
| Hour | 16:15 › 17:45 |
| Location | |
| Category | Conferences - Seminars |
by Dragan Mašulović
Abstract
It has become obvious in recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this talk we explicitly put the Ramsey property and the dual Ramsey property in the context of categories of finite structures and investigate the invariance of these properties under adjunctions and categorical equivalence. We use elementary category theory to generalize some combinatorial results and using the machinery of very basic category theory provide new combinatorial statements (whose formulations do not refer to category-theroretic notions).
Bio
Dragan Mašulović is a full professor in the Department of Mathematics and Informatics,Faculty of Science, University of Novi Sad, Serbia, where he heads the chair of Theoretical Foundations of Computer Science. He is a co-author of 50 research papers on homomorphism-homogeneous structures, the structure of endomorphisms of homogeneous countable structures, clone theory, graph theory, and coalgebras. He is also interested in academic advancement of mathematically gifted students as well as quality assurance in higher education. He received his Ph.D., M.Sc. and B.Sc. from the University of Novi Sad. He was a research and teaching fellow at Johannes Kepler University, Linz and at Dresden University of Technology.
More information
Abstract
It has become obvious in recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this talk we explicitly put the Ramsey property and the dual Ramsey property in the context of categories of finite structures and investigate the invariance of these properties under adjunctions and categorical equivalence. We use elementary category theory to generalize some combinatorial results and using the machinery of very basic category theory provide new combinatorial statements (whose formulations do not refer to category-theroretic notions).
Bio
Dragan Mašulović is a full professor in the Department of Mathematics and Informatics,Faculty of Science, University of Novi Sad, Serbia, where he heads the chair of Theoretical Foundations of Computer Science. He is a co-author of 50 research papers on homomorphism-homogeneous structures, the structure of endomorphisms of homogeneous countable structures, clone theory, graph theory, and coalgebras. He is also interested in academic advancement of mathematically gifted students as well as quality assurance in higher education. He received his Ph.D., M.Sc. and B.Sc. from the University of Novi Sad. He was a research and teaching fellow at Johannes Kepler University, Linz and at Dresden University of Technology.
More information
Practical information
- Informed public
- Free
- This event is internal
Contact
- Host: Viktor Kuncak