Processing math: 100%
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 finite 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 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).
    • Created:

      Definition

      A subcategory C of an accessible category D is accessible if C is an accessible category and the inclusion functor CD is an accessible functor.

      Some authors, e.g., Lurie in Higher Topos Theory and AdámekRosický, require accessible subcategories to be full subcategory.

      Some authors, e.g., AdámekRosický in Locally Presentable and Accessible Categories merely require C to be accessible, referring to the stronger notion as an accessibly embedded accessible subcategory.

      Properties

      Accessible subcategories are idempotent complete and are closed under set-indexed intersections.

      Related concepts

      References

      See, for example, Definition 5.4.7.8 in

      v1, current

    • Fixed a hyperlink to Jardine’s lectures. Removed a query box:

      +– {: .query} Can any of you size-issue experts help to clarify this?

      Mike: I wish. I added some stuff, but I still don’t really understand this business. In particular I don’t really know what is meant by “inessential.” It certainly seems unlikely that you would get equivalent homotopy theories, but it does seem likely that you would get similar behavior no matter where you draw the line. And if all you care about is, say, having a good category of sheaves in which you can embed any particular space or manifold you happen to care about, then that may be good enough. But I don’t really know what the goal is of considering such large sites. =–

      diff, v9, current

    • I started a page logicality and invariance. In Bristol the other day, Steve Awodey was promoting the thought that HoTT is a realisation of that thrust to understand logic as maximally invariant.

      What would it be to take that seriously? If invariants are picked up by dependent product in some BAut context, could there be a useful context BAut(𝒰) for the universe 𝒰?

    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub entry, for the time being just to have a place for recording some references

      v1, current

    • a stub entry, for the time being just to make the link work

      v1, current

    • Added some info on functoriality from the “Colouring a Graph” nCafe thread. The extension to arbitrary cardinality is my own writing, if I got something horribly wrong there somehow that’s my own fault. First edit!

      Elisha Goldman

      diff, v5, current

    • subdivided the Properties-section into subsections; added subsection for branched coverings of n-spheres

      diff, v39, current

    • Created a stub to link from another page

      v1, current

    • felt like the nLab should have an entry fraction

    • I created an entry on Larry Lambe. I included a link to some (on line) notes of his on Symbolic Computation which includes discussion of the perturbation lemma from homological perturbation theory.

    • Entered nLab incorporating George Howison to the “idealism” page; and planting leads to create several related pages. “Love, too, now has its adequate definition: (at p.361)”

      Tim “DisciplinedIdea” Rappl

      diff, v9, current

    • Unfortunately, there are two entries on the same topic, both created by Urs: quantum Hall effect (redirecting also fractional quantum Hall effect what should eventually split off) with some substance, and the microstub quantum hall effect. I would like to create quantum spin Hall effect and I think I should rename/reclaim the stub quantum hall effect for this. Do others agree ? Urs ?

      As the action is now delayed I record here the reference which I wanted to put there

      • B. Andrei Bernevig, Taylor L. Hughes, Shou-Cheng Zhang, Quantum spin Hall rffect and topological phase transition in HgTe quantum wells, Science 15 December 2006: 314, n. 5806, pp. 1757-1761 doi

      Somewhat surprisingly, the authors and roughly this work of them are mentioned (though not in the list of references) in a paper in algebraic geometry

      which considers the mirror symmetry and topological states of matters (topological insulators in particular) as main applications.

    • added also the complementary cartoon for D-branes in string perturbation theory (the usual picture)

      diff, v48, current

    • Just a stub for the moment to try to introduce the notion of differential category due to Blute, Cockett and Seely.

      v1, current

    • Added example of simple Lie algebras with the negative of the Killing form

      diff, v23, current

    • I was involved in some discussion about where the word “intensional” as in “intensional equality” comes from and how it really differs from “intenTional” and what the point is of having such a trap of terms.

      Somebody dug out Martin-Löf’s lecture notes “Intuitionistic type theory” from 1980 to check. Having it in front of me and so before I forget, I have now briefly made a note on some aspects at equality in the section Different kinds of equalits (below the first paragraph which was there before I arrived.)

      Anyway, on p. 31 Martin-Löf has

      intensional (sameness of meaning)

      I have to say that the difference between “sameness of meaning” and “sameness of intenTion”, if that really is the difference one wants to make, is at best subtle.

    • brief category:people-entry for hyperlinking references

      v1, current

    • in analogy to what I just did at classical mechanics, I have now added some basic but central content to quantum mechanics:

      • Quantum mechanical systems

      • States and observables

      • Spaces of states

      • Flows and time evolution

      Still incomplete and rough. But I have to quit now.

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Am starting a write-up (here) of how (programming languages for) quantum circuits “with classical control and/by measurement” have a rather natural and elegant formulation within the linear homotopy type theory of Riley 2022.

      Aspects of this have a resemblance to some constructions considered in/with “Quipper”, but maybe it helps clarify some issues there, such as that of “dynamic lifting”.

      The entry is currently written without TOC and without Idea-section etc, but rather as a single top-level section that could be !include-ed into relevant entries (such as at quantum circuit and at dependent linear type theory). But for the moment I haven’t included it anywhere yet, and maybe I’ll eventually change my mind about it.

      v1, current

    • there is some confusion on this MO thread about sheafification, with the nLab entry sheafification somehow involved. I had a look at the entry and find that it can do with lots of polishing, but that the statement discussed over there is clearly right. (the misleading answer on MO that seems to claim a problem on the nLab page gets twice as many votes as the good answer by Clark Barwick, which confirms the statement) I have tried to edit it a bit to make things clearer, but don’t have the leisure for that now.

      Given the recent success with the polishing of the entry on geometric realization, maybe I should announce that sheafification is going to be submitted for nJournal peer-review soon, so that everybody here will jump on it to brush it up ;-)

    • brief category:people-entry for hyperlinking references

      v1, current

    • edited the entry orthogonality a bit, for instance indicated that there are other meanings of orthogonality. This should really be a disambiguation page.

      And what makes the category-theoretic notion of orthogonality not be merged with weak factorization system? And why is orthogonal factorization system the first example at orthogonality if in fact that imposes unique lifts, while in orthogonality only existence of lifts is required?

      I think the entry-situation here deserves to be further harmonized.

    • basic definition and reference to Mellies’ survey

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added a section with a collection of references on intersection laws for black D-branes ending on black NS5-branes. Then I spelled out the case of D6-branes in some detail, collecting the relevant diagrams from the reference EGKRS00, and used this to identify the corresponding M-theory lift by the M5-brane near horizon ADE-orbifolds of the 4-sphere.

      diff, v22, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added pointer to:

      • Sébastien Fumeron, Bertrand Berche, Fernando Moraes, Improving student understanding of electrodynamics: the case for differential forms, American Journal of Physics 88 (2020) 1083 [arXiv:2009.10356, doi:10.1119/10.0001754]

      diff, v25, current

    • Compiling some references on universality of quantum Hall effects, here.

      diff, v28, current

    • A stub. Would *double (,1)-category be preferable?

      v1, current

    • (permutations of) this title used to redirect to closed monoidal category, but its useful to have a direct pointer for the symmetric monoidal closed case, and so I am splitting this off as a little entry

      v1, current

    • It didn’t seem we had a page for this, and yet it seems notable enough to warrant one, mainly for cross-linking purposes.

      v1, current

    • Mike Stay kindly added the standard QM story to path integral.

      I changed the section titles a bit and added the reference to the Baer-Pfaeffle article on the QM path integral. Probably the best reference there is on this matter.

    • just a stub for the moment, in order to make links work

      v1, current

    • Just a definition (hope I got it right) and a couple properties. I wasn’t sure how to set up the redirects; currently “modest set” redirects here while “PER” redirects to partial equivalence relation, but other suggestions are welcome.

      v1, current

    • following discussion here I am starting an entry with a bare list of references (sub-sectioned), to be !include-ed into the References sections of relevant entries (mainly at homotopy theory and at algebraic topology) for ease of updating and syncing these lists.

      The organization of the subsections and their items here needs work, this is just a start. Let’s work on it.

      I’ll just check now that I have all items copied, and then I will !include this entry here into homotopy theory and algebraic topology. It may best be viewed withing these entries, because there – but not here – will there be a table of contents showing the subsections here.

      v1, current

    • Added list of low dimensional manifolds and removed them from the example section.

      diff, v17, current

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current