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

[ggpayett at ucalgary.ca]

Just a reminder.

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



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