Online algebra seminar  May 13th, 1pm 


We will continue online on Thursday, May 13th, at 13.00 CEST on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:
Nathanael Arkor
Higherorder algebraic theories and relative monads
Abstract: There have traditionally been two ways to reason about universal algebraic structure categorically: via algebraic theories, and via monads. It is well known that the two are tightly related: in particular, there is a correspondence between algebraic theories and a class of monads on the category of sets.
Motivated by the study of simple type theories, Fiore and Mahmoud introduced secondorder algebraic theories, which extend classical (firstorder) algebraic theories by variablebinding operators, such as the existential quantifier ∃x of firstorder logic; the differential operators d/dx analysis; and the λabstraction operator of the untyped λcalculus. Fiore and Mahmoud estab lished a correspondence between secondorder algebraic theories and a secondorder equational logic, but did not pursue a general understanding of the categorical structure of secondorder algebraic theories. In particular, the possibility of a monad–theory correspondence for second order algebraic theories was left as an open question. In this talk, I will present a generalisation of algebraic theories to higherorder structure, in particular subsuming the secondorder algebraic theories of Fiore and Mahmoud, and describe a universal property of the category of nthorder algebraic theories. The central result is a correspondence between (n + 1)thorder algebraic theories and a class of relative monads on the category of nthorder algebraic theories, which extends to a monad correspondence subsuming that of the classical setting. Finally, I will discuss how the perspective lent by higherorder algebraic theories sheds new light on the classical monad–theory correspondence.
This is a report on joint work with Dylan McDermott. 
Last Updated on Wednesday, 12 May 2021 15:57 

Online differential geometry seminar  May 17, 10am 


The seminar on differential geometry will continue with this lecture:
May 17, 10am, online on MS Teams
Join via this LINK.
Radoslaw Kycia (Masaryk university):
CoPoincare lemma and applications to physics
Abstract:
I will outline the construction of the homotopy operator for codifferential defined on Riemannian manifolds. This notion can be used to solve, in a starshaped open subset, many equations of mathematical physics including Dirac, Maxwell and string theory problems. I will also present an intriguing correspondence between (co)homotopy operator and Clifford algebra. I will also discuss various incarnations of spinors that appear in the literature. The talk is based on the draft [2] and [1].
[1]Radoslaw Kycia, The Poincare lemma, antiexact forms, and fermionic quantum harmonic oscillator, Results in Mathematics 75, 122 (2020) [2] Radoslaw Kycia, The Poincare lemma for codifferential, anticoexact forms, and applications to physics, arXiv: 2009.08542 [math.DG]

Last Updated on Wednesday, 12 May 2021 15:54 
Online algebra seminar  May 6th, 2pm 


We will continue online on Thursday, May 6th, the special time of 14.00 CEST on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:
Walter Tholen
Spaces vs Categories, Perfect Maps vs Discrete Cofibrations
Abstract: We consider perfect maps of topological spaces and discrete cofibrations of categories to guide us into Burroni's notions of Tcategory and Tfunctor. In that environment we establish a socalled comprehensive factorization system that entails the classical StreetWalters system, as well as the (antiperfect, perfect)system for continuous maps of Tychonoff spaces known since the 1960s. (Based on joint work with Leila Yeganeh) 
Last Updated on Tuesday, 04 May 2021 10:09 
Online algebra seminar  April 29th, 1pm 


We will continue online on Thursday, April 29th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:
Hoang Kim Nguyen
Contravariant Homotopy Theories and Quillen’s Theorem A
Abstract: In this talk I will show how to construct a model structure on a locally presentable category with a suitable cylinder object such that the model structure behaves in a ”covariant” or ”contravariant” way with respect to the cylinder. Examples of such model structures include the covariant and contravariant model structures on simplicial sets and the cocartesian and cartesian model structures on marked simplicial sets modelling presheaves with values in ∞groupoids and ∞categories respectively. The model structures come with an abstract notion of cofinal functor which recovers the usual definition of cofinal functor for ∞categories when applied to the covariant and contravariant model structures on simplicial sets. When applied to presheaves valued in ntypes, one obtains a version of Quillen’s Theorem A for ncategories. 
Last Updated on Friday, 23 April 2021 08:24 
Habilitation lecture on April 27, 2021: John Bourke, PhD. 


Dear colleagues, let me invite you to the habilitation lecture of John Bourke, PhD., which will be held on Tuesday, April 27, 2021, at 16 via Zoom https://cesnet.zoom.us/j/92131900502?pwd=blduc1JWRGhobU5DSHJXVkNDWmxIdz09 Meeting ID: 921 3190 0502 Passcode: 510616 TITLE: Factorisation systems in algebra and homotopy theory. Jiří Rosický Chairman of the Habilitation Board 
Last Updated on Tuesday, 20 April 2021 08:09 

