Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • Page created, but author did not leave any comments.

      v1, current

    • Created a stub for cofunctor? with some references.

      v1, current

    • added pointer to:

      • Norman Steenrod, Homology With Local Coefficients, Annals of Mathematics, Second Series, Vol. 44, No. 4 (Oct., 1943), pp. 610-627 (jstor:1969099)

      • M. Bullejos, E. Faro, M. A. García-Muñoz, Homotopy colimits and cohomology with local coefficients, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 44 no. 1 (2003), p. 63-80 (numdam:CTGDC_2003__44_1_63_0)

      diff, v3, current

    • I have tried to improve the list of references at stable homotopy theory and related entries a bit. I think the key for having a satisfactory experience with the non-\infty-categorical literature reflecting the state of the art, is to first have a general but quick survey, and then turn for the details of highly structured ring spectra to a comprehensive reference on S-modules or orthogonal spectra. So I have tried to make that better visible in the list of reference.

      I find that for the first point (general but quick survey) Malkiewich 14 is the best that I have seen.

      Of the highly structured models, probably orthogonal spectra maximize efficiency. A slight issue as far as references go is that the maybe best comprehensive account of their theory is Schwede’s Global homotopy theory, which presents something more general than beginners may want to see (on the other hand, beginners often don’t know what they really want). In any case, I have kept adding this book reference as a reference for orthogonal spectra, joint with the comment that the inclined reader is to chooce the collection \mathcal{F} of groups as trivial, throughout.

    • Recording the result from Triantafillou 82, characterizing injective/projective objects in diagrams of vector spaces over (the opposite of) the orbit category.

      (The degreewise ingredients in the rational model for topological G-spaces)

      v1, current

    • Replace “infinity” with “∞”.

      Mark John Hopkins

      diff, v6, current

    • As I’ve already said elsewhere, I’ve been working on this entry and trying to give a precise definition based on my hunches of what guys like Steenrod really meant by “a convenient category of topological spaces”. (I must immediately admit that I’ve never read his paper with that title. Of course, he meant specifically compactly generated Hausdorff spaces, but nowadays I think we can argue more generally.)

      I also said elsewhere that my proposed axiom on closed and open subspaces might be up for discussion. The other axioms maybe not so much: dropping any of them would seem to be a deal-breaker for what an algebraic topologist might consider “convenient”. Or so I think.

    • a stub, to record some references

      v1, current

    • I edited The Joy of Cats to link to metacategory and to disambiguate quasicategory, as twice now someone on MO has used the term ’quasicategory’ to talk about (very) large categories. This way, if people find the book using the nLab page they are forewarned.

      I also edited quasicategory to move the terminological warning up to the idea section where it is immediately visible, rather than in the second section, below the definition.

    • I think the line between the two types of Kan extension (weak versus pointwise) is drawn at the wrong place. Am I missing something?