Seminar: Kishan Dayaram, An Introduction to Effectus Theory

Title of talk: An Introduction to Effectus Theory

Speaker: Kishan Dayaram

(University of Johannesburg, SA)

Abstract: 

The context of an effectus is a new development in categorical logic which generalizes both classical and quantum logic. An effectus allows for a categorical formulation of quantum mechanics in which the effects of the quantum system are required to form an effect algebra (a generalization of the space of effects of a quantum system).  In this talk, we introduce the context of an effectus and show that it provides new ways of reasoning about quantum systems. In particular, the notion of pure maps is introduced for the context of an effectus. Pure maps are those that are the composition of a compression map and a filter map which corresponds to measuring and forgetting the validity of an effect respectively. Lastly, we show that conditions on a form (a faithful, amnestic functor) may be used to classify certain properties of an effectus.

Bio:

Kishan Dayaram is a final year PhD mathematics student at the University of Johannesburg. He is supervised by Dr Amartya Goswami (UJ) and Prof Zurab Janelidze (Stellenbosch University). His research is on diagram lemmas of homological algebra. His research interests include category theory, group theory and homological algebra.

An announcement may be found here.