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.
added pointer to
added the plain traditional definition to J-homomorphism
I created a new page generalized quantifier mostly to drop some references.
started a stub for projective space
Created categorical model of dependent types, describing the various different ways to strictify category theory to match type theory and their interrelatedness. I wasn’t sure what to name this page — or even whether it should be part of some other page — but I like having all these closely related structures described in the same place.
added to Grothendieck construction a section Adjoints to the Grothendieck construction
There I talk about the left adjoint to the Grothendieck construction the way it is traditionally written in the literature, and then make a remark on how one can look at this from a slightly different perspective, which then is the perspective that seamlessly leads over to Lurie's realization of the (oo,1)-Grothendieck construction.
There is a CLAIM there which is maybe not entirely obvious, but straightforward to check. I'll provide the proof later.
I made étale homotopy and étale homotopy theory be redirects to the entry geometric homotopy groups in an (infinity,1)-topos
the standard bar complex of a bimodule in homological algebra is a special case of the bar construction of an algebra over a monad. I have added that as an example to bar construction.
I also added the crucial remark (taken from Ginzburg’s lecture notes) that this is where the term “bar” originates from in the first place: the original authors used to write the elements in the bar complex using a notaiton with lots of vertical bars (!).
(That’s a bad undescriptive choice of terminoiogy. But still not as bad as calling something a “triple”. So we have no reason to complain. ;-)
at Künneth theorem I have spelled out statemennt and detailed proof of the Künneth theorem in ordinary homology.
commented in the discussion at point of a topos and have a question there.
added pointer to today’s
just to make links work, I have started a minimum at gravitational wave.
created worldline formalism to go with this Physics.SE answer
I have expanded various sections at disjoint coproduct. In particular towards the end is now a mentioning of the fact that in a positive category morphisms into a disjoint coproduct are given by factoring disjoint summands of the domain through the canonical inclusions.
Also,I made positive category and variants redirect to extensive category.
finally splitting this off from Chern character
stub for Chern character
just the blind definition so far, to be expanded later
added to equivariant K-theory comments on the relation to the operator K-theory of crossed product algebras and to the ordinary K-theory of homotopy quotient spaces (Borel constructions). Also added a bunch of references.
(Also finally added references to Green and Julg at Green-Julg theorem).
This all deserves to be prettified further, but I have to quit now.
brief category:people-entry for hyperlinking references at equivariant Chern character
edited classifying topos and added three bits to it. They are each marked with a comment "check the following".
This is in reaction to a discussion Mike and I are having with Richard Williamson by email.