Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Wrote a bunch of stuff on determinant. Just because I felt like it. But I’ve run out of steam to do more on it now.
I changed the name of the page Frobenius map to Frobenius morphism and added the descriptions à la Demazure to it.
Adding reference
as a construction of the locale of real numbers can be found in section 5.3 of that article
Anonymous
Added to one-sided real number a short discussion of the correspondence of internal lower reals in a sheaf topos and upper semicontinuous functions .
Created categorical model of dependent types, describing the various different ways to strictify category theory to match type theory and their interrelatedness. I wasn’t sure what to name this page — or even whether it should be part of some other page — but I like having all these closely related structures described in the same place.
I made Cayley plane a little less stubby.
added pointer to today’s
New stub, Gauss-Manin connection.
finding that an entry like this has been missing all along (all we seem to have had was this paragraph at enriched category) I have now created it with some minimum content, for completeness
Added doi and pointer to relevant sections to
Marcelo Aguilar, Samuel Gitler, Carlos Prieto, section 6 of Algebraic topology from a homotopical viewpoint, Springer (2002) (toc pdf, doi:10.1007/b97586)
(EM-spaces are constructed in section 6, the cohomology theory they represent is discussed in section 7.1, and its equivalence to singular cohomology is Corollary 12.1.20)
Created a stub for Urysohn metrization theorem.
stub for 2-topos (mostly so that the links we have to it do point somewhere at least a little bit useful)
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 -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 -categories.
added reference to derived category
I felt there should be an entry category of presheaves. So I started one.
added pointer to:
David Jaz Myers, String Diagrams For Double Categories and (Virtual) Equipments [arXiv:1612.02762]
David Jaz Myers, String Diagrams for (Virtual) Proarrow Equipments (2017) [slides: pdf]
New entry prime spectrum with redirect Zariski spectrum.
(not an edit but to create the forum thread) Is the characterization in As an 11-dimensional boundary condition for the M2-brane complete or does one need to further extend by the m5 cocycle?
stub for quantum computation
A bare list of references, to be !include
-ed into the References-subsection of relevant entries
(This list used to be hard-coded at supergravity C-field but since it also deserves to be included at D=11 supergravity and maybe elsewhere, I am splitting it off this way, for ease of synchronization.)
I added to category of elements an argument for why preserves colimits.
created a brief entry IKKT matrix model to record some references. Cross-linked with string field theory, and with BFSS matrix model
started a stubby nPOV-description at the beginning of BV-BRST formalism
somebody please stop me, though, because I urgently need to be doing something else... :-)
created a bare minimum at light-cone gauge quantization, just so as to be able to sensibly link to it from elsewhere
started some minimum at weak gravity conjecture
I tried to brush-up the References at period a little.
I have trouble downloading the first one, which is
My system keeps telling me that the pdf behind this link is broken. Can anyone see it? (It may well just be my system misbehaving, wouldn’t be the first time…).
Added reference
Anonymouse
Added reference
note that the website linked on this page doesn’t work anymore
Anonymouse
I created a stub page for Douglas Bridges. I linked to his home page but also to a page on FAQs in constructive mathematics. He seems to have other stuff there and there may be other useful links worth creating.