|
Online seminář z algebry - 13.5.2021 |
 |
 |
|
Další seminář z algebry se koná 13.5.2021 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde. Nathanael Arkor
Higher-order algebraic theories and relative monads
Abstrakt:
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 second-order algebraic theories, which extend classical (first-order) algebraic theories by variable-binding operators, such as the existential quantifier ∃x of first-order logic; the differential operators d/dx analysis; and the λ-abstraction operator of the untyped λ-calculus. Fiore and Mahmoud estab- lished a correspondence between second-order algebraic theories and a second-order equational logic, but did not pursue a general understanding of the categorical structure of second-order 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 higher-order structure, in particular subsuming the second-order algebraic theories of Fiore and Mahmoud, and describe a universal property of the category of nth-order algebraic theories. The central result is a correspondence between (n + 1)th-order algebraic theories and a class of relative monads on the category of nth-order algebraic theories, which extends to a monad correspondence subsuming that of the classical setting. Finally, I will discuss how the perspective lent by higher-order algebraic theories sheds new light on the classical monad–theory correspondence.
This is a report on joint work with Dylan McDermott.
|
|
Aktualizováno Středa, 12 Květen 2021 15:32 |
|
Online seminář z diferenciální geometrie - 17.5.2021 |
|
|
|
Seminář z diferenciální geometrie pokračuje 17.5.2021 od 10:00 online na platformě MS Teams
Připojení ke schůzce ZDE. Radoslaw Kycia (Masarykova univerzita):CoPoincare lemma and applications to physics Abstrakt:
I will outline the construction of the homotopy operator for codifferential defined on Riemannian manifolds. This notion can be used to solve, in a star-shaped 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] |
|
Aktualizováno Středa, 12 Květen 2021 15:36 |
|
|
|
|
|
