Archive of changes made during June 2009. The substantive content of this page should not be altered.
created Quillen adjunction
added definition to Quillen equivalence
reorganized model structure on simplicial presheaves:
I have pointed out at simplicial homotopy that the combinatorial description has much greater validity than claimed there before. It works for simplicial objects in any finitely cocomplete category. (I think that is in Duskin’s Memoir volume, but is not difficult to check directly.) It depends on having the copower with , which brings me to
We have two notations for simplices in . We use both and . I do not like the second one. I have started a query on this at simplicial set.
I split homotopy into
and moved the material originally found at homotopy to homotopy (as a transformation), kept only two commented links at homotopy and then wrote homotopy (as an operation) in the spirit of David’s remark and in the light of the entry Eckmann-Hilton duality (but just some tentative abstract nonsense so far).
then finally I added to homotopy group a last section “some abstract nonsense” that indicates how the discussion of homtopy groups could be given analogous, just dual, to the discussion the way we have it (since recently) at cohomology group
expanded at cohomology group (standard abelian examples, standard nonabelian examples)
John Baez: I polished up the entry about the book Towards Higher Categories on my personal web, and modified the nLab entry accordingly. I expect someday to have lots of my papers and books on the Lab. Somehow I want them to be easy to find from the main Lab, while discouraging other people from changing them (yet perhaps not making this impossible). The search feature on the main portion of the Lab doesn’t search people’s personal webs, does it?
Toby Bartels: People keep linking to left adjoint and right adjoint when talking about adjoint functors, even though these redirect to the general concept of adjunction. This is very natural, so I've now created those as pages in their own right. They consist of the definitions in a variety of contexts and then refer you to the other pages for more detail. While I was creating pages that collected information from other pages, I also wrote triangle identities and weak inverse. A picture in string diagrams would be very welcome at the former.
Zoran Škoda: created discrete fibration, quasideterminant and made additions (please check for correctness) to orthogonal factorization system, added Duskin’s reference to gerbe (general idea) (btw it emphasises on internal point of view to gerbes – as “bouquets”, missing in division of gerbe entries in nlab).
Toby Bartels responded to Todd below.
Eric Forgy has begun some pages related to administration of the Lab:
created a section “Category theory for Trimble -categories” at Trimble n-category and put in a query box with a list of questions – I’d be interested in whatever partial answers and comments
added to point of a topos a section “enough points” with discussion about what it means for a topos to have “enough points” and two examples
created QFT with defects
added to cobordism hypothesis more details on formalization and proof by J. Lurie
reworked (infinity,n)-category of cobordisms
added discussion that Kan complexes form a category of fibrant objects to category of fibrant objects that is slightly more direct than the argument using the full model category structure (crucial point being the theorem now at model structure on simplicial sets that acyclic fibrations of simplicial sets are characterized by a right lifting property).
added the example of a functor that is an equivalence of groupoids as inducing isomorphisms of simplicial homotopy groups under the nerve to simplicial homotopy group
created right proper model category
started filling in detailed proofs at category of fibrant objects – am thinking that maybe eventually now the entry should be broken apart into a brief overview and one containing all the details
added the example of principal bundles to fibration sequence
added an example section to group cohomology with details of how the abstract-nonsense definition reproduces the familiar formulas
created twisted cohomology
created group cohomology
fiddled a bit with the entry higher category theory (added one more introductory sentence, created a hyperlinked list of definitions of higher categories) but I still feel that we should put more energy in this particular entry. It is sort of the single central entry one would expect an ”Lab” to be built around, but currently it doesn’t even come close to living up to playing such a pivotal role. I am imagining that it should carry some paragraphs that highlight the powerful recent developments in view of Pursuing Stacks, of the kind that I filled in today in the entry Carlos Simpson. Does any higher category theory expert out there feel like writing an expositional piece for the Lab here?
created principal infinity-bundle, just for completeness
created principal 2-bundle – this is just the result of what came to mind while typing, I am sure to have forgotten and misrepresented crucial aspects. Toby Bartels should please have a critical look and modify as necessary, as should Igor Bakovic and Christoph Wockel in case they are reading this.
based on a reaction I received concerning my comment below on the entry gerbe I have split the material into entries gerbe (as a stack), gerbe (general idea), bundle gerbe and kept at gerbe only pointers to these entries – let me know what you think
created an entry for Carlos Simpson motivated by a link to a recent pdf note – that Zoran Skoda kindly pointed me to – where Simpson briefly sketches the topic of higher stacks, old and recent progress and putting his own contribution into context. I thought that was a nice short comprehensive collection of keywords and so I reproduce that text now at the entry Carlos Simpson with all the keywords hyperlinked
created fibration sequence
added an “Idea”-section to gerbe supposed to be read as “general idea”, where I try to describe the concept in a way independent of the notion of stack, relating it to princpal bundles, principal -bundles, fibration sequences and cohomology . At the end I say “in the following we spell out concrete realization of this idea”. Then I made Tim Porter’s material a section “Realization of gerbes as stacks”. Eventually I’d like to add similarly “Realization of gerbes as Stasheff-Wirth fibrations”, “Realization of gerbes as bundle gerbes” etc.
I have added material to gerbe, although it is still a long way from explaining the link with cohomology with integer coefficients that was requested.
I created a brief entry on Jean-Luc Brylinski, but this is really a stub with a link to Wikipedia.
Eric: I’ve started the process of applying redirects for symbolic links. This maintains the original ascii titles and urls, but makes links look much better. I’ve also started adding redirects for plural nouns, e.g. you no longer have to type [[category|categories]]. Now you can simply type [[categories]] and will be redirected automatically to category. To see the changes in action, have a look at higher category theory. Feedback welcome!
Zoran Škoda: Created Hopf envelope, free Hopf algebra and matrix Hopf algebra simultaneously with posting a related comment to a discussion between Baez, Trimble and Vicary on free and cofree functors for bialgebras.
Created class of adapted objects. It would be better to say class of objects adapted to a functor (we talk half exact additive functors between abelian categories). Created Grothendieck spectral sequence and spectral sequence. Both need more input/work…
I have added a general paragraph at the beginning of descent because far not all the cases of descent theory fit into the framework of sheaf/stack theory, Grothendieck topologies and homotopical methods. Namely something is a sheaf when it satisfies the descent for all covers, but there are cases when one considers just the descent problem for a single morphism, not all morphisms of anything like a Grothendieck topology. There is also a descent along families of noncommutative localizations, when one needs to resort to noncommutative generalizations of Grothendieck topologies. So descent theory is more general than the geometry of sheaves and stacks, though the latter is surely he most important part.
created K-theory spectrum with just a question
created a stub for tmf based on a recent Category Theory mailing list contribution – am thinking that we should more generally try to move good stuff from the mailing list into Lab entries
Toby Bartels: Just more questions, instead of answers, for Finn and Gavin.
Finn Lawler: created modification (and asked a question there) and lax natural transformation, including a statement of what I think is the Yoneda lemma for them. I have a proof (I think), which I’ll add a sketch of later, if no-one finds the statement obviously wrong in the meantime.
added to weak factorization system the full details of the (elementary) proof that morphisms defined by a right lifting property are stable under pullback –
added the theorem to Kan fibration that Kan fibrations between Kan complexes that are also weak equivalences are precisely those with the right lifting property with respect to simplex boundary inclusions
added example of fundamental -groupoid = singular simplicial complex to Kan complex
edited Kan complex slightly and added two little propositions characterizing groupoids in terms of their Kan complex nerves
added further illustrations to Kan fibration
Toby Bartels: A section on measurable space about the constructive theory due to Cheng. (This is not a straightforward variation on the classical theory but distinctly a generalisation, so may be of interest even to classical mathematicians.)
worked on simplicial group:
added section about the adjunction between simplicial groups and simplicial sets, in particular mentioning the free simplicial abelian group functor (since that plays a role in the proof at abelian sheaf cohomology, which now links to it)
moved statement and proof that every simplicial group is a Kan complex into a formal theorem-proof environment
added an “Idea” section
added to Moore complex
the theorem of how it relates to the other two complexes in the game (it is quasi-isomorphic to the alternating sum complex and isomorphic to that divided by degeneracies)
illustrations of cells in low degree
a brief comment on use of terminology (after checking with Tim Porter)
Toby Bartels: Started more articles that I'd linked earlier: exclusive disjunction (with a philosophical claim that I need to back up), countable choice (very much a stub), sigma-ideal, Hartog's number.
Toby Bartels: Wrote Moore closure, since I linked it and it's a neat idea. As I was writing it, I realised that it was more abstract than what I'd been writing lately and must correspond to something very nice categorially; by the time I was done, I realised what it was: a special case of a monad. Then I saw that there were really no examples of monads on our page!, so I added a few, but the majority of examples of monads on the wiki now are Moore closures. (And believe me, Moore closures are everywhere.) Anyway, if you're trying to understand what monads are, why not try Moore closures first?
added an “Idea” section to Moore complex, edited the section headers a bit – and have a question onm terminology: isn’t this really the “normalized chain complex” whereas the Moore complex is the one on all cells with differential the alternating sum of face maps?
reacted a bit at An Exercise in Kantization – behind the scenes this is being developed further, I’d be happy to provide more detailed replies in a while, when things have stabilized a bit more
replied to the discussion about pullback notation at Kan extension: I originally had ”” there. After somebody changed that to ”” I wrote the section “note on terminology”. I’d be happy to have the reinstalled.
There’s a running discussion between Toby Bartels and me at cyclic order, centering on whether Connes’ cycle category has been correctly characterized, or if not how to fix it. We agree now that a notion of “total cyclic order” is classically equivalent to the “linear cyclic order” notion used in the article, and equally feasible for purposes of trying to characterize , but I’m currently perplexed by the apparent presence of a terminal object.
Tim: Finally I have created 2-crossed complex, and in the process needed to create normal complex of groups. What would be nice is to work out exactly what /-groupoids correspond to 2-crossed complexes. Any ideas? (It probably is obvious viewed from the right perspective but I fear I do not yet have the right perspective to say ‘aha!’) I can characterise these objects in homotopy theoretic language, but really would like some neat way of describing them in -cat terms.
almost missed Tim Porter’s addition about the Dwyer-Kan loop groupoid to simplicial homotopy group – that sounds very good, I’d be happy if we make this the default point of view at that entry and derive the more traditional description only as a special case from that
added the example of the bar construction of a group as the nerve of to nerve
added illustration to Kan fibration
added a section with details on ordinary nerves of ordinary categories to nerve
The discussion on simplicial homotopy group possibly needs more opinions! I just added a bit more of my viewpoint to Urs’s thoughts box, but I do find that I am not sure what the idea / context / viewpoint (or whatever) of this entry should ‘optimally’ be!
Toby Bartels: Instead of changing links to path-connected space (which doesn't yet exist) to connected space, I instead added
[[!redirects path-connected space]] to connected space. That way, if we ever decide to separate out a new page path-connected space, we don't need to go through all of the links and fix them!
wrote measurable space, including material on measures and basic integration theory.
responded to queries of David Roberts at covering space and locally path-connected space. David wondered whether some material at covering space ought to be moved to universal covering space. I think we’re covering similar material but with slightly different emphases; I’d like to see David put his imprimatur on the article on universal covering spaces, but leave covering space essentially intact while the material continues to settle into place; I’m thinking of adding more to it anyway (so that “to be continued” might still be appropriate).
in this context I also want to ask again everybody:
please don’t forget to drop latest changes logs here alerting us of which changes you made where, if it’s anything beyond fixing typos
if you feel something needs to have a place in the nLab, don’t feel hesitant to add it. I am getting the impression there is in parts some hesitation to insert material without checking with everybody else first. I’d say more efficient would be: add the material you would like to see, and if it should really turn out that there is serious disagreement with some other contributor, we can still roll back things and look for compromises.
expanded inverse image: added an “Idea” section, restructured discussion into presheaf and sheaf and sheaf on top-space bits, added the crucial lemmas and theorems and provided detailed proofs of some of them.
reacted and replied at simplicial homotopy group (also have a question) and added a few further bits
created simplicial homotopy group
added to model structure on simplicial sets a puny beginning of a discussion of what is supposed to eventually become a discussion of the relation to model structures on strict -groupoids
expanded a bit on the discussion at the beginning of model structure on simplicial sets
added detailed proof to geometric morphism of the fact that geometric morphisms are bijectively induced from continuous functions
added theorem about stalkwise characterization of epi/mono/isos of sheaves to stalk and included an example
added a bit more to string structure (discussion of description in terms of class on total space, also some references, but very incomplete) - but still not done
split off remaining Friday session Oberwolfach Workshop, June 2009 -- Friday, June 12 for Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology following Toby
Toby Bartels: Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology was getting too long for me to handle, so I removed the duplication of abstracts and broke the rest up by day.
started creating string structure but had to quit before fully finished – will continue tomorrow
pasted notes on Thomas Schick’s talk on differential cohomology at Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology into differential cohomology
but more like stubs to get some material in place, didn’t find the leisure to really polish this
started adding links to keywords in the list of abstracts that Bruce added to Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology – am hoping that eventually we’ll fill these links with content, partly just by copy-and-pasting the relevant bits from the lecture notes (as a start)
Added lots of talk summaries and notes to Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology. Lots of editing help needed… what would be nice would be to have the links to the notes for the talks next to the talk titles — both my notes as well as those of Gabriel Drummond-Cole (by linking to his webpage).
added Thursday talks to Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology
Tim: I have added a query to join of simplicial sets. Am I missing something, but I find the initial definition confusing as it does not mention the ordinal structure nor ordinal sum. (There may be a subtlety that I am missing so …)
Urs Schreiber added Wednesday talk notes to Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology
added further talk notes to Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology
added notes on first part of lecture by Thomas Schick on differential cohomology to Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology – am hoping to eventually move a polished version of that to differential cohomology
Urs Schreiber: created Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, linked to from this blog entry (am hoping to get around to add lots of further keyword links to existing Lab entries, but maybe won’t)
Bruce: Added link to notes to the strings, fields and topology workshop at Oberwolfach. Also added a “How To” section for creating CSS gismos like query boxes on your personal nLab wiki space.
John: I created myself a new personal web since I lost the password for my old one — and besides, the name of my old one was nonstandard. So far the only thrilling feature of this new web is the introduction to a paper I’m writing with James Dolan, tentatively titled ‘Doctrines of Algebraic Geometry’.
Todd Trimble: gave a proof of Zorn's lemma. Wouldn’t mind expanding that entry to include the mutual equivalence between AC, Zorn, and well-ordering principle (assuming excluded middle). May get around to putting in something at Hausdorff maximality principle.