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 categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science connection constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus 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 history homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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 subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory 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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeOct 16th 2010

    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.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeOct 16th 2010

    There is an entry exponential map as well. It should stay separate -- he continuous context is different from the arithmetics of cardinals which may fall into decategorification of the situation at exponential object. So the case of cardinals where the exponentiation is by the counting of the size of power set related etymologically to exponential object is the intersection of two notions which would be overstretched to unify -- solutions of ODEs leading to exponential functions, operators, maps, unipotent groups and so on, and the case of generalizing counting power sets to exponential objects.

    It would be nice to have something about the unipotent groups, as it is related to many cases where Feynman integrals appear. By opening the entry on free Lie algebra I mean one should look at the exponent of this Lie algebra via ordered products...

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeOct 16th 2010

    I added many more references to free Lie algebra including Kapranov and also Schneps.

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 16th 2010

    I agree with Zoran here, and I didn’t see what you were getting at in the final paragraph of the section on exponentiation of sets and numbers (in particular, I didn’t know what “it” in “It yields for instance” was supposed to refer to).

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeOct 16th 2010

    Cardinal numbers as isomorphism classes of objects in Set is OK, but more general numbers, operators etc. indeed belong to different kind of exponentiation. I guess Urs was looking at cardinals (including nonnegative integers) only what is OK, but somehow wanted to think beyond what is not that apt.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeAug 25th 2016

    I added to exponential object an example that a natural transformation is exponentiable in D CD^C if it is cartesian and pointwise-exponentiable. Has anyone seen this before?

    • CommentRowNumber7.
    • CommentAuthorPeter Heinig
    • CommentTimeJun 19th 2017
    • (edited Jun 19th 2017)

    Added to exponential object the usage exponential transpose (which is frequently used, but somewhat surprisingly was found on three pages on the nLab only) and also the lambda-notation, with a reference, and, confined to the footnote, the rather rare alternative “flat”-notation.

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 19th 2017

    It’s also known as currying, and I’m sure other names are in usage. I added a note on that.

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeJun 19th 2017

    I made exponential transpose a redirect to currying, although I suppose one might argue that it should redirect to exponential object instead.

    • CommentRowNumber10.
    • CommentAuthorPeter Heinig
    • CommentTimeJun 24th 2017

    Since to me it seems useful for readers I added, confined to footnotes and with references, some notational remarks to exponential object and adjunct.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)