MFG Seminar 9th JanuaryPublished: Thursday, 05 January 2017
The next MFG seminar will take place on 9th January from 2.00 in 2.33.The series will continue fortnightly on Mondays at this time and location.The first speaker will be Francisco Lobo.His title and abstract are given below.
The next MFG seminar will take place on 9th January from 2.00 in 2.33. The series will continue fortnightly on Mondays at this time and location. The first speaker will be Francisco Lobo. His title and abstract are given below.
Title: Adjunctions for De Morgan structures
Abstract: Once dagger categories are considered, in addition to the
classical "opposite" duality, there is the concept of De Morgan conjugate.
Just like the former leads to the theory of Galois connections,
there is also a specialized version of the theory of adjunctions for the latter.
This subsumes the notion of conjugate that Jósson and Tarski introduced.
When such an alternative transposition concept is properly presented,
it is possible to find natural examples in common mathematical use.
For example, it appears in the (sensible) definition of star-autonomous categories.