Intrinsic Co-Heyting boundaries in certain toposes

Name: Intrinsic Co-Heyting boundaries in certain toposes
Start: 1990
Location: CT90 category theory conference, Como, Italy

Lawvere, FW

FW Lawvere CT90 category theory conference, Como, Italy 1990

← All recordings

Recorded at CT90 category theory conference, Como, Italy (1990), featuring FW Lawvere. From the Michael Wright Collection, held by the Archive Trust for Research in Mathematical Sciences & Philosophy.

Identifier: mw0003326-cc-a_p
Format: Audio recording
Collection: Michael Wright Collection
Repository: Archive Trust for Research in Mathematical Sciences & Philosophy
Rights: Made available for personal scholarly use. Rights in recordings are generally held by the speakers or their estates. If you believe this recording infringes your rights, please contact [email protected].