Title: Light condensed setsAbstract: This talk will introduce us to the light condensed setting, the new way of dealing with set-theoretic technicalities in the condensed setup. Particular emphasis will be on the changes, differences, and simplifications compared to the "old" approach, which we discussed last semester.
Title: Solid modules Abstract: For this talk I would like to define and study solid abelian groups, whose construction is motivated in topology/analysis, by the desire to single out (metrizable) topological vector spaces that are complete.
Title: Fibered Yoneda Lemma in Lean 4 Abstract: In this talk, I would like to give you a sense of what it’s like to do category theory in a computer. I use an interactive theorem prover called Lean4, a complex piece of software based on dependent type theory. In the first part, I will give a quick […]