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.
Stub Frobenius reciprocity.
Edit to: standard model of particle physics by Urs Schreiber at 2018-04-01 01:15:37 UTC.
Author comments:
added textbook reference
I fixed a link to a pdf file that was giving a general page, and not the file!
the book Monoidal Functors, Species and Hopf Algebras is very good, but still being written. Clearly the current link under which it is found on the web is not going to be the permanent link. So I thought it is a bad idea to link to it directly. Instead I created that page now which we can reference then from nLab entries. When the pdf link changes, we only need to adapt it at that single page.
created nilradical
I felt that we had too many gray links to metalanguage, so I gave it a try. But I don’t really have the leisure for it now and not the expertise anyway. Experts please feel invited to take apart what I wrote there and replace with it something better.
added an Idea-section to Mackey functor (which used to be just a list of references). Also added more references.
In the past we had some discussion here about why simplicial methods find so much more attention than cubical methods in higher category theory. The reply (as far as I am concerned at least) has been: because the homotopy theory = weak oo-groupoid theory happens to be well developed for simplicial sets and not so well developed for cubical sets. Historically this apparently goes back to the disappointment that the standard cubical geometric realization to Top does not behave as nicely as the one on simplicial sets does.
Still, it should be useful to have as much cubical homotopy theory around as possible. Many structures are more naturally cubical than simplicial.
So as soon as the Lab comes up again (we are working on it...) I want to create a page model structure on cubical sets and record for instance this reference here:
Jardine, Cubical homotopy theory: a beginning
added pointer to:
a bare list of references, to be !include-ed into the References-sections of relevant entries (such as abelian Chern-Simons theory and fractional quantum Hall effect) for ease of synchronization
Made some further tweaks at cubical set. Hopefully the definitions of the boundary functor, and of a horn, are correct now.
Am continuing to work on homotopy groups of a cubical Kan complex.
Orphaning this page after merging into category of cubes.
Hello,
I noticed DFT page has not been updated in a while and I added a couple of sections: some sketchy introductory material (analogy between Kaluza-Klein and DFT) and a little insight about a more rigorous geometrical formulation of DFT.
It is still quite sketchy but I would be happy to refine it.
PS: this is my first edit, I hope I played by the rules. And thank you all for this wiki
Luigi
added brief pointer to the derivation of gauge group via tadpole cancellation, and some references on type I phenomenology. Will add these also to string phenomenology and to GUT, as far as relevant there
Created:
Every Stein manifold of dimension admits an injective proper holomorphic immersion into .
Every holomorphically complete complex space of dimension admits an injective proper holomorphic map into that is an immersion at every uniformizable point.
If for some a holomorphically complete complex space is locally isomorphic to an analytic subset of an open set in , then there is an injective proper holomorphic map that is an isomorphism onto its image.
The relevant spaces of embeddings are dense in the space of all holomorphic mappings into the corresponding cartesian spaces equipped with the compact convergence topology.
The original reference is
Created:
Every real-analytic -dimensional second countable Hausdorff manifold admits a real-analytic, regular and proper embedding into a euclidean space of sufficiently high dimension.
The original reference is Theorem 3 in
Added the statement of the Isbell-Freyd characterization of concrete categories, in the special case of finitely complete categories for which it looks more familiar, along with the proof of necessity.
Started literature section with several references at forcing.
I am at the Croatian black hole school organized by Jarah Evslin, and I am partially taking care of Croatia related issues (visa, trasnportation advice. communication to the owners of the housing). Lots of interesting things here about star formation, black hole formation, making massive black holes from lighter ones and so on. And some string theory mechanisms related to black hole entropy and similar issues. Most of people are postdocs and students here. Among seniors, Holger Nielsen and Mina Aganagić are present to our benefit.
By the way, started a stub black hole. Please contribute.
started something. For the moment really just a glorified pointer to Buchert et al. 15 and putting Scharf 13 into perspective
am finally splitting this off from Hopf invariant
I have added at HomePage in the section Discussion a new sentence with a new link:
If you do contribute to the nLab, you are strongly encouraged to similarly drop a short note there about what you have done – or maybe just about what you plan to do or even what you would like others to do. See Welcome to the nForum (nlabmeta) for more information.
I had completly forgotton about that page Welcome to the nForum (nlabmeta). I re-doscivered it only after my recent related comment here.
Created:
Just like an ordinary scheme in algebraic geometry is glued from affine schemes, a C^∞-scheme in differential geometry is glued from smooth loci.
The original reference is
See the artice C^∞-ring for more references.
starting something.
I claim that in terms of quantum circuits via dependent linear types, the principle of deferred measurement is immediately formalized and proven by the Kleisli equivalence:
Namely a quantum circuit involving measurement in the -basis anywhere is a Kleisli morphism for the linear necessity-comonad, and the Kleisli equivalence says that this equals a coherent (non-measurement) quantum circuit postcomposed with the -counit: But the latter is the measurement gate.
Change 1: Original page describes the fan theorem as requiring the bar to be decidable, claims that the “classical” fan theorem contradicts Brouwer’s continuity principle. The latter claim is not true; I corrected the error. I have stated the result as two separate theorems: the decidable fan theorem, about decidable bars, and the fan theorem, about bars in general.
Change 2: Slightly more information is provided about the relationship between the Fan Theorem and Bar Induction. Eventually, we should make a page about the latter.
Change 3: the section on equivalents to the fan theorem has been fixed somewhat. The section originally asserted that all of the statements provided were equivalent to the decidable fan theorem; in fact, some are equivalent to the decidable fan theorem and some to the full fan theorem.
moving material about the weak limited principle of omniscience from principle of omniscience to its own page at weak limited principle of omniscience
Anonymouse
Began stub for Tambara functor. Neil Strickland’s, Tambara Functors, arXiv:1205.2516 seems to be a good reference.
Seems like it’s very much to do with pullpush through polynomial functors, if you look around p. 23.
I would try to say what the idea is, but have to dash.
added pointer to yesterday’s
added doi-link to
this is a bare subsection with a list of references, meant to be !include-ed into the References-lists of relevant entries (such as AdS-QCD correspondence, AdS-QCD correspondence but also at flux tube and maybe at string)