I incorporated some of my spiel from the blog into the page [[type theory]].

]]>I’ve removed this query box from metric space and incorporated its information into the text:

]]>Mike: Perhaps it would be more accurate to say that the symmetry axiom gives us enriched $\dagger$-categories?

Toby: Yeah, that could work. I was thinking of arguing that it makes sense to enrich groupoids in any monoidal poset, cartesian or otherwise, since we can write down the operations and all equations are trivial in a poset. But maybe it makes more sense to call those enriched $\dagger$-categories.

New stub for the notion of clone in universal algebra, including a reference relating it to operads.

]]>starting something. Nothing really there yet. But need to save.

]]>BFN

Ammar Husain

]]>for hyperlinking references

]]>for hyperlinking references

]]>there had been no references at *Hilbert space*, I have added the following, focusing on the origin and application in quantum mechanics:

]]>

John von Neumann,

Mathematische Grundlagen der Quantenmechanik. (German) Mathematical Foundations of Quantum Mechanics. Berlin, Germany: Springer Verlag, 1932.George Mackey,

The Mathematical Foundations of Quamtum MechanicsA Lecture-note Volume, ser. The mathematical physics monograph series. Princeton university, 1963E. Prugovecki,

Quantum mechanics in Hilbert Space. Academic Press, 1971.

starting something – for the moment just to record this reference:

- Washington Taylor,
*Adhering 0-branes to 6-branes and 8-branes*, Nucl. Phys. B508: 122-132, 1997 (arXiv:hep-th/9705116)

brief `category:people`

-entry for hyperlinking references at *configuration space of points* and at *correlator as differential form on configuration space of points*

I fixed a link to a pdf file that was giving a general page, and not the file!

]]>starting something – not done yet

]]>I added a note to compact closed category on the fact that the inclusion from compact closed categories into SMCCs has a left adjoint, pointing to an article by Day where he describes the free compact closed category over a closed symmetric monoidal category as a localization. Question: this left adjoint is not full, but I believe it is faithful – does anyone know how to prove that?

]]>starting something – just a bare minimum for the moment

]]>some minimum, for the moment just so as to bring in infrastructure for stating the *Jacobson-Morozov theorem*

starting something, but nothing here yet. For the moment this is just a home for

- Michael Atiyah, Nigel Hitchin,
*The geometry and dynamics of magnetic monopoles*M. B. Porter Lectures. Princeton University Press, Princeton, NJ, 1988 (jstor:j.ctt7zv206)

added these pointers:

An interpretation of the s-rule for D-brane intersections with NS5-branes (Dp-D(p+2) brane intersections and Dp-D(p+4) brane intersections) as a version of the Pauli exclusion principle is discussed in:

Constantin Bachas, Michael Green, Adam Schwimmer, Section 2.3 of:

*$(8,0)$ Quantum mechanics and symmetry enhancement in type I’ superstrings*, JHEP 9801 :006, 1998 (arXiv:hep-th/9712086)Constantin Bachas, Michael Green,

*A Classical Manifestation of the Pauli Exclusion Principle*, JHEP 9801 (1998) 015 (arXiv:hep-th/9712187)

on Hanany-Witten intersection theory

]]>added a cool reference by Brian Conrad to [[cohomology]], which was mentioned at MathOverflow

]]>to record the result of

- Dror Bar-Natan,
*Vassiliev and Quantum Invariants of Braids*, Geom. Topol. Monogr. 4 (2002) 143-160 (arxiv:q-alg/9607001)

finally created *intensive and extensive* with the topos-theoretic formalization following the concise statement in the introduction of *Categories in Continuum Physics*

for hyperlinking references

]]>In Robinson arithmetic, I recorded the simplest nonstandard model (with a single nonstandard element $\infty$).

]]>Trying a trivial edit to fix the links.

]]>