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 deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory 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 planar 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).
    • touched wording and hyperlinking of this old entry, for streamlining

      also added a couple of sentences to the beginning highlighting the ordinary category of enriched functors with the set of enriched natural transformations between them.

      diff, v20, current

    • starting an entry on the left adjoint of the homotopy coherent nerve (which seems to have been missing all along)

      v1, current

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

      v1, current

    • Created a stub for this concept.

      v1, current

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

    • This is intended to continue the issues discussed in the Lafforgue thread!

      I have added an idea section to Morita equivalence where I sketch what I perceive to be the overarching pattern stressing in particular the two completion processes involved. I worked with ’hyphens’ there but judging from a look in Street’s quantum group book the pattern can be spelled out exactly at a bicategorical level.

      I might occasionally add further material on the Morita theory for algebraic theories where especially the book by Adamek-Rosicky-Vitale (pdf-draft) contains a general 2-categorical theorem for algebraic theories.

      Another thing that always intrigued me is the connection with shape theory where there is a result from Betti that the endomorphism module involved in ring Morita theory occurs as the shape category of a ring morphism in the sense of Bourn-Cordier. Another thing worth mentioning on the page is that the Cauchy completion of a ring in the enriched sense is actually its cat of modules (this is in Borceux-Dejean) - this brings out the parallel between Morita for cats and rings.

    • brief disambiguation entry, following the discussion here

      v1, current

    • Added reference to On categories of cocontinuous functors. Applications.

      diff, v6, current

    • Create a page to discuss the various meanings this prefix has, to avoid confusion. Where possible I have included alternative terminology to use, but there doesn’t always appear to be a good alternative appearing in the literature.

      v1, current

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

    • added to complete Segal space a discussion of what an ordinary category looks like when regarded as a complete Segal space.

      (This is meant to be pedagogical, therefore the recollection of all the basics at the beginning.)

    • brief category:people-entry for hyperlinking references

      v1, current

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

      v1, current

    • This is a bare list of references, to be !include-ed into relevant entries, such as at swampland and 24 branes transverse to K3, for ease of cross-linking and updating.

      I am taking the liberty of including a pointer to our upcoming M/F-Theory as Mf-Theory which has some details on a precise version of the conjecture and a proof (from Hypothesis H).

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I wrote an entry (short for now) separable algebra. It is a sort of support for the current Galois theory/Tannakian reconstruction/covering space/monodromy interest of Urs.

    • Added characterization of κ\kappa-compact objects in λ\lambda-accessible categories.

      diff, v63, current

    • Mention the adjoints to the discrete category construction.

      diff, v24, current

    • Added to Hopf monad the Bruguières-Lack-Virelizier definition and some properties.

    • I made some minor improvements to the Properties section of pushout, making it match the similar section in pullback insofar as it can. (It’s a bit tiring to have to look at both these pages to get all the basic properties, so I fixed that, but for properties that hold both for pullbacks and dually for pushouts I’m happy to have all the proofs at pullback - that’s how it works now.)

    • I stated this for presheaf categories, but I’m pretty sure that it carries over for any Grothendieck topos.

      Check it out: lawvere interval

    • When pointing somebody to it, I noticed that the entry n-category is in a rather sad state and in particular it used to start out in a rather unhelpful fashion. I have now tried to briefly fix at least the latter problem by expanding and editing the first two sentences a bit. Notably I made sure that a pointer to (∞,n)-category appears early on, for that is a place with more robust information, currently.

    • I have adjusted and expanded wording and formatting in this entry.

      Notice that the definition of the source and target maps that was (and still is) given here differs from that in Dwyer & Kan (1984):

      where Dwyer & Kan’s §3.1(ii) “discards vertices from the right”, the definition that was (and still is) given in the entry seems to want to switch to the convention where vertices are discarded “from the left”.

      With due care this can probably be made an equivalent definition, but as currently stated

      s=(d 1) n+1s = (d_1)^{n+1}

      t=d 0(d 2) nt = d_0(d_2)^n

      this must be wrong in itself: the “d 2d_2” probably wants to be a “d 1d_1”.

      If anyone wants to fix this, feel invited. Otherwise I’ll change this to Dwyer & Kan’s definition.

      diff, v12, current

    • I left a counter-query underneath Zoran’s query at compactly generated space. It may be time for a clean-up of this article; the query boxes have been left dangling and unanswered for quite some time. Either proofs or references to detailed proofs would be welcome.

    • added some details about the ring of power series modeling infinitesimals in fields.


      diff, v26, current

    • created traced monoidal category with a bare minimum

      I would have sworn that we already had an entry on that, but it seems we didn’t. If I somehow missed it , let me know and we need to fix things then.

    • copied from HoTT wiki


      v1, current

    • I noticed only now that the entry bimodule is in bad shape and needs some attention. For the moment I have added here a mentioning of the 2-category of algebras, bimodules and intertwiners and a pointer to the Eilenberg-Watts theorem.

    • Have added to cyclic set a pointer to notes from 1996 by Ieke Moerdijk where the theory classified by the topos of cyclic sets is identified (abstract circles).

      This is an unpublished note, but on request I have now uploaded it to the nLab

      • Ieke Moerdijk, Cyclic sets as a classifying topos, 1996 (pdf)

      I have also added a corresponding brief section to classifying topos.

      By the way, there is an old query box with an exchange between Mike and Zoran at cyclic set. It seems to me that this has been resolved and the query box could be removed (to make the entry read more smoothly). Maybe Mike and/or Zoran could briefly look into this.

    • Added definition of a right module over a monoid

      diff, v9, current

    • started a Properties-section at Lawvere theory with some basic propositions.

      Would be thankful if some experts looked over this.

      Also added the example of the theory of sets. (A longer list of examples would be good!) And added the canonical reference.

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


      v1, current

    • starting page on left division in modal type theory

      v1, current

    • I created inverse Galois problem. However as it stand this stub does not meet nlab standards since it doesn’t refer to category theory.

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Urs has added Euler integration prompted by Tom’s post at nCafe; I wanted to do that and will contribute soon. I noticed there is no entry integral in nnLab, but it redirects to integration. I personally think that integral as a mathematical object is a slightly more canonical name for a mathematical entry than integration, if the two are not kept separated. Second, the entry is written as an (incomplete) disambiguation entry and with a subdivision into measure approach versus few odd entries. I was taught long time ago by a couple of experts in probability and measure theory that a complete subordination to the concept of integral to a concept of measure is pedagogically harmful, and lacks some important insights. This has also to do with the choice of the title: integration points to a process, and the underlying process may involve measure. Integral is about an object which is usually some sort of functional, or operator, on distributions which are to be acted upon.

      Thus I would like to rename the entry into integral (or to create a separate entry from integration) and make it into a real entry, the list of variants being just a section, unlike in the disambiguation only version. What do you think. Then I would add some real ideas about it.

    • starting page on Darboux integration

      v1, current

    • Created a stub to record a new article and to satisfy a link.

      v1, current

    • creating stub article


      v1, current