Archive of changes made during February 2009. The substantive content of this page should not be altered. For past versions of this page beyond its own history, start here and work backwards.
Created a request for help page. There are query boxes scattered all over the lab and I think that it ought to be a priority to answer these. A query on a page might be answerable by someone not an expert in what’s on that page (or even not interested in what’s on that page) - in fact, that’s highly likely. Flagging questions on this page (i.e., Latest Changes) is also less than optimal as it’s not clear who might be able to answer them (and probably not everyone checks this page). I freely admit that I’m doing this because no-one seems bothered in my questions on Froelicher spaces which are, in fact, more general category theory than specifics to Frölicher spaces.
I’ve added it to the sidebar (and taken off General Discussion).
created enriched functor category for completeness
added a bit more details and references concerning the SSet homotopy limit at weighted limit
after checking with Mike added details of the definition of homotopy limits in terms of weighted limits in the SSet-enriched context to weighted limit; also edited accordingly the section local definition at homotopy limit and created a section on weighted limits at representable functor
Why do I think of the Beach Boys every time I read the word -fibrations? - Eric
Ronnie: over the last two days, created compositions in cubical sets which gives the basic definitions and axioms for cubical sets with compositions and connections, (and inverses), with the example of the cubical singular complex in mind.
Mike: Urs, in my biased opinion, the reference for the homotopy limit comparison that I find easiest to understand is my own paper (reference added). Of course the fact has been known for a long time; I don’t even know whether there’s any “original” source one could cite.
Added what I think is a more standard viewpoint to classifying space, although there are so many different meanings of that term.
Created comma object and started messing around with using SVG for diagrams instead of
\array. It’s more work but it sure does look nicer (in the output, anyway).
Mike: I gave it a try, but I don’t have any great wisdom to impart; I just played around with the XML until it worked. If there is software that can do this for us that would be great (until someone manages to write an xypic-to-svg converter).
Toby Bartels: I'm back! I'll be slowly catching up. So far, I've simply read latest changes and extended Andrew's navigation links for the archive. (So it looks like the sort of thing that daily updated websites create automatically using PHP, except that I did it all laboriously by hand!)
Mike: responded to all of David’s edits.
Andrew: After crashing the nLab 3 times I’ve finally managed to upload something on Frolicher spaces. Something is seriously wrong with my syntax - if no one’s taken pity on me and cleaned it up I’ll do so myself tomorrow. More importantly, I have a few queries for the more experienced categorists so I’d appreciate someone taking a look at those for me.