It is necessary to activate JavaScript to navigate this site.

Grant 2011/03/B/ST1/00419     29.8.2012 - 28.2.2015
Grantor: National Research Center (Poland)

Category-theoretic framework for the Fraisse-Jonsson construction

Objectives:
The main probject objective is to develop the general and applicable theory of Fraissé-Jónsson limits, based on category theory. The project is divided into the following 4 intermediate goals:

  1. Developing the theory of Fraissé-Jónsson limits of singular length.
  2. Finding a suitable theory of categories with measures, capturing the case of epsilon-isometries of metric or Banach spaces.
  3. Investigating automorphism groups of category-theoretic Fraissé limits.
  4. Studying Fraissé-Jónsson limits of projection-embedding pairs.

Goal 1 aims at better understanding of Fraissé-Jónsson limits induced by ``pushout generated arrows", in particular, when the construction has a singular length. Successful results of Goal 2 will shed more light at objects like the Gurarii space, whose structure and properties are still not well understood.  Goal 3 aims at deeper understanding of combinatorial properties of categories related to topological dynamics. Finally, Goal 4 is devoted to the study of important examples of categories related to projections. Particular examples come from domain theory.


  IM leader :

Kubiś Wiesław

  Main investigator:

Kubis  Wieslaw

 Participating institutions:

Jan Kochanowski University, Kielce, Poland, Coordinator