18/06/07 Intl. Category Theory Conference, Carveilho: FW Lawvere: Strong Nullstellensatz for Euler continua in a cohesive topos / Tom Leinster: Jonsson-Tarski toposes Add to clipboard MW0000141 · Item · 2007-06-18 Part of Michael Wright Collection Lawvere, F. William
20/06/07 Intl. Category Theory Conference, Carveilho: Marcelo Fiore: Mathematical theory of substitution / Stephen Lack: Lawvere 2-theories Add to clipboard MW0000141 · Item · 2007-06-20 Part of Michael Wright Collection Fiore, Marcelo
21/06/07 Intl. Category Theory Conference, Carveilho: P.T Johnstone: Lawvere, cohesion Add to clipboard MW0000140 · Item · 2007-06-21 Part of Michael Wright Collection Johnstone, Peter T.
23/06/07 Intl. Category Theory Conference, Carveilho: Martin Hyland: Fibrations in logic Add to clipboard MW0000140 · Item · 2007-06-23 Part of Michael Wright Collection Hyland, Martin