"new foundations must give new math"

from "The Basic Picture. Structures for constructive topology"

by Giovanni Sambin, Oxford University Press, forthcoming

Registration

To register send an e-mail to maietti @ math.unipd.it

Registration fee: 40 euros
(to be paid at arrival).

Under the patronage of

Dipartimento di Matematica Pura ed Applicata, Università degli Studi di Padova, Italy

University of Padova, Italy

AILA (Italian Association of Logic and Applications), whose first president was Giovanni Sambin (from 1987 to 1994).

Abstracts » Dosen

Kosta Dosen
Belgrade

Modal Logic and Frobenius Algebras

It is well known that deductions involving only modalities in the modal logic S4 are closely connected with the categorial notions of monad and comonad.

When we pass to S5, we obtain a notion slightly more general than the notion of Frobenius monad, which underlies Frobenius algebras. Frobenius algebras play an important role in connection with topological quantum field theories.

The main result in this area, which may be understood as a categorial coherence theorem that gives a geometrical description of the free commutative Frobenius monad via cobordisms in dimension 2, is based on more general analogous geometrical coherence results for deductions involving the modalities in S5.