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 beauty book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 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).
    • copied from HoTT wiki

      Anonymous

      v1, current

    • Added a reference to get the ball rolling. I’ll see if Jon would like to write something.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added statement of theorem and proof of a lemma.

      diff, v3, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Created a stub for the conference.

      v1, current

    • make lists of conferences part of the category: reference

      Valeria de Paiva

      diff, v5, current

    • I have added an observation (here) that complex Hermitian inner product spaces \mathcal{H} may be regarded as (/2)(\mathbb{Z}/2 \curvearrowright \mathbb{C})-modules of the form *\mathcal{H} \oplus \mathcal{H}^\ast in the topos of /2\mathbb{Z}/2-sets.

      diff, v6, current

    • just noticed that in many entries the floating context menu for Linear Algebra has accidentally been replaced by that for Homotopy Theory (evidently a mistake propagated by copy-and-pasting, I guess this is all my fault). Am fixing this now, as far as I can spot occurrences.

      diff, v12, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub entry, for the moment just to record some references

      v1, current

    • created an entry modal type theory; tried to collect pointers I could find to articles which discuss the interpretation of modalities in terms of (co)monads. I was expecting to find much less, but there are a whole lot of articles discussing this. Also cross-linked with monad (in computer science).

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added:

      A survey of various notions between unital rings and nonunital rings:

      • Patrik Nystedt, A survey of s-unital and locally unital rings, Revista Integración, temas de matemáticas Escuela de Matemáticas, Universidad Industrial de Santander, Vol. 37, N◦ 2, 2019, pág. 251–260. doi.

      diff, v21, current

    • Gave a more conceptual explanation of the adjugate of a linear endomorphism.

      diff, v8, current

      • G. B. Preston, Representation of inverse semi-groups, J. London Math. Soc. 29 (1954) 411-419

      v1, current

    • The cut rule for linear logic used to be stated as

      If ΓA\Gamma \vdash A and AΔA \vdash \Delta, then ΓΔ\Gamma \vdash \Delta.

      I don’t think this is general enough, so I corrected it to

      If ΓA,Φ\Gamma \vdash A, \Phi and Ψ,AΔ\Psi,A \vdash \Delta, then Ψ,ΓΔ,Φ\Psi,\Gamma \vdash \Delta,\Phi.

    • brief category:people-entry for hyperlinking references

      v1, current

    • I started a stub at affine logic as I saw the link requested in a couple of places.

    • starting a stub. Nothing here yet, but need to save.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • The link for ’equivalent’ at the top redirected to natural isomorphism which (as I understand it) is the correct 1-categorical version of an equivalence of functors, but this initially lead me to believe that a functor was monadic iff it was naturally isomorphic to a forgetful functor from the Eilenberg-Moore category of a monad on its codomain, which would mean that the domain of the functor was literally the Eilenberg-Moore category of some adjunction since natural isomorphism is only defined for parallel functors.

      diff, v19, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Copy-pasted the very explicit definition added to the page “monoidal category”.

      diff, v7, current

    • Following discussion in some other threads, I thought one should make it explicit and so I created an entry

      Currently this contains some (hopefully) evident remarks of what “dependent linear type theory” reasonably should be at least, namely a hyperdoctrine with values in linear type theories.

      The entry keeps saying “should”. I’d ask readers to please either point to previous proposals for what “linear dependent type theory” is/should be, or criticise or else further expand/refine what hopefully are the obvious definitions.

      This is hopefully uncontroversial and should be regarded an obvious triviality. But it seems it might be one of those hidden trivialities which deserve to be highlighted a bit more. I am getting the impression that there is a big story hiding here.

      Thanks for whatever input you might have.

    • Finally created funny tensor product. This is not really a very good name for a serious mathematical concept, but I don’t know of a better one.

    • Started an article on monoidal monad. An earlier redirect had sent it over to Hopf monad which is something that Zoran was working on, but I think it deserves an article to itself, with discussion of the relation to commutative monads, etc. (which I have started).

    • added these references, and added their doi etc.:

      Early speculations trying to model the electron by a relativistic membrane:

      • {#Dirac62} Paul Dirac, An Extensible Model of the Electron, Proc. Roy. Soc. A268, (1962) 57-67 (jstor:2414316)

      • Paul Dirac, The motion of an Extended Particle in the Gravitational Field, in Relativistic Theories of Gravitation, Proceedings of a Conference held in Warsaw and Jablonna, July 1962, ed. L. Infeld, P. W. N. Publishers, 1964, Warsaw, 163-171; discussion 171-175 (spire:1623740)

      • Paul Dirac, Particles of Finite Size in the Gravitational Field, Proc. Roy. Soc. A270, (1962) 354-356 (doi:10.1098/rspa.1962.0228)

      diff, v5, current

    • starting something, just for completeness

      v1, current

    • I rewrote the few sentences at tangent (infinity,1)-category in an attempt to make it run more smoothly.

      In any case, there is not much there yet...

    • created a currently fairly empty entry quantum measurement, just so as to have a place where to give a commented pointer to the article

      • Klaas Landsman, Robin Reuvers, A Flea on Schrödinger’s Cat, Found. Phys. 43, 373-407 (2013) (arXiv:1210.2353)
    • I made some edits at well-order. I am removing a query box, having duly extracted some punchlines. These edits also forced an edit to partial function, where I added the generalization to partial maps in any category with pullbacks.

      +– {: .query} This need not exist; in particular, S aS_a may be empty. What do we really want to say here? (We could talk about the successor of a well-ordered set.) —Toby Mike: Yeah, or we could say that successor is a partial function. One definition of a limit ordinal is one on which successor is totally defined. =–

    • Added a bit to Hartogs number. Including the curiosity that GCH implies AC. :-)

    • I have made explicit the example of involutive Hopf algebras, and how most of the other examples previously listed here are special cases of this one. Also expanded a little and organized it all into a new Examples-subsection (here)

      diff, v14, current

    • slightly edited AT category to make the definition/lemma/proposition-numbering and cross-referencing to them come out.

      Probably Todd should have a look over it to see if he agrees.

    • brief category:people-entry for hyperlinking references

      v1, current

    • it has annoyed me for a long time that bilinear form did not exist. Now it does. But not much there yet.