Not signed in (Sign In)

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-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory object 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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).
    • For now creating the page. I’m not an expert on the topic, so if someone wants to chime in, please do!

      v1, current

    • I added to Tim’s stub on cellular homology. Still a bit rough around the edges perhaps. An example (say real projective space) would also be nice.

    • The equivariant version of symmetric sequences

      Natalie Stewart

      v1, current

    • removed link to old philosophy paper

      steveawodey

      diff, v9, current

    • For now creating the page. More information to be added in the future.

      v1, current

    • Creating page, added most of the planned content.

      v1, current

    • Created the page, just gave the definition and one ref. Will add more stuff later.

      clemence

      v1, current

    • Created the page, just added the definition. Will add more properties later

      clemence

      v1, current

    • Changed name to the page to the more general concept of “ergodicity”. (Several things can be ergodic: measures, stochastic processes, dynamical systems, etc., but the idea is basically always the same.)

      More content to be added soon.

      The page could benefit from some more physics content, since I mostly know the probability theory side.

      diff, v2, current

    • Creating page, more content to be added soon.

      v1, current

    • added to invariant a section, here, with detailed exposition of how invariants are equivalently sections of the action groupoid projection

    • I wanted to understand Milnor’s paper on Link Groups, so I basically rewrote the main bits in to Milnor mu-bar invariants. (I don’t understand the difference between μ\mu-invariants and μ¯\bar{\mu}-invariants, but I was only working on the original paper so presumably haven’t gotten that far yet.)

      I even put a TOC in so Urs will be happy!

    • Just started the page, very much work in progress

      clemence

      v1, current

    • it’s an equivariant lift of the linear isometries operad.

      Natalie Stewart

      v1, current

    • Cited today’s preprint by Pradic-Brown showing that CSB is equivalent to LEM.

      diff, v30, current

    • Stability in equivariant higher algebra

      Natalie Stewart

      v1, current

    • Equivariant factorization homology is a thing

      Natalie Stewart

      v1, current

    • For now creating page, content to be added soon.

      v1, current

    • Creating a page on EV operads

      Natalie Stewart

      v1, current

    • Creating page, added most of the content.

      v1, current

    • Added a cross-link to PHCTaHA

      Natalie Stewart

      diff, v2, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Creating page, adding content soon.

      v1, current

    • For now creating the page, more content to be added soon.

      v1, current

    • Indexed coproducts are important for parameterized and equivariant higher algebra

      Natalie Stewart

      v1, current

    • Indexed semiadditivity is quite important

      Natalie Stewart

      v1, current

    • Created page, added most of the planned content.

      v1, current

    • Creating a sidebar

      Natalie Stewart

      v1, current

    • starting page for sequentially Cauchy complete Archimedean ordered field setoids

      Anonymouse

      v1, current

    • starting page on setoids whose quotient sets are Archimedean ordered fields

      Anonymouse

      v1, current

    • starting page on setoids whose quotient sets are ordered fields

      Anonymouse

      v1, current

    • I am taking the liberty of creating a category: reference-entry in order to have a way to hyperlink references to our new research center here in NYUAD, which is slowly but surely entering into tangible existence.

      v1, current

      • Shaun Disney, Iain Raeburn, Homogeneous C *{}^\ast-algebras whose spectra are tori, J. Australian Math. Soc. 38:1 (1985) 9–39 doi

      diff, v5, current

    • Starting page on setoids whose quotient set is a group

      Anonymouse

      v1, current

    • Page created, but author did not leave any comments.

      v1, current

    • Starting page on setoids whose quotient set is a monoid

      Anonymouse

      v1, current

    • Added a new reference to pasting in Gray categories:

      • Nicola Di Vittorio, A Gray-categorical pasting theorem, Theory and Applications of Categories, 39, 2023. (link)

      I also added a number of doi links to the reference section.

      diff, v19, current

    • Added another reference.

      I was chatting with Robin Cockett yesterday at SYCO1. In a talk Robin claims to be after

      The algebraic/categorical foundations for differential calculus and differential geometry.

      It would be good to see how this approach compares with differential cohesive HoTT.

      diff, v5, current