21/06/07 Intl. Category Theory Conference, Carveilho: P.T Johnstone: Lawvere, cohesion Add to clipboard MW0000140 · Stuk Part of Michael Wright Collection
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 · Stuk Part of Michael Wright Collection
20/06/07 Intl. Category Theory Conference, Carveilho: Marcelo Fiore: Mathematical theory of substitution / Stephen Lack: Lawvere 2-theories Add to clipboard MW0000141 · Stuk Part of Michael Wright Collection
23/06/07 Intl. Category Theory Conference, Carveilho: Martin Hyland: Fibrations in logic Add to clipboard MW0000140 · Stuk Part of Michael Wright Collection