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 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 nforum 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 sheaves 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).

nLab > Latest Changes

Show all

8461 to 8520 of 14422

  1. <
  2. 1
  3. ...
  4. 138
  5. 139
  6. 140
  7. 141
  8. 142
  9. 143
  10. 144
  11. 145
  12. ...
  13. 241
  14. >

    • to go with David C.’s recent edits

      v1, current

    • I have added some things to frame. Mostly duplicating things said elsewhere (at locale and at (0,1)-topos), but I need these statements to be at frame itself.

    • discovered this old but empty entry. Made it point to CR-manifold

      (it might just be cleared and “CR-structure” made a redirect for “CR-manifold”)

      diff, v2, current

    • I have added to algebra for an endofunctor a remark on the relation to algebras over free monads. While I think that’s pretty obvious, I notice that a) recently somebody has blogged about that here, b) here it says that it’s not true :-) (but I think it’s not meant to be read that way).

    • added pointer to

      • Maks A. Akivis, Vladislav V. Goldberg, Conformal and Grassmann structures, Differential Geom. Appl. 8 (1998) no. 2 177-203 (arXiv:math/9805107)

      for discussion of conformal structure as G-structure

      diff, v24, current

    • Removed link from Eric Forgy that was placed by one TessWither. There was a little bit of other activity around that seemed to be just minor edits to create a smokescreen.

      David Roberts

    • I’ve created a page for quaternionic manifolds, linked from quaternion-Kähler page. Basic references and discussion of main definition re Cauchy-Feuter calculus. Comparison to hypercomplex structure.

      v1, current

    • expanded the previously pretty empty entry smooth Lorentzian space.

      I added some standard definitions for smooth Lorentzian manifolds and then a discussion on how a time orientation without closed future-directed curves induces the structure of a category that is a poset, where a morphism x \to y witnesses the fact that y is a point in the future of x .

    • Creating a separate page for the old rules. This is the beginning of an attempt at reorganization.

      v1, current

    • For now, a place to try putting some typing rules for proto CLF.

      v1, current

    • Created an entry for this geometric theory.

      v1, current

    • [deleted]

    • [deleted]

    • I gave Sets for Mathematics a category:reference entry and linked to it from ETCS and from set theory, to start with.

      David Corfield kindly alerts me, which I had missed before, that appendix C.1 there has a clear statement of Lawvere’s proposal from 94 of how to think of categorical logic as formalizing objective and subjective logic (to which enty I have now added the relevant quotes).

    • Creating the page, which I intend to use at Lack fibration. If I have not made a mistake, this is a 2-groupoid model of the 2-truncation of the 2-sphere, and I have added remarks of this nature to the page, along with a ’computation’ of π 2(S 2)\pi_{2}\left(S^{2}\right) using this model.

      v1, current

    • I am creating this entry to resolve a dangling entry in the Lorentz group entry.

      Avi Levy

      v1, current

    • Creating page to satisfy a link.

      v1, current

    • Make the hyperlink point to the topologist, not the statistician.

      diff, v3, current

    • I have expaned a bit at Ab: added a section with some basics on direct sums and tensor products and then slightly expanded on the monoidal category structures.

    • just testing latex code since there’s no way to preview in the nLab editor Please get a preview button and a way to debug latex code it literally happens everytime I try to edit

      δ i n+1∘δ j n=δ j+1 n+1∘δ i n i≤j σ j n∘σ i n+1=σ i n∘σ j+1 n+1 i≤j \array{ \delta_i^{n+1} \circ \delta_j^n = \delta_{j+1}^{n+1}\circ \delta_i^n & \qquad i \leq j \\ \sigma_j^n \circ \sigma_i^{n+1} = \sigma_i^n \circ \sigma_{j+1}^{n+1} & \qquad i \leq j }

    • [deleted]

    • [deleted]

    • Added overview of a different notion common in representation theory of non-commutative algebras. This is my first nLab edit; please excuse (and fix) any errors of house style or formatting.

      David Speyer

      diff, v15, current

8461 to 8520 of 14422

  1. <
  2. 1
  3. ...
  4. 138
  5. 139
  6. 140
  7. 141
  8. 142
  9. 143
  10. 144
  11. 145
  12. ...
  13. 241
  14. >
Top of Page