Between homogeneity and rigidity

Abstract

We study uncountable variants of structures that have the extension property for embeddings with respect to some Fraïssé class C. We call such structures Fraïssé-like structures. These structures are usually not uniquely determined. It was known that under the existence of Katětov functor for C there are Fraïssé-like structures of arbitrary big cardinality (density) with rich group of automorphisms. We show that in case where C is a class of all finite graphs or all finite metric spaces we may find Fraïssé-like structure of cardinality (density) ℵ1 with trivial group of automorphisms. We give an answer to a recent question from W. Kubi's, D. Mašulovi'c, Katětov functors, to appear in Applied Categorical Structures by constructing a Fraïssé class without a Katětov functor. 1

Studujeme nespočetné struktury, které splňují exstension property vzhledem k nějaké Fraïssé třídě C. Takovým strukturám říkáme Fraïssé-like struktury. Tyto struktury nejsou většinou jednoznačně určeny. Je známo, že pokud existuje Katětov funktor pro C, pak existují Fraïssé-like struktury libovolné kardinality s bohatou grupou automorfismů. Ukážeme, že v případě třídy všech konečných grafů a všech konečných metrických prostorů existuje Fraïssé-like struktura, která má kardinalitu ℵ1 a její grupa automorfismů je triviální. Dále zodpovíme otázku z W. Kubi's, D. Mašulovi'c, Katětov functors, to appear in Applied Categorical Structures tak, že nalezneme Fraïssé třídu bez Katětova funktoru. 1