[Alta-Logic] Talk on wednesday 26th Nov.

[ggpayett at ucalgary.ca]

Start: 11/26/2008 - 13:00
End: 11/26/2008 - 14:00

Room: ICT 616

Speaker: Gillman Payette

Abstract:

Category theory presents itself as useful in understanding and
characterizing phenomena in logic. One notion that is common in category
theory is that of adjoint functor. I will focus on the uses of adjoint
functors in two areas of logic: Translation and identification of logics.

I will describe some necessary and sufficient conditions for the existence
of adjunctions of particular interest to the logician. I will use these to
present some of the most viable ways of construing, in general,
translations between logics, and identity between logics.


-- 
Gillman Payette
Department of Philosophy
University of Calgary
2500 University Drive NW
Calgary, AB T2N 1N4, Canada
Ph 403.220.7518
Fax 403.289.5698