Archiv aktualit
Online seminář z algebry - 13.5.2021 PDF Tisk

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

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 PDF Tisk

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

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