Archiv aktualit
Seminář z algebry - 13.2.2020 PDF Tisk

Další seminář z algebry se koná 13.2.2020 od 13.00 v posluchárně M5.

F. Pakhomov

Dilators and Ptykes

Abstrakt:
Dilators are endofunctors D:WO->WO preserving pullbacks and directed co-limits, where WO is the category of well-orderings and strictly monotone maps. This notion was introduced by J.-Y. Girard as one of central notions within his approach to certain problems in proof-theory (calculation of proof-theoretic ordinals). Some more sophisticated applications motivate higher-order generalizations of the notion of dilator, known as ptykes. For example, ptykes of the type (WO->WO)->WO are functors from the category of dilators Dil to WO that preserve pullbacks  and  directed co-limits (here Dil is the category of dilators and Cartesian natural transformations).

In the first part of the talk I plan to discuss dilators, some basic results about them, and give some idea about their applications in proof-theory.  Next I plan to talk about my approach to the theory of ptykes, where  types of ptykes are interpreted as classes of relational structures that are closed under substructures.

Aktualizováno Čtvrtek, 06 Únor 2020 16:11
 
28. matematický výlet - 25.1.2020 PDF Tisk

Milí přátelé výletů a matematiky,

zveme Vás na 28. matematický výlet, který jsme naplánovali na  sobotu 25.1.2020. Sraz v 9:36 na zastávce autobusu linky 303, "Veverská Bítýška, náměstí".

Půjdeme osmnáctikilometrový okruh přes Lažánky po zelené, Pejškovským žlebem a po žluté zpět do Bítýšky, kde výlet oficiálně ukončíme. Návrat do Brna autobusem.

Aktuální informace, fotky z výletů a kronika jsou k nalezení na  http://conference.math.muni.cz/vylety/.

Přejeme pěkný leden a úspěšné zkouškové, těšíme se na Vás,

Jonatan Kolegar a Jana Bartoňová, organizátoři,
Jan Slovák, ředitel ÚMS


Aktualizováno Čtvrtek, 09 Leden 2020 16:32
 
«ZačátekPředchozí12345678910DalšíKonec»