We will continue online on Thursday, October 29th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Jiří Rosický

Injectivity in metric-enriched categories

Abstract:
Among Banach spaces approximate injectivity is more important than injectivity. We will treat it from the point of view of enriched category theory - as enriched injectivity over complete metric spaces.

The seminar on differential geometry will continue with this lecture:

October 26, 10am, online on MS Teams

Join via this LINK.

Keegan Flood (our new researcher, Masaryk university):

The geometry of a certain class of singular solutions to the c-projective metrizability equation

Abstract:

A nondegenerate solution to the c-projective metrizability equation is equivalent to a quasi-Kahler metric that is compatible with the c-projective class. By replacing this nondegeneracy condition on a solution to the metrizability equation with a nondegeneracy condition on its prolonged system we get a curved orbit decomposition of the underlying manifold where the open orbits inherit quasi-Kahler metrics and the closed orbits inherit CR-structures of hypersurface type. We may also examine the analogue of these considerations in the setting of projective geometry.

We will continue online on Thursday, October 22nd, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Christian Espindola

Categoricity in infinite quantifier theories

Abstract:
Morley's categoricity theorem states that a countable first-order theory categorical in some uncountable cardinal is categorical in all uncountable cardinals. Shelah's categoricity conjecture states that a similar eventual categoricity behavior holds for certain infinitary theories in finite quantifier languages. In this talk we will explain the main ideas of a work in progress aiming at a version of eventual categoricity for theories in infinite quantifier languages. On the categorical side this corresponds to accessible categories, where the notion of internal size is taken instead of the cardinality of the underlying model. We will start motivating this with some examples computing the categoricity spectrum of infinite quantifier theories. Then we will study also to which extent the Generalized Continuum Hypothesis can be avoided through forcing techniques and how the use of large cardinals can replace model-theoretic assumptions like directed colimits or amalgamation. Our ultimate goal is to determine whether large cardinals are really needed for these latter assumptions or whether they just follow instead from categoricity.

We will continue online on Thursday, October 15th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Taichi Uemura

The universal exponentiable arrow

Abstract:
Cartmell showed that the category of generalized algebraic theories is equivalent to the category of contextual categories. This implies that the theory of generalized algebraic theories is essentially algebraic. We characterize the essentially algebraic theory of generalized algebraic theories as the free category with finite limits and with an exponentiable arrow.

The main theorem and a syntactic proof are found in arXiv:2001.09940. In this talk we give a semantic proof.