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.
I have added to homotopy group a very brief pointer to Mike’s HoTT formalization of π1(S1).
Eventually I would like to have by default our nLab entries be equipped with detailed pointers to which aspects have been formalized in HoTT (if they have), and in which .v-file precisely.
created placeholder for Hurewicz theorem
Added references on Fox derivative.
I have split off an entry homotopy in a model category from homotopy and then spelled out statement and proof of the basic lemmas.
this is a bare list of references, to be !include
-ed into relevant entries
(various parts of this list have been contained at Cohomotopy, Cohomotopy charge map, Thom’s theorem, Pontryagin-Thom construction and elsewhere; this here now to ease harmonizing/completing these lists)
brief category:people
-entry for hyperlinking references at supergeometry supermanifolds, super Lie groups, functorial geometry
I have spelled out statement and proof of:
every reflection is a reflective localization,
reflective localizations are given by full subcategories of local objects.
I have also tried to produce decent cross-links to various entries that mention something related. But there will be more left to do.
I am starting higher Segal space (while sitting in a talk by Mikhail Kapranov about them…)
[spam]
Actually, taking a look at the Sandbox, it's a bit full up and could do with a clean out (I shan't comment on what one usually finds in sandboxes in children's playgrounds ...). I propose we copy any serious words of wisdom to the HowTo, blank the Sandbox, and replace with a link to its own history.
I know, I know, it's a wiki so I ought to just do it, but I figured that this was something I should get some consensus on first to see if it's just me that doesn't like it.
rescued planetmath link and added Wiki link
planetmath: Nicolae Popescu (mathematician) Broken Internet Archive
Wikipedia: Nicolae Popescu
I gave Drinfel’d double an Idea-section.
Also moved a paragraph on module categories from the References to a Properties-section.
started a Properties-section at Lawvere theory with some basic propositions.
Would be thankful if some experts looked over this.
Also added the example of the theory of sets. (A longer list of examples would be good!) And added the canonical reference.
Erased the reference of Edgar Brown which is misplaced here in version 9.
P.S. The link to Brown’s webpage does not seem to work.
following Zoran’s suggestion I added to the beginning of the Idea-section at monad a few sentences on the general idea, leading then over to the Idea with respect to algebraic theories that used to be the only idea given there.
Also added a brief stub-subsection on monads in arbitrary 2-categories. This entry deserves a bit more atention.
Created stub for Wu manifold, which is now linked on rational homology sphere.
Stub, for now just to record relevant references. Related to the recently added entry Magnus expansion and also to pre-Lie algebra.
category: people page for the reference
Anonymouse
Jim Stasheff pointed out a reference that discusses categorifications of associahedra. I added the ref to associahedron