This talk is meant to give an overview of the semantics of HoTT in (∞,1)-categories, tackling the key challenge of rigidification: the process of bridging homotopy-coherent notions phrased in models of higher categories such as quasicategories, and their type-theoretical counterparts that must account for the inherent strictness of type theory.
\r\nAfter quickly recalling the usual categorical semantics of extensional Martin-Löf type theory within locally cartesian closed category, the plan is to present some useful ideas to carry over some of the argument to the higher setting. Specifically, I will discuss the process of turning an elementary higher topos into a model of HoTT, and sketch important ideas used to prove the internal language conjecture for locally cartesian closed (∞,1)-categories.
\r\n
\r\n
Thesis Directors: Prof. L. Shchutska, Prof. E. Graverini
\r\nPhysics doctoral program
\r\nThesis Nr. 11987
\r\n
\r\nTo take part in the public defense, please contact directly the speaker
Thesis Director: Prof. J. Waser,
\r\nChemistry and Chemical Engineering doctoral program
\r\nThesis Nr. 12072
\r\n
\r\nTo take part in the public defense, please contact directly the speaker
Thesis Director: Prof. S. Kashyap,
\r\nComputer and Communication Sciences doctoral program
\r\nThesis Nr. 11376
\r\n
\r\nTo take part in the public defense, please contact directly the speaker
Thesis Director: Prof. M. Jaggi,
\r\nComputer and Communication Sciences doctoral program
\r\nThesis Nr. 10949
\r\n
\r\nTo take part in the public defense, please contact directly the speaker
Thesis Director: Prof. C. Hébert,
\r\nPhysics doctoral program
\r\nThesis Nr. 12109
\r\n
\r\nTo take part in the public defense, please contact directly the speaker
Weekly BioEngineering Talks (Lunch Provided)
\r\n
\r\nINVITED SPEAKER:
\r\nFrom single-molecule biophysics with Graphene Energy Transfer to Brownian DNA computing
\r\nProf. Dr. Philip Tinnefeld, LMU Munich
\r\nHost: Prof. Aleksandra Radenovic
\r\n
\r\nAbstract:
\r\nGraphene-on-glass coverslips are an emerging microscopy platform as resonant energy transfer to graphene offers an axial ruler in the 5-40 nm range. I present single molecule biophysics experiments of protein/DNA interactions using Graphene Energy Transfer (GET) in combination with the discovery that dsDNA adopts a vertical orientation on graphene. Axial information of DNA structure and protein positions is deduced from GET-efficiency and xy-information is obtained e.g. by photon-efficient pMINFLUX revealing simultaneous bending and torsion of enzyme induced DNA conformations. Finally, I discuss how multi-color smFRET with dark quenchers probes states of DNA nanorobots and Brownian DNA computers that work close to the thermodynamic optimum.
\r\n
\r\nBio:
\r\nPhilip Tinnefeld is a Professor of Physical Chemistry at Ludwig-Maximilians-Universität München, leading a highly interdisciplinary NanoBioSciences research group that brings together molecular biology, biophysics, nanophotonics, and physical chemistry. He specialises in single-molecule detection and super-resolution microscopy, and he uses DNA origami to build modular nanoscale devices—such as force sensors, fluorescence amplifiers, and molecular robots—that can sense, compute, and respond autonomously. Under his leadership, the lab is also developing advanced biosensing platforms and imaging tools by combining DNA nanotechnology with 2D materials like graphene, pushing the frontiers of how we observe and control biological processes at the molecular level.
\r\n
\r\nSTUDENT SPEAKER:
\r\n
\r\nUnderstanding oxidative stress response in animals - a case study of the essential enzyme adenosylhomocysteinase, AHCY
\r\nYong-Qi Gao, Zenk Lab
\r\n
\r\n
\r\n------------------------------------------------------------------------------
\r\n
\r\nBioEngineering Talks mandatory EDBB Seminar Attendance (1st-Year PhD Students)\r\n
A group homomorphism is called a geomorphsism in dimension n if it is the homomorphism induced on the fundamental groups by a map between closed orientable n-manifolds, this map being of nonzero degree. This turns out to be a quite interesting notion. In this talk, we shall discuss necessary and/or sufficient conditions for a group homomorphism to be a geomorphism in degree n>= 4.
\r\n
We are pleased to invite you to the first Cogito Lunch event, a new series building on the tradition of LUNCHenPHILO / L’heure H, those philosophical interludes that have been part of some of our lunch breaks since 2021.
\r\n
\r\nOrganized by the Vice-Presidency for Education (VPE), these sessions aim to foster dialogue between experts from various disciplines and the campus community, particularly students. We hope, therefore, to explore ideas and questions that stimulate our imagination, challenge our sensibilities, and shed light on our fears and expectations. The discussions will be moderated by journalist Anne Laure Gannac.
\r\n
\r\nFor the session on Thursday, November 5, we’ll tackle a question that is as fascinating as it is mind-boggling: “When does consciousness begin?” Neuroscience, machine learning, and the humanities will come together to try to answer it.
\r\n
\r\nThe discussion is open with:\r\n