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 created T. Streicher - a model of type theory in simplicial sets - a brief introduction to Voevodsky’ s homotopy type theory with a summary of that article and linked it from homotopy type theory. Maybe this article can serve as a base for some pedagogical nlab-entry providing some technical details concerning this simplicial model which are omitted in homotopy type theory.
Started entries on Jim Lambek and Phil Scott. These are stubby.
Added to deformation retract the general definition. Moved the previous content to a section Examples - In topological spaces.
It seems that the page marked simplicial set uses and where Lurie uses and . That seems gratuitously confusing to me; is there a reason for it?
Moving to here some very old discussions from preorder:
Todd says: It’s not clear to me how one avoids the axiom of choice. For example, any equivalence relation on a set defines a preorder whose posetal reflection is the quotient , and it seems to me you need to split that quotient to get the equivalence between the preorder and the poset.
Toby says: In the absence of the axiom of choice, the correct definition of an equivalence of categories and is a span of full, faithful, essentially surjective functors. Or equivalently, a pair of anafunctors (with the usual natural transformations making them inverses).
Todd says: Thanks, Toby. So if I understand you aright, the notion of equivalence you have in mind here is not the one used at the top of the entry equivalence, but is more subtle. May I suggest amplifying a little on the above, to point readers to the intended definition, since this point could be confusing to those inexperienced in these matters?
Urs says: as indicated at anafunctor an equivalence in terms of anafunctors can be understood as a span representing an isomorphism in the homotopy category of induced by the folk model structure on .
Toby says: I think that this should go on equivalence, so I'll make sure that it's there. People that don't know what ’equivalence’ means without choice should look there.
Mike: Wait a minute; I see why every preorder is equivalent to a poset without choice, but I don’t see how to show that every preorder has a skeleton without choice. So unless I’m missing something, the statement that every preorder is equivalent to a poset isn’t, in the absence of choice, a special case of categories having skeletons.
Toby: Given the definition there that a skeleton must be a subcategory (not merely any equivalent skeletal category), that depends on what subcategory means, doesn't it? If a subcategory can be any category equipped with a pseudomonic functor and if functor means anafunctor in choice-free category theory, then it is still true. On the other hand, since we decided not to formally define ’subcategory’, we really shouldn't use it to define ’skeleton’ (or anything else), in which case ‹equivalent skeletal category› is the guaranteed non-evil option. You still need choice to define a skeleton of an arbitrary category, but not of a proset.
Mike: We decided not to formally define a non-evil version of “subcategory,” but subcategory currently is defined to mean the evil version. However, I see that you edited skeleton to allow any equivalent skeletal category, and I can’t really argue that that is a more reasonable definition in the absence of choice.
The thread Category theory vs order theory quickly really became Topological spaces vs locales, so I’m putting this in a new thread.
At category theory vs order theory, I had originally put in the analogy with category : poset :: strict category : proset. Mike changed this to to category : proset :: skeletal category : poset. I disagree. A proset has two notions of equivalence: the equality of the underlying set, and the symmetrisation of the order relation; a poset has only one. Similarly, a strict category has two notions of equivalence: the equality of the set of objects, and the isomorphism relation; a category has only one. I’m OK with using skeletal categories to compare with posets, since this will make sense to people who only know the evil notion of strict category, but I insist on using strict categories to compare with prosets. So now its strict category : proset :: skeletal category : poset.
Just a stub, for the record: Gaussian number.
The statement at compact support was that should be compact. I’ve corrected this.
I expanded the discussion at principal infinity-bundle to go along with the discussion with Mike over at the blog
Urs, I noted you started a new entry on Thomas Hale. Can you check Hale(s) name as his website gives it with an s on the end? I do not know of him so hesitate to change it. (homepages on university websites are not unknown to get things wrong!)
I put an actual definition at theorem. It is still quite the stub, however!
created model structure on dendroidal sets (stubby)
expanded dendroidal set (still stubby, though)
Let be the Zariski topos, in the sense of the classifying topos for local rings. I was wondering whether there might be any connection between and . Certainly, there is a geometric morphism , and there’s also a geometric inclusion . On the other hand, there’s no chance of itself being localic, since it has a proper class of (isomorphism classes of) points. Let’s write for the localic reflection of ; the first geometric morphism I mentioned then corresponds to a locale map . But what is itself?
The open objects in can be identified with certain saturated cosieves on in the category of finitely-presented commutative rings, and so may be identified with certain sets of isomorphism classes of finitely-presented commutative rings. If I’m not mistaken, every finitely-presented commutative ring gives rise to an open object in . This suggests that might be some kind of (non-spatial) union of all isomorphism classes of affine schemes of finite type over , which is an incredibly mind-boggling thing to think about. It’s not clear to me whether other kinds of open objects exist. For example, does every not-necessarily-affine open subset of , for every finitely-presented ring , also show up…?
I have created a global table of contents etale morphisms - contents and added it as a “floating table of contents” to relevant entries.
I’ve inserted some proofs of statements made at Heyting algebra, particular on the “regular element” left adjoint to the full inclusion .
The proof that preserves implication seemed harder than I was expecting it to be. Or maybe my proof is a clumsy one? If anyone knows a shorter route to this result, I’d be interested.
by chance I noticed that two days ago somebody created an entry Circuitoids. I am not sure what to do about it…
at 2-adjunction I would like to list a bunch of 2-category theoretic analogs of standard facts about ordinary adjunctions. Such as: a right adjoint is a full and faithful 2-functor precisely if the counit of the 2-adjunction is an equivalence, etc.
But I haven’t really thought deeply about 2-adjunctions myself yet. Is there some reference where we could take such a list of properties from?
I wanted to add some stuff about completely distributive lattices, when I got annoyed by the fact that few of the entries on lattices, frames, etc, carried a table of contents, and that I kept being surprised by which related entries already existed and which not.
That’s a clear case for a context floating table of contents, so I started one
Just a start. Please feel free to expand.
I stumbled across a nice reference while looking for something else, so added it to axiom of choice so I might read it all later.
I have added a little bit to spine.
(Will maybe write out the proof of the proposition there in a little while.)
I have worked a bit on 2-congruence.
The main addition is that I started an Examples-section, where I started writing out an explicit proof (little exercise in unwinding the definitions) of the statement:
The 2-category of 2-congruences in is equivalent to that of small categories.
One should write out more. But it is getting late for me now. I should continue another day.
it had annoyed me for a long time that we had now dedicated entry for Giraud theorem. I have now created one, so that the redirects no longer simply go to Grothendieck topos. But then, I didn’t have the energy to add more than a few pointers, for the moment.
created stub for n-connected object in an (infinity,1)-category
--( made connected redirect to it, so that one can easily link to this entry by saying xyz is 4-connected)
Also added to homotopy group a section on connected and truncated objects.
added reference to axiom of collection
I have created a stub for Bob Thomason as there were frequent references to the Thomason model category structure in the nLab but no link to an entry on the person and his work. The St. Andrews biography is good, giving good details on his work. I have linked to it but perhaps we need some more comment in the nLab entry.
I added some random meanings to order, then noted that they’re not entirely unrelated, since these orders can be ordered.
Created schedule as I’m reading Globalizing fibrations by schedules (lspace) by Dyer and Eilenberg. Not sure yet what should link into it. Also not finished the page, but going goggle-eyed so taking a rest for now.
I have added more to higher generation by subgroups. As I said on another thread, this material feels as if there should be a nPOV / categorified version that could be quite interesting, so any thoughts would be welcome.
added some actual content at dendroidal homotopy coherent nerve .
New entry universal epimorphism redirectinig also universal monomorphism. It is not among those variants listed in epimorphism. We also do not list absolute epimorphism (epimorphism which stays epimorphism after applying any functor to it). Every split epimorphism stays split after applying a functor hence it is absolute, but is there a counterexample of an absolute epimorphism which is not in fact split ?
By the way, here is an archived version of the old query from strict epimorphism
David Roberts: I’m interested in a bicategorical version of this. You haven’t happened to have done this Mike?
Mike Shulman: Not more than can be extracted from 2-congruence (michaelshulman) and regular 2-category (michaelshulman). What is there called an “eso” is the bicategorical version of a strong epi (which agrees with an extremal epi in the presence of pullbacks), and what is there called “the quotient of a 2-congruence” is the bicategorical version of a regular epi. I’ve never thought about the bicategorical version of a strict epi; since strict epis agree with regular epis in the presence of finite limits I’ve never really had occasion to care about them independently.
split off free operad from operad. But it might need a bit of polishing.
Created coend in a derivator, with a stub at homotopy coend.
A graduate student at Johns Hopkins who is being supervised by Jack Morava, named Jon(athan) Beardsley, wrote a short article Bousfield Lattice. More on this in a moment.
I created locally regular category and added a corresponding section to allegory.
Edit: removed some complaints that were due to it being too late at night and my brain not working correctly.
I added a definition to idempotent complete (∞,1)-category.
I am experimenting with a notion of Heisenberg Lie -algebras, for all .
I have made an experimental note on this here in the entry Heisenberg Lie algebra.
It’s explicitly marked as “experimental”. If it turns out to be a bad idea, I’ll remove it again. Please try to shoot it down to see if I can rescue it! :-)
I mean, the definition in itself is elementary and very simple. The question is if this is “the right notion” to consider. The reasoning here is:
by the arguments as mentioned on the nCafé here we may feel sure that Chris Rogers’s notion of Poisson Lie n-algebra is correct. (Not that there were any particular doubts, but the fact that we can derive it from very general abstract homotopy theoretic constructions reinforces belief in it.)
But the ordinary Heisenberg Lie algebra is just the sub-Lie algebra of the Poisson Lie algebra on the constant and the linear functions. Therefore it makes sense to look at the sub-Lie -algebra of the Poisson Lie -alhebra on the constant and linear differential forms That’s what my experimental definition does.
added a bit to Heisenberg Lie algebra.
Mostly, I wrote a section Relation to Poisson algebra with a discussion of how the Heisenberg algebra naturally sits inside the Lie algebra underlying the Poisson algebra.
Added some relevant bits to connected limit, fiber product, and pushout. I wanted to record the result at connected limit that functors preserve connected limits iff they preserve wide pullbacks, which may be a slightly surprising result if one has never seen it before.
started something at topos of types.
Have created induced character.
I have started an entry canonical extension.
But I am only learning about this myself right now. Expert input would be most welcome.
I am fiddling with an entry table - models for (infinity,1)-operads meant to allow to see 10+ different model categories and their main Quillen equivalences at one glance.
I guess there are better ways to typeset this. (Volunteers please feel free to lend a hand!) But for the time being I’ll settle with what I have so far.
Added a section arithmetic D-modules. This is the optimal theory for p-adic cohomology of varieties over finite fields, since it has the six operations. This section is complementary to rigid cohomology.
In
http://ncatlab.org/nlab/show/Lie+2-algebra, at
“… the differential respects the brackets: for all and we have
…”
is wrong. The equation should be:
Since I don’t know if I have the right to change an nLab entry,I post this here as an suggestion.
I made some much-needed corrections at simplicial complex, directed mostly at errors which had been introduced by yours truly. I also created quasi-topological space (the notion due to Spanier).
I haven’t thought this through, but regarding the process of turning a simplicial complex into a simplicial set, the usual sequence of words seems to involve putting a non-canonical ordering on the set of vertices and then getting ordered simplices from that. But is there anything “wrong” with taking the composite
where the inclusion is the realization of simplicial complexes as concrete presheaves on nonempty finite sets, and the second arrow is pulling back along the forgetful functor from nonempty totally ordered finite sets to nonempty finite sets? This looks much more canonical.
prompted by this G+ post by David Roberts, I have started an entry arithmetic Chow group .
I hope Urs doesn’t mind my inserting a not-too-serious but nevertheless amusing example at symplectomorphism.
Someone set up lawvere theory, but did not add anything to it. They had previously done an edit to FinSet. The new page has a redirect from Lawvere+theory, so I don’t see what 88.104.160.245 is doing. Can someone check the edit at [[FinSet]. It looks as if the person knows some things and so has added a bit, but it is so long since I knew that stuff well so I cannot tell if it is a valid edit or not.
I have created a stub on Volodin. I have been unable to find out more on him. Can anyone help?
Started presentation of a category by generators and relations. This is probably an evil definition (there was an old discussion on this in the context of quotient category), and there is perhaps a more modern way to do this, so feel free to change the entry. I used “quotient category” as in CWM and mentioned that this is not the definition in the nLab.
The last two days Stephan Spahn was visiting me, and we chatted a lot about étaleness in cohesive ∞-toposes.
We found proofs that
for every notion of infinitesimal cohesive neighbourhood
the total space projections of locally constant -stacks are formally étale;
the formally étale morphisms with respect to any choice of infinitesimal cohesion satisfy all the axioms of axiomatic open maps (or rather their -version, of course).
(These are to be written up. Requires plenty of 3d iterated -pullback diagrams which are hard to typeset).
Recall – from synthetic differential infinity-groupoid – that for the infinitesimal cohesive neighbourhood
the axiomatically formally étale morphisms between smooth manifolds are precisely the étale maps in the traditional sense.
Motivated by all this, I finally see, I think, what the correct definition of cohesive étale ∞-groupoid is:
simply: is an étale cohesive -groupoid if it admits an atlas by a formally étale morphism in .
I have spelled out the proof now here that with this definition a Lie groupoid is an étale groupoid in the traditional sense, precisely if it is cohesively étale when regarded as an object of the infinitesimal cohesive neighbourhood .
I hope to further expand on all this with Stephan. But I may be absorbed with other things. Next week I am in Goettingen, busy with a seminar on -connections.
In context of size issues on admissible structures (in the sense of DAG V) I wondered which closure properties (e.g. obviously its closed under pullbacks along relatively k-compact morphisms) the class of relatively k-compact (for a regular cardinal k) morphisms in a (∞,1)-category satisfies. Is there any reference concerning this?
I needed an entry that lists references on twisted K-homology, so I created one. This made me notice that we currently lack an entry K-homology. I can try to create a stub for that a little later…
Created saturated class of limits.
created symplectic singularity…
… for the moment just to record references and such as to satisfy links at symplectic duality.
stub for adjoint representation
Perhaps we need a page on Jean-Louis Koszul, and possibly an agreement on terminology / names for entries. Ben has created a page called Koszul, but usually single names like that would be used for the ’person’ page of that mathematician, so … The term in in any case (as adjective) is also used in various other contexts e.g. for operads, so possibly there needs to be some rationalisation. My thought would be to combine a page on Koszul (and the Wikipedia (English) page on him is poor, and includes some very poor translation from the French ) with a certain amount of disambiguation, however I am not an expert on things ’Koszul’ and this may not be the most efficient way to go.