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.
started stub for operadic Dold-Kan correspondence (for simplicial- vs dg-algebras over operads)
with Birgit Richer’s article we’d also have a notion of “monadic DK correspondence” (for simplicial vs dg-algebras over monads)
does anyone know any direct considerations of “T-algebraic DK-correspondence” (for simplicial vs dg-algebras over a Lawvere theory)?
of course this is to some extent implied by the previous versions. But it would be good to have a direct description.
I am in the process of reproducing the proof of the main theorem in Schwede-Shipley’s “Equivalence of monoidal model categories” at monoidal Quillen adjunction (see the references and pointers given there).
I find that there are some intermediate steps that need to be filled in and which require a tad more thinking than just copying what they write.
This mainly concerns some pure category-theoretic arguments about adjunctions, which is entirely independent of the model category theoretic argument that is later built on it. I am saying this in case you are an expert eager to help on some pure category theory issues but maybe not so much into model category theory.
I think I can figure things out myself eventually, but since I am a bit time pressured and since working toghether is fun anyway, I thought I’d just highlight here what I am doing and where there is still things remaining to be done.
So I am working on the section Lift to Quillen adjunction on monoids. This breaks up the Schwede-Shipley argument into a bunch of small lemmas and propositions and aims to write out the proofs. Partly this is spelled out. Whenever there is a gap in the argument that still needs to be written up or even figured out, I put ellipses
(...)
for the moment. I’ll be working now on filling these ellipses with content, so where exactly you see them may change over time. But if you feel you can easily help fill some of them, you are kindly invited to do so!
added to oplax monoidal functor the statement how an oplax monoidal structure is induced on a functor from a lax monoidal structure on a right adjoint.
After getting myself confused about the distinction between the various notions of basis in infinite dimensions, I wrote up my attempt to disentangle myself at basis in functional analysis (also redirects from Hamel basis, topological basis, and Schauder basis. Hmm, now I think about it, maybe “topological basis” is too close to “basis of a topology”). I may still be confused about stuff, of course.
created bilax monoidal functor
I have separated Eilenberg-Watts theorem from abelian category and added the references and MR links. One of the queries from the abelian category is moved here with backpointer there. I cleaned up some typoi.
The following discussion is about to which extent abelian categories are a general context for homological algebra.
Zoran: I strongly disagree with the first sentence, particularly with THE (it is THE general context for linear algebra and homological algebra). MacLane was (according to Janelidze) looking whole life for what is the general context for homological algebra, and the current answer of expert are semi-abelian categories of Borceux and Janelidze, and homological categories…Linear algebra as well makes sense in many other contexts. This “idea’ is to me very misleading. MacLane in 1950 was lead by the idea to axiomatize the categories which behave like abelian groups. Grothendieck wanted to unify on the obsrervation that the categories of abelian sheaves and categories of R-modules have the same setup for homological algebra as in Tohoku.
There is much linear algebra you can do with cokernels, for example, as well as much linear algebra which you can not do if you are not over a field for example. So, saying that abelian categories are distinguished is only among categories which have closest properties to abelian sheaves and R-modules, not among principles for homlogical algebra and linear algebra that uniquely (although the strong motivation was ever there).
Mike: I changed it to “a” general context; is that satisfactory? Once we have pages about those other notions, there can be links from here to there.
Toby: I've made the phrasing even weaker. Abelian categories are pretty cool, but (if you don't already have the examples that make it so useful) the definition is a fairly arbitrary place to draw the line.
Tim : I note that sometimes we (collectively) take parts of a discussion and turn it into part of an entry, because of that I would like to note two points here. The first is that the accepted first definition of semi-abelian category is in the Janelidze, Marki, and Tholen (JPAA, but we have a link on the semi-abelian entry.)
The other point is that Tim Van der Linden’s thesis does a lot of stuff that could be useful. It is available online http://arxiv.org/abs/math/0607100
I expanded Street fibration a bit, and created equivalence of 2-categories to discuss the notion classically called “biequivalence.” I also noticed that for a long time the page equivalence of categories has claimed at the end that Bicat is (weakly) equivalent to Str2Cat, which I’m pretty sure is not true, so I fixed it.
I tried to brush-up Warsaw circle and in the process created a bunch of simple stubs:
At flat functor there is a statement that a functor on a complete category to a cocomplete category is left exact precisely if its Yoneda extension is.
I know this for . There must be some extra conditions on that have to be mentioned here.
I have started a page on knot groups. So far I have outlined how to get the Dehn presentation.
created supercompact cardinal
I created fundamental ∞-groupoid of a locally ∞-connected (∞,1)-topos in an attempt to draw together a thread that so far existed only (as far as I could tell) in subsections of shape of an (∞,1)-topos and geometric homotopy groups in an (∞,1)-topos.
Created progroup, with remarks about the equivalence between surjective progroups and prodiscrete localic groups.
Why do we have separate pages profinite space and Stone space which do nothing but point to each other? Is there any reason not to merge them?
I started at cohesive (infinity,1)-topos a section van Kampen theorem
In the cohesive -topos itself the theorem holds trivially. The interesting part is, I think, to which extent it restricts to the concrete cohesive objects under the embedding .
I have added an entry on Yde Venema who is active in Coalgebras etc. in Modal Logic.
He has looked at arrow logics that I would be interested in others views on as they may be useful. They seem to be related to a from of category in which composition is a relation. (but I have not read his crash course on them in detail yet.)
I’ve had a first pass at some (mostly minor) tidying up of unbounded operator: some reformatting, some editing of the English. More to come. There is a a lot of useful material in that article and it would be great to have some more dedicated articles on spectral theory. (Note to self, perhaps.)
created stub for manifold with boundary – but not good yet
expanded delayed homotopy
wrote a brief remark (non-exhaustive) about free resolutions of strict 2-categories at 2-category – Model structure – free resolutions
created a floating TOC infinity-Chern-Simons theory - contents and added it to the relevant pages
in the process I also created a stub for Courant sigma model
I renamed n-symplectic manifold into symplectic Lie n-algebroid and then expanded that entry
I also brushed up Courant algebroid a bit
created reference-entry Moduli Problems and DG-Lie Algebras
I added to Hochschild homology in the section Function algebra on derived loop space a statement and proof of the theorem that “the function complex on the derived loop space is the Hochschild homology complex of ”.
There is a curious aspect to this: we are to compute the corresponding pushout in -algebras. But in the literature on Hochschild homology, the pushout is of course taken not in algebras, but in modules
So how is that -complex actually an derived algebra?
The solution of this little conundrum is remarkably trivial using Badzioch-Berger-Lurie’s result on homotopy T-algebras .This tells us that we may model the -algebras as simplicial copresheaves on our syntactic category , using the left Bousfield localizatoin of the injective model structure at maps that enforce the algebra property.
But since we are computing a pushout and since the traditional bar complex provides a cofibrant resolution of our pushout diagram already in the unlocalized structure, and since left Bousfield localization does not affect the cofibrations, due to all these reasons we may (or actually: have to) compute the pushout of -algebras as just a pushout in simplicial copresheaves.
In particular it follows that the pushout of our product-preserving coproseheaves is not actually product-presrving itself. Instread, it is (the simplicial set underlying) the standard Hochschild complex. So everything comes together. We know that if we wanted to find the actual -algebra structure on this, we’d have to form the fibrant replacement in the localized model structure. That would make a bit of machinery kick in and actually produce the -algebra structure on the Hochschild complex for us.
But if we don’t feel like doing that, we don’t have to. The homotopy groups of our simplicial copresheaf won’t change by that replacement.
cretated concrete (infinity,1)-sheaf
finally: stub for topological infinity-groupoid
main point there: the reference! :-)
I split off ∞-connected (∞,1)-topos from locally ∞-connected (∞,1)-topos and added a proof that a locally ∞-connected (∞,1)-topos is ∞-connected iff the left adjoint preserves the terminal object, just as in the 1-categorical case. I also added a related remark to shape of an (∞,1)-topos saying that when H is locally ∞-connected, its shape is represented by .
I hope that these are correct, but it would be helpful if someone with a little more -categorical confidence could make sure I’m not assuming something that doesn’t carry over from the 1-categorical world.
started a stub for cartesian closed (infinity,1)-category
stub for effective Lie groupoid
I put some very very basic notes down at Finite Topological Spaces-Project (timporter) trying to get the ball rolling.
created the obvious epimorphism in an (infinity,1)-category
Mike,
I have expanded your discussion of the sheaf topos on a locally connected site at locally connected site. Please check if you can live with what I did.
added to cohesive site an example in the section Examples – families of sets. It is intentionally simplistic. And depending on which axioms we settle on, it is a counter-example. But maybe still of some use.
I presume that
Definition
Let be a category with pullbacks. Then the tangent category of is the category whose
- objects are pairs with and with an abelian group object in the overcategory ;
contained a minor typo, so I replaced with .
New entry internal diagram, generalizing internal functor.
added a stubby section on free operads (free on a "collection") to operad, but a bit example-less at the moment. Have to run...
Created totally connected geometric morphism.
Please check the statement of Reidemeister’s theorem at Reidemeister moves, I was not that happy with the precise wording of the previous version as it made everything look as if it was happening in the plane, rather than indicating that what was happening in the plane mirrored what was happening in 3-dimensions. (Note that there was a discussion on MO, [here], on the proof.)
A minor correction to fully formal ETCS was suggested to me on my Wikipedia talk page. So I implemented it.
wrote something at topological operad
I am being asked for a list of references on the little disks operad, their action on higher categories, their higher traces, higher centers, etc.
So I went and improved the entry little k-cubes operad a little. Copied over some theorems, and then created/expanded the list of references.
If you have a favorite reference not yet listed there, this would be a good chance to list it, as I wil now point the people who asked me to this list
This area is linked to cubical sets and I just came on a recent paper by Glynn Winskel and Sam Staton, that may be of interest as it links several of the models for concurrency with presheaves. The paper is here.
(Edit: I have also linked to another paper by Winskel, Events, causality, and symmetry, (online version), from 2009. This may be useful for various aspects of the Physics-Theoretical Computer Science/Logic interface. It is well written and reasonably chatty.)
in the course of last night’s events, I created a handful of stubs for some basic concepts:
I fixed the link on Template page where it reads
“You can look at its source code” to
“You can look at its source code” where this link actually works.
added stuff to 2-groupoid.
created – for our derived seminar – the entry homotopy T-algebra with the main result by Badzioch and interlinked it with model structure on simplicial T-algebras and (infinity,1)-algebraic theory
I expanded Levi-Civita connection:
moved the discussion in terms of Christoffel-symbol components that had been there to its own section “In terms of Christoffel symbols”;
stated the abstract definition clearly right at the beginning;
stated this more in detail in “first order formalism”, i.e. in terms of a compatible ISO-connection.
added various theorems about injectivity radius estimates and relevant literature to geodesic flow.
Important take-home message for everybody: every paracompact manifold admits a metric with positive injectivity radius.
New entry skew-simplicial set with redirects crossed simplicial group, crossed simplicial set, skew-simplicial set and plurals.
added a bit more to T-algebra, but still incomplete. Need to copy over propositions and proofs from Lawvere theory
created smooth structure
(also created differentiable manifold and added hyperlinks to the various notions in the Idea-section of manifold)
If you want to divert any young minds that you know (your own for example, or some offspring or cousin or sibling or whatever) you might like to look at the colorability entry. It is sort of ’for fun’ but not completely as I hope to get on to when I’ve done some other things. (@Eric. you will have something else to do on the train! Get out your colouring pencils and a piece of paper! Find the link between 3-colourability and the symmetric group S_3. (If you know don’t tell!) You only need three pencils at the moment and as those infuriating waiters in American style restaurants say : Enjoy! :p )
I am being bombarded by questions by somebody who is desiring details on the proofs of the statements listed at regular monomorphism, e.g. that
in Grp all monos are regular;
in Top it’s precisely the embeddings
etc.
I realize that I would need to think about this. Does anyone have a nice quick proof for some of these?
This semester I have been asked to join Jaap with overlooking a handful of students who run a seminar on basic category theory.
In the course of that I will be re-looking at some nLab entries on basic stuff. Today I started looking at the cornerstone entry of the whole nLab: category theory.
I was very unhappy with that entry. Until a few minutes back. Now I am feeling a little better. That entry had consisted to a large extent (and still somewhat does) of lengthy lists of statements, all not exactly to the point, interspersed with lots of discussion with people like Todd and Toby continuously disagreeing with what somebody had written.
I think it is not sufficient to try to steer that somebody (who seems to have left us anyway). We need to rewrite this entry. If we can’t get a decent entry on category theory on the nLab, then we have no business making any claims about having a useful wiki focused on category theory.
So, I started reworking the entry:
I moved the historical remark from the very beginning to a dedicated section. An entry should start with explaining something, not with recounting how other people eventually understood that something.
After editing further the Idea section a bit, I inserted two new sections, in order to get to the main point of it all, and not bury that beneath various secondary aspects:
A section: “Basic constructions” namely universal constructions. That’s what category theory is all about, after all. There is not much to be said about the concept of category itself, that’s pretty trivial. The magic is in the fact that categories support universal constructions.
A section “Basic theorems”: a list of the half-dozen or so cornerstone theorems that rule category theory and mathematics as a whole. I want that nobody who glances at the entry can get away with the impression that its “just language”.
I haven’t edited much more beyond that, except that I did remove large chunks of old discussion that looked to me like mostly resolved, mostly about content that I didn’t find too exciting anyway. Should I have accidentally removed something of value, those who remember it will be able to find it in the entry’s history.
I am still not happy with the entry, but at least now I am feeling a bit better about its first third or so. I would wish a genuine category theory guru – you know who you are – would take an hour and set himself the task: here I have the chance to expose the beautiul power of category theory to the world.
in reply to a question that I received, I expanded the entry (infinity,1)-functor in various directions.
I’m confused by the definition of at circle n-bundle with connection. Is there a “modulo ” missing? and, if so, which sense we quotient by there?
Started a page at link. More to add, especially some nice pictures!, but have to go to parents’ evening now.
I’m reading Milnor’s paper “Link Groups” so shall add stuff as I read it. This should also serve as warning to a certain Prof Porter (assuming it’s the same one!) that his 1980 paper is on my list of “things to read really soon”.
Given all the discussion on the categories list, I decided it would be worth creating Street fibration. While writing it I had occasion to put up a stub at strict 2-equivalence of 2-categories.
I tentatively added the reference
to Top.
I have to admit, though, that I did not study it. Does anyone know more about this?
André Joyal left a comment at evil, presumably sparked by the debate raging on the categories mailing list.
(Don’t remember the exact message that sparked the “debate”, but the archives for the mailing list are here).
I will admit that I’m not too enamoured of the word “evil”, but I don’t find it particularly offensive and indeed it’s “shock” value is something that I would try to retain: if you do something that is “evil” you should be darned sure that you know that you’re doing it and convinced that the final outcome justifies the means. I’m also not convinced by Joyal’s arguments about “choosing a triangulation” or whatever. Sure, we choose a triangulation to compute homology groups, but the homology groups wouldn’t be worth a dime if they actually depended on the choice of triangulation.
I also think that the “subculture” argument is vacuous. Every group that has something in common could be called a “subculture” and every subculture is going to invent shortenings for referring to common terms. And of course there is great confusion when two subcultures choose the same word. My favourite story on this is when I was sitting in a garage whilst my car was being fixed. The mechanic yelled out, “You’ve got a crack in your manifold.”. I was a little confused as to what he meant! (The latest Dr Who puts a different spin on this, I believe).
The thing is not to avoid being a subculture, that’s impossible, but to avoid being a clique. The distinction that I intend to draw is that cliques are defined by who they don’t contain whereas subcultures are defined by who they do. Therefore anyone can join a subculture, but not anyone can join a clique.
Clashes of terminology are inevitable in such a broad subject. What does the word “category” conjure to a functional analyst? Someone not well versed in algebraic geometry might ponder the meaning of a “perverse sheaf”. And the connections between limits and limits seems, if not tenuous, at least to not be all that useful in conveying intuition.