Relatórios
25/06/08 International Category Theory Meeting, Calais: Marta Bunge: Intrinsic n-stack completion over a topos / discussions incl. FW Lawvere & M Hyland / Pedro Resende: Quantales and toposes / Andrée Ehresmann: From Schwartz distributions to control and evolutive systems / lunchtime conversations incl. FW Lawvere / Taslyn Kusalik: The continuum hypothesis in topos theory and in algebraic set theory / discussion incl. FW Lawvere