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-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory kan 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 natural nforum nlab nonassociative 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological 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).
    • At first Zoran's reply to my query at structured (infinity,1)-topos sounded as though he were saying "being idempotent-complete" were a structure on an (oo,1)-category rather than just a property of it. That had me worried for a while. It looks, though, like what he meant is that "being idempotent" is structure rather than a property, and that makes perfect sense. So I created idempotent complete (infinity,1)-category.

    • brief category:people-entry for hyperlinking references

      v1, current

    • am giving this its own entry, in order to record sufficient conditions on topological subgroup inclusions HGH \subset G for the coset space coprodoction GG/HG \to G/H to admit local sections.

      So far I have two original references here (Gleason 50, Mostert 53). One should add some textbook account, too.

      Am also referencing this at closed subgroup, at coset space and maybe elsewhere.

      v1, current

    • am finally giving this its own page, and making “well-pointed topological group” etc. redirects to here.

      Not done yet, but need to save.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added the statement (here) that every paracompact Banach manifold is an absolute neighbourhood retract

      diff, v8, current

    • splitting off this definition from neighborhood retract, for ease of linking, and in order to record the characterization AR = ANR+contractible

      v1, current

    • Many additions and changes to Leibniz algebra. The purpose is to outline that the (co)homology and abelian and even nonabelian extensions of Leibniz algebras follow the same pattern as Lie algebras. One of the historical motivations was that the Lie algebra homology of matrices which lead Tsygan to the discovery of the (the parallel discovery by Connes was just a stroke of genius without an apparent calculational need) cyclic homology. Now, if one does the Leibniz homology instead then one is supposedly lead the same way toward the Leibniz homology (for me there are other motivations for Leibniz algebras, including the business of double derivations relevant for the study of integrable systems).

      Matija and I have a proposal how to proceed toward candidates for Leibniz groups, that is an integration theory. But the proposal is going indirectly through an algebraic geometry of Lie algebras in Loday-Pirashvili category. Maybe Urs will come up with another path if it drags his interest.

    • added references: Bolzano and Bolzano’s logic in the Stanford Encyclopedia of Philosophy


      diff, v3, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I edited stable (infinity,1)-category a bit:

      * rephrased the intro part, trying to make it more forcefully to the point (not claiming to have found the optimum, though)

      * added a dedicated section <a href="">The homotopy cat of a stable (oo,1)-cat: traingulated categories</a> to highlight the important statement here, which was previously a bit hidden in the main text.
    • have added a tad more content to Stein manifold and cross-linked a bit more

    • a bare sub-section with a list of references – to be !included into relevant entries – mainly at confinement and at mass gap problem (where this list already used to live)

      v1, current

    • at monadicity theorem in the second formulation of the theorem, item 3, it said

      CC has

      I think it must be

      DD has

      and have changed it accordingly. But have a look.

    • I have expanded the Idea section at state on a star-algebra and added a bunch of references.

      The entry used to be called “state on an operator algebra”, but I renamed it (keeping the redirect) because part of the whole point of the definition is that it makes sense without necessarily having represented the “abstract” star-algebra as a C*-algebra of linear operators.

    • changed broken website link to new departmental entry. Note the name change, some redirection may be useful.

      diff, v2, current

    • I worked on brushing up (infinity,1)-category a little

      • mostly I added in a section on homotopical categories, using some paragraphs from Andre Joyal's message to the CatTheory mailing list.

      • in this context I also rearranged the order of the subsections

      • I removed in the introduction the link to the page "Why (oo,1)-categories" and instead expanded the Idea section a bit.

      • added a paragraph to the beginning of the subsection on model categories

      • added the new Dugger/Spivak references on the relation between quasi-cats and SSet-cats (added that also to quasi-category and to relation between quasi-categories and simplicial categories)

    • there had been no references at Hilbert space, I have added the following, focusing on the origin and application in quantum mechanics:

      • John von Neumann, Mathematische Grundlagen der Quantenmechanik. (German) Mathematical Foundations of Quantum Mechanics. Berlin, Germany: Springer Verlag, 1932.

      • George Mackey, The Mathematical Foundations of Quamtum Mechanics A Lecture-note Volume, ser. The mathematical physics monograph series. Princeton university, 1963

      • E. Prugovecki, Quantum mechanics in Hilbert Space. Academic Press, 1971.

    • There’s a paper out characterising the category of continuous linear functions between Hilbert spaces

      • Chris Heunen, Andre Kornell, Axioms for the category of Hilbert spaces (arXiv:2109.07418)

      But Hilb concerns short linear maps between Hilbert spaces. Should we have a page for the former category?

    • brief category:people-entry for hyperlinking references at PU(ℋ)

      v1, current

    • I created homotopy extension property and homotopy lifting property. If somebody wonders why I made identical copy of one of them on my personal nlab part is because there I want to keep conservative page for students and here in the main nlab I expect more vigorous extensions by others. On the other hand, I would like to have under homotopy lifting property mention of various variants like "soft map" homotopy lifting property, the homotopical variant of Dold etc. all in one place.

    • starting something, with a hat-tip to Charles Rezk

      v1, current

    • (Hi, I’m new)

      I added some examples relating too simple to be simple to the idea of unbiased definitions. The point is that we often define things to be simple whenever they are not a non-trivial (co)product of two objects, and we can extend this definition to cover the “to simple to be simple case” by removing the word “two”. The trivial object is often the empty (co)product. If we had been using an unbiased definition we would have automatically covered this case from the beginning.

      I also noticed that the page about the empty space referred to the naive definition of connectedness as being

      “a space is connected if it cannot be partitioned into disjoint nonempty open subsets”

      but this misses out the word “two” and so is accidentally giving the sophisticated definition! I’ve now corrected it to make it wrong (as it were).

    • added a second equivalent definition at quasi-category , one that may be easier to motivate

    • The cut rule for linear logic used to be stated as

      If ΓA\Gamma \vdash A and AΔA \vdash \Delta, then ΓΔ\Gamma \vdash \Delta.

      I don’t think this is general enough, so I corrected it to

      If ΓA,Φ\Gamma \vdash A, \Phi and Ψ,AΔ\Psi,A \vdash \Delta, then Ψ,ΓΔ,Φ\Psi,\Gamma \vdash \Delta,\Phi.

    • Page created and some notes added

      v1, current

    • essentially just a stub entry, for the moment just to make links work

      v1, current

    • typo list: - closed $ for page rendering about 60% through file - invalid mathcal(G)


      diff, v32, current

    • wrote a definition and short discussion of covariant derivative in the spirit of oo-Chern-Weil theory

    • The cube diagram on this page is MIA, in case anyone feels like investing a few minutes of tikzcd fun to fix it.

      diff, v14, current

    • 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.

    • Slighly adjusted the lead-in of this page: Added a line on what the book is actually about, and moved the line advertizing how great this is to after that.

      Added the line:

      The approach is echoed in Riehl & Verity 13 with Cat enhanced to the homotopy 2-category of (∞,1)-categories.

      Also touched some wording further below (“is very difficult to read” \mapsto “may be difficult to read”)

      and added the missing cross-link with John Gray (1)

      Finally, I made “formal category theory” a redirect to this page (this would deserve to point to a dedicated page, but as long as that doesn’t exit, it’s good to have it redirect here)

      diff, v9, current