21/06/07 Intl. Category Theory Conference, Carveilho: P.T Johnstone: Lawvere, cohesion Adicionar à área de transferência MW0000140 · Item Parte de 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 Adicionar à área de transferência MW0000141 · Item Parte de Michael Wright Collection
20/06/07 Intl. Category Theory Conference, Carveilho: Marcelo Fiore: Mathematical theory of substitution / Stephen Lack: Lawvere 2-theories Adicionar à área de transferência MW0000141 · Item Parte de Michael Wright Collection
23/06/07 Intl. Category Theory Conference, Carveilho: Martin Hyland: Fibrations in logic Adicionar à área de transferência MW0000140 · Item Parte de Michael Wright Collection