|
|
Innolec lectures - Benno van den Berg - Effective Kan Fibrations |
 |
 |
|
Lectures between 21.10. - 25.10.2024, DMS building (M5 and seminar room, level2 )
Benno van den Berg, University of Amsterdam
Effective Kan Fibrations
Mon 21.10. 14:00-15:00 (seminar room, level 2)
Tue 22.10. 13:00-14:00 (seminar room, level 2)
Wed 23.10, 14-15 (M5)
Fri 25.10. 13:00-14:00 (seminar room, level 2)
Abstract: Simplicial techniques are important in homotopy theory and (higher) category theory. They are also important in type theory, because they were used by Voevodsky to construct a new model of type theory. This model validates principles like the Univalence Axiom and Higher-Inductive Types, leading to a new form of type theory, which goes by the name of Homotopy Type Theory. This model construction uses a fundamental result about simplicial sets: that it carries a Quillen model structure in which the fibrations are the Kan fibrations.
It turns out that the standard proofs of the existence of the model structure as well as the model of homotopy type theory use non-constructive principles; however, in this series of lectures I want to outline an approach that aims to give a constructive account of these results. For this, a key ingredient is the theory of algebraic weak factorisation systems, as developed by Garner, Riehl, Bourke and others; this theory is used to formulate a more explicit variant of the traditional Kan fibrations: the effective Kan fibrations, as introduced by Faber and myself. I will explain these notions and indicate how far we are in giving constructive and explicit proofs of the fundamental results in simplicial homotopy theory. I will also explain the relation to other approaches, in particular one due to Henry and Gambino.
This series of lectures will be accessible to an audience of PhD students and researchers in Mathematics with a basic training in category theory.
|
|
Last Updated on Wednesday, 16 October 2024 14:54 |
|
|
Visit of a delegation from Indonesia |
|
|
|
A delegation of mathematicians from Gadjah Mada University in Indonesia visited Brno. They also came to our department to discuss the potential of future cooperation between our organizations.
Website of the University Gadjah Mada.
|
|
Last Updated on Wednesday, 16 October 2024 14:22 |
|
MUNI Seminar Series - Tamar Ziegler - Sign patterns of the Mobius function |
|
|
Mathematics, Physics & Computer Science Seminar Series
October 9, 2024, 4pm, meeting room 300, Komenského náměstí 220/2
Tamar Ziegler
Sign patterns of the Mobius function
The Mobius function is one of the most important arithmetic functions. There is a vague yet well known principle regarding its randomness properties called the “Mobius randomness law". It basically states that the Mobius function should be orthogonal to any "structured" sequence. P. Sarnak suggested a far reaching conjecture as a possible formalization of this principle. He conjectured that "structured sequences" should correspond to sequences arising from deterministic dynamical systems. Sarnak’s conjecture follows from Chowla’s conjecture - which is the mobius version of the prime tuple conjecture. I will describe progress in recent years towards these conjectures, building on major advances dynamics, additive combinatorics, and analytic number theory.
Tamar Ziegler is an Israeli mathematician known for her work in ergodic theory, combinatorics and number theory. She received her Ph.D. from the Hebrew University in 2003 under the supervision of Hillel Furstenberg.
She was a faculty member at the Technion Institute of Technology until 2013, and is currently the Henry and Manya Noskwith Chair of Mathematics at the Einstein Institute of Mathematics at the Hebrew University.
She held visiting professorships at Stanford university in 2012-13, at MSRI in 2017, and was a distinguished visiting professor at the IAS in Princeton in 2022-23. Ziegler received the Alon Fellowship and the Ostrowski Fellowship in 2008, the Erdos Prize in 2011, the Bruno memorial award in 2015. She was the European Mathematical Society lecturer of the year in 2013, and an invited speaker at the 2014 International Congress of Mathematicians. She was elected to Academia Europaea in 2021.
|
|
Last Updated on Friday, 04 October 2024 10:57 |
|
Public talk - October 16, 2024 - doc. RNDr. Michal Veselý, Ph.D.: Non-almost periodic and non-asymptotically almost periodic solutions of difference and differential equations |
|
|
|
Dear Colleagues,
I would like to invite you to the public talk of
doc. RNDr. Michal Veselý, Ph.D.,
Non-almost periodic and non-asymptotically almost periodic solutions of difference and differential equations
which is organized within his professor appointment procedure. The talk will take place on Wednesday, October 16, 2024, at 16:00 in the aula auditorium at the Faculty of Science of MU (Kotlářská 2, Brno).
The talk will be organized in the hybrid form, you can join also via the Zoom link:
https://cesnet.zoom.us/j/97164481909?pwd=ybLDIcDQFixHjOJZ4V4acQzTjsQ4gE.1
Meeting ID: 971 6448 1909
Passcode: 921541
With best regards,
Roman Šimon Hilscher
chairman of the professor appointment committee |
|
International Workshop “Smooth and Analytic Regularity in CR Geometry”, July 16-18, 2024 |
|
|
|
International Workshop “Smooth and Analytic Regularity in CR Geometry”
July 16-18, 2024
Department of Mathematics, Masaryk University, Kotlarska 2, Brno, Building 08, Main Seminar Room (2d floor)
Schedule HERE |
|
Last Updated on Thursday, 11 July 2024 14:28 |
|
|
|
|
|
|
Page 2 of 55 |
