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.
At crossed module it seems we are missing what i think should be the prototypical example: the relative second homotopy group together with the bundary map and the -action on . As someone confirms this example is correct I’ll add it to crossed module.
added pointer to:
brief category:people
-entry for hyperlinking references at string field theory
added pointer to Elliott-Safronov 18
I finally gave this statement its own entry, in order to be able to conveniently point to it:
embedding of smooth manifolds into formal duals of R-algebras
I reorganized linearly distributive category by moving the long block of history down to the bottom, adding an “Idea” section and a description of how -autonomous categories give rise to linearly distributive ones and linearly distributive ones give rise to polycategories. I also cross-linked the page better with polycategory and star-autonomous category.
Asked a question at natural transformation.
added pointer to:
removed the following ancient query box discussion:
+–{.query} Left I could understand, but right? —Toby
The way I rewrote it explains it. It is unfortunate that the Eilenberg-Watts theorem treated in Bass was using only right adjoint functors so later they dropped word right. – Zoran
Thanks. —Toby =–
added missing publication data to some references, and added this new reference:
Just discovered that this stub-entry exists, which seems to have been abandoned in the middle of its third sentence.
I have now made minial cosmetic adjustment to the content
and copied over some relevant references from non-perturbative quantum field theory
and I am hereby removing the only two reference that had been given here, since both these links appear to be broken:
Describing the arrangements which have been made for funding of the nLab in collaboration with the Topos Institute. The page, linked to from the home page, is intended to be fairly general; specific requests for donations can be made elsewhere.
replaced broken
- Marta Bunge, Steve Lack, van Kampen theorem for toposes (ps)
with full text
- Marta Bunge, Steve Lack, van Kampen theorem for toposes, Advances in Mathematics, 179 (2), 2003, Pages 291-317, doi:10.1016/S0001-8708(03)00010-0
Stub for topological string with redirect topological string theory.
stub for type II geometry
added pointer to:
added to van Kampen theorem a clean statement for the group-version
Created new article for stable Yang-Mills connections. (The english and german Wikipedia article are now also available.)
Created new article for stable Yang-Mills-Higgs pairs. (The english and german Wikipedia article are now also available.)
Created article for the Yang-Mills-Higgs equations. (The german Wikipedia article is now also available.)
Added references about the Yang-Mills-Higgs equations.
added pointer to today’s
added publication data to
and pointer to section 11.1 there for Kaehler structures as torsion-free -structures
starting something on the concept introduced in
Sergei O. Ivanov, Roman Mikhailov: A higher limit approach to homology theories, Journal of Pure and Applied Algebra 219 6 (2015) 1915-1939 [arXiv:1309.4920, doi:10.1016/j.jpaa.2014.07.016]
Sergei O. Ivanov, Roman Mikhailov: Higher limits, homology theories and -codes, in: Combinatorial and Toric Homotopy, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore (2017) 229-261 [arXiv:1510.09044, doi:10.1142/9789813226579_0004]
but for the moment there is little more than these references
Zoran,
I wanted to add a reference to holomorphic Chern-Simons theory, only to realize that the entry didn't exist yet. Didn't you recently write something about holomorphic CS? I can't find it right now...
created Hadamard lemma
Added an article
Added a “warning” for something that tripped me up: the classifying topos of a classical first-order theory is typically not Boolean, even though the classifying pretopos is Boolean. For a topos to be Boolean is much stronger – as Blass and Scedrov showed, it implies -categoricity.
created a currently fairly empty entry quantum measurement, just so as to have a place where to give a commented pointer to the article
the entry group algebra had been full of notation mismatch and also of typos. I have reworked it now.
I have split off complex projective space from projective space and added some basic facts about its cohomology.
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)
following discussion here I am starting an entry with a bare list of references (sub-sectioned), to be !include
-ed into the References sections of relevant entries (mainly at homotopy theory and at algebraic topology) for ease of updating and syncing these lists.
The organization of the subsections and their items here needs work, this is just a start. Let’s work on it.
I’ll just check now that I have all items copied, and then I will !include
this entry here into homotopy theory and algebraic topology. It may best be viewed withing these entries, because there – but not here – will there be a table of contents showing the subsections here.