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 accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry anomalies arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-simons-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-geometry duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph gravity group-theory 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 infinity integration-theory internal-categories k-theory kan lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory tqft type type-theory universal web

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).
    • I’ve just edited topological concrete category to correct the claim that topological functors create limits, which is not quite true: for instance, the forgetful U:TopSetU: \mathrm{Top} \to \mathrm{Set} fails to reflect limits because choosing a finer topology on the limit vertex yields a non-limiting cone with the same image in Set\mathrm{Set}. This is correctly reported on wikipedia and in Joy of Cats, p. 227.

      It is true that topological functors allow you to calculate limits using the image of the diagram under the functor, which is quite powerful. In Joy of Cats, a topological functor is said to “uniquely lift limits” (definition p. 227, proven p. 363). There doesn’t seem to be an nlab page for this property – I suppose it’s not much used by most category theorists.

    • at monoidal adjunction the second item says

      while the left adjoint is necessarily strong

      but should it not say

      while the left adjoint is necessarily oplax


    • I added the definition of uniform space in terms of covering families. But I don’t know the covering version of the constructive “axiom (0)”.

    • created arithmetic jet space, so far only highlighting the statement that at prime pp these are X×Spec()Spec( p)X \underset{Spec(\mathbb{Z})}{\times}Spec(\mathbb{Z}_p) (regarded so in Borger’s absolute geometry by applying the Witt ring construction (W n) *(W_n)_\ast to it).

      This is what I had hoped that the definition/characterization would be, so I am relieved. Because this is of course just the definition of synthetic differential geometry with Spec( p)Spec(\mathbb{Z}_p) regarded as the ppth abstract formal disk.

      Well, or at least this is what Buium defines. Borger instead calls (W n) *(W_n)_\ast itself already the arithmetic jet space functor. I am not sure yet if I follow that.

      I am hoping to realize the following: in ordinary differential geometry then synthetic differential infinity-groupoids is cohesive over “formal moduli problems” and here the flat modality \flat is exactly the analog of the above “jet space” construction, in that it evaluates everything on formal disks. Moreover, \flat canonically sits in a fracture suare together with the “cohesive rationalization” operation [Π dR(),][\Pi_{dR}(-),-] and hence plays exactly the role of the arithmetic fracture square, but in smooth geometry. I am hoping that Borger’s absolute geometry may be massaged into a cohesive structure over the base Et(Spec(𝔽 1))Et(Spec(\mathbb{F}_1)) that makes the cohesive fracture square reproduce the arithmetic one.

      If Borger’s absolute direct image were base change to Spec( p)Spec(\mathbb{Z}_p) followed by the Witt vector construction, then this would come really close to being true. Not sure what to make of it being just that Witt vector construction. Presently I have no real idea of what good that actually is (apart from giving any base topos for Et(Spec(Z))Et(Spec(Z)), fine, but why this one? Need to further think about it.)

    • I had started an entry “exponentiation” but then thought better of it and instead expanded the existing exponential object: added an examples-section specifically for SetSet and made some remarks on exponentiation of numbers.

    • I would like to include something on wheeled properads (or wheeled PROPs) in the nlab. It seems to me that a wheeled prop is something like a symmetric monoidal category with duals for every object generated by one object. Is this right? Is there a place in the litterature where i can find the relation between wheeled properads used by Merkulov and some kinds of symmetric monoidal categories with duality?

      Before changing the PROP entry to add this variant, i would like to have a nice reference on this.
    • Although referred to in a couple of place, it seems we had no entry for spatial topos, so I’ve made a start.

    • A long time ago we had a discussion at graph about notions of morphism. I have written an article category of simple graphs which collects some properties of the category under one of those definitions (corresponding better, I think, to graph-theoretic practice).

    • Created twosets20170617. Contains an svg illustration of a full subcategory of Set\mathsf{Set} consisting of a terminal object and a two-element set. Uses the convention that an identity arrow is labelled by its object. Intended for use in some graph-theoretical considerations from an nPOV. Sufficiently general to be possibly of use in some other nLab articles too.

    • Created a stub for internal type theory to collect some references. At some point we could move more from Mike’s blog post.

    • I changed “irreflexive graph” to “directed graph” (aka quiver), as such a presheaf is more commonly known. (Irreflexive to my mind means loops at a vertex are forbidden.)

    • Somehow we didn’t yet have a page about pseudo-distributive laws, so I made a stubby one with a few examples and references.