Department of Mathematics
University of Western Ontario
Department of Philosophy
University of Notre Dame
Baez, J. C. and Shulman, M. [unpublished]: ‘Lectures on n-Categories and Cohomology’.
Benini, M., Schenkel, A. and Szabo, R. J. : ‘Homotopy Colimits and Global Observables in Abelian Gauge Theory’, Letters in Mathematical Physics, 105, pp. 1193–222.
Borceux, F. [1994a]: Handbook of Categorical Algebra, 1: Basic Category Theory, Cambridge: Cambridge University Press.
Borceux, F. [1994b]: Handbook of Categorical Algebra, 2: Categories and Structures, Cambridge: Cambridge University Press.
Borceux, F. [1994c]: Handbook of Categorical Algebra, 3: Categories of Sheaves, Cambridge: Cambridge University Press.
Dougherty, J. : ‘Sameness and Separability in Gauge Theories’, Philosophy of Science, 84, pp. 1189–201.
Lurie, J. : Higher Topos Theory, Princeton, NJ: Princeton University Press.
MacLane, S. : Categories for the Working Mathematician, New York: Springer.
Nguyen, J., Teh, N. J. and Wells, L. [forthcoming]: ‘Why Surplus Structure Is Not Superfluous’, British Journal for the Philosophy of Science.
nLab : ‘Principle of Equivalence‘.
Schreiber, U. and Shulman, M. [unpublished]: ‘Quantum Gauge Field Theory in Cohesive Homotopy Type Theory’.
 This first part treats purely quantum processes, whereas the second part includes classical data and its interaction with quantum data, and the third part treats the concepts of observables and complementarity by means of ‘internal’ Frobenius and Hopf algebras.