Wikipedia : History of topos theory | Topos
Bibliography :
"Topos Theory" (1977) by
Peter T. Johnstone (1948-).
"Toposes,
Triples and Theories" (1985, 2005) Michael Barr, Charles Wells.
"Topoi: The Categorial Analysis of Logic" (2006) by Robert Goldblatt.
Videos :
A topos for algebraic quantum theory
by Chris Heunen (January 2008, Imperial College London).
Olivia Caramello interviewed by
Stéphane Dugowson & Anatole Khelif (2014).
Olivia Caramello (3:06)
(Laurence Honorat, 2014年10月16日).
Topos: Opening Lecture (1:06:35)
by Pierre Cartier (IHES, 2015年11月23日).
Crash course in topos theory [
1 |
2 |
3 |
4 ]
by André Joyal (IHES, 2015).
Categorial logic, classifying toposes & bridge technique, by Olivia Caramello
(IHES, 2015年11月23日) [
1:19:28 |
1:19:59 |
1:16:24 |
1:17:49 ]
Panel (1:04:30)
Olivia Caramello, André Joyal, Laurent Lafforgue, Alain Connes.
Toposes: Nice Places to Do Math (2:01)
MathProofsable (2017年01月09日).
Topos and Information (1:18:05)
by Daniel Bennequin (IHES, 2018年04月12日).
Grothendieck's 1973 topos lectures (1:31:08)
by Colin McLarty (2018年05月03日).
Glances at topos theory [
1 |
2 |
3 |
4 |
5 |
6
] by Francis Borceux (2018年09月20日).
La notion unificatrice de
topos (2:06:28) by Olivia Caramello (2018年03月06日).
Un topo sur les topos (1:57:30) by
Alain Connes (in French, 2018年10月07日).
Topos de Grothendieck (37:09) by
Stéphane Dugowson (December 2014).
Synthetic prequantum field theory (1:16:12) by
Urs Schreiber (2015年12月03日).
A sheaf on a topological space [画像: Come back later, we're still working on this one... ]
Sheaf
|
Stalk
Introduction to Sheaf Theory (57:39)
by Geoff Vooys (2018年10月12日).
In 1932, Pascual Jordan tried to isolate some axioms that an "algebra of observables" should satisfy when associativity is not assumed (cf. nLab).
[画像: Come back later, we're still working on this one... ]
Jordan algebras
Bohr topos and quantization (Math Overflow, 2013)
[画像: Come back later, we're still working on this one... ]
Francis William Lawvere (1937-)
[画像: Come back later, we're still working on this one... ]
History of topos theory | Alexander Grothendieck (1928-2014)
Using a topos perspective in 1998, Chris J. Isham (1944-) and Jeremy Butterfield (1954-) have stated the KS theorem thusly: It's impossible to assign values to all physical quantities whilst preserving the functional relations between them.
[画像: Come back later, we're still working on this one... ]
Kochen-Specker theorem (KS) | Simon B. Kochen (1934-) | Ernst Specker (1920-2011)
