Michael Wright Collection

Intl. Category Theory Conference

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Intl. Category Theory Conference

Términos equivalentes

Intl. Category Theory Conference

Términos asociados

Intl. Category Theory Conference

4 Descripción archivística resultados para Intl. Category Theory Conference

4 resultados directamente relacionados Excluir términos relacionados

21/06/07 Intl. Category Theory Conference, Carveilho: P.T Johnstone: Lawvere, cohesion

MWC-MW0000140 · Unidad documental simple

Parte de Michael Wright Collection

23/06/07 Intl. Category Theory Conference, Carveilho: Martin Hyland: Fibrations in logic

MWC-MW0000140 · Unidad documental simple

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

MWC-MW0000141 · Unidad documental simple

Parte de Michael Wright Collection

20/06/07 Intl. Category Theory Conference, Carveilho: Marcelo Fiore: Mathematical theory of substitution / Stephen Lack: Lawvere 2-theories

MWC-MW0000141 · Unidad documental simple

Parte de Michael Wright Collection