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).
    • brief category:people-entry for hyperlinking references

      v1, current

    • discovered that we have this old entry.

      I touched the wording in the first paragraph (there is room to improve it further)

      and took the liberty of deleting the second (which was trying to state a theorem but didn’t even declare its symbols and ended up being mainly a pointer to Schumacher & Westmoreland 2010, for which I have now added the publication data)

      this entry remains a stub

      diff, v3, current

    • this is a bare sub-section — meant to be !includeed into relevant entries such as at quantum channel and at quantum decoherence — towards the theorem that quantum channels are exactly the “bath-averages of bath-coupled unitary evolutions”

      v1, current

    • Starting an entry (to rhyme on “quantum reader monad”) on the linear version of the costate comonad and how its coKleisli category on the tensor unit alone exhibits the structure of quantum observables.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • strict inverse functions

      Anonymouse

      v1, current

    • added pointer to:

      • Rob Norris, Functional Programming with Effects, talk at Scala Days 2018 [video: YT]

      diff, v56, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I have added (here) pointer to:

      (This edit prompted by discussion in another thread of the same name: here)

      diff, v6, current

    • strict propositions in type theory

      Anonymouse

      v1, current

    • a bare minimum — for the moment just to make links work

      v1, current

    • am hereby clearing this ancient and abandoned stub entry

      diff, v5, current

    • A new person stub, copied from my personal lab.

      v1, current

    • stub on the type sProp which is the type of strict propositions

      Anonymouse

      v1, current

    • starting page on squash types

      Anonymouse

      v1, current

    • added a proof that the identity function on a type has contractible fibers

      Anonymouse

      diff, v8, current

    • starting disambiguation page

      Anonymouse

      v1, current

    • article on a variation of the identity type which compares elements from two equivalent types for equality

      Anonymouse

      v1, current

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

      Anonymous

      v1, current

    • A stub, for the moment just to have a place for recording a couple of references (which were previously at fusion category.

      v1, current

    • a stub, for them moment just to make links work

      v1, current

    • starting article on the Dutch Categories and Types Seminar for linking purposes

      Anonymouse

      v1, current

    • I added a note to compact closed category on the fact that the inclusion from compact closed categories into SMCCs has a left adjoint, pointing to an article by Day where he describes the free compact closed category over a closed symmetric monoidal category as a localization. Question: this left adjoint is not full, but I believe it is faithful – does anyone know how to prove that?

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub, for completeness and to have a place to record references

      v1, current

    • starting disambiguation page for typal equality

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • In the Examples-section (here) I added the remark that the example in VectVect uses the axiom of choice,

      and while I was at it I added the more fundamental remark that in SetSet epimorphisms are split by choice.

      diff, v13, current

    • Added a proposition about isomorphisms in terms of split monomorphisms, and a reference to a blog post on the topic.

      diff, v17, current

    • I have re-written the (previously telegraphic) Definition-section from scratch (here) adding more details, more formatting and more commentary.

      diff, v16, current

    • added to identity type a mentioning of the alternative definition in terms of inductive types (paths).

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I gave Drinfel’d double an Idea-section.

      Also moved a paragraph on module categories from the References to a Properties-section.

    • Started a bare minimum at cyclotomic spectrum. So far it’s essentially just a pointer to the canonical reference by Blumberg-Mandell. (Thomas Nikolaus and Peter Scholze have a new foundation of the theory in preparation for which notes however are not public yet, also Clark Barwick has something in preparation, for which you may find notes by looking at his website and being clever in deducing hidden URLs, he says.)

      For the moment the only fact that I have actually recorded in the entry is a fact that is trivial for anyone familiar with the theory,but which looks interesting from the point of view of the story at Generalized cohomology of M2/M5-branes (schreiber): the global equivariant sphere spectrum for all the cyclic groups (all the A-type finite groups in the ADE classification…) carries canonical cyclotomic structure and as such is the tensor unit among cyclotomic spectra.

      Apart from mentioning this, I have added brief cross-links with topological cyclic homology, equivariant sphere spectrum, cyclic group and maybe other entries.

    • Created solid functor with an SVG graphic. The SVG editor is awesome! Even if it is still a little buggy.

    • all the ZFC axioms have structural counterparts, which means that one could come up with a structural set theory which is equivalent in strength to ZFC.

      Anonymous

      v1, current