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 definitions 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 topological 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).
    • I noticed that we had no entry density, so I very briefly created one. While cross-linking it, I noticed that at volume form there is related discussion re “pseudo-volume forms”. Maybe somebody here would enjoy to add a bit more glue? (I won’t at the moment.)

    • I added a couple of references for the claim

      There is a Curry–Howard correspondence between linear-time temporal logic (LTL) and functional reactive programming (FRP).

      How about for CLT and CLT* (in the computation tree logic section)?

      Were we looking to integrate this section with the one above on temporal type theory as an adjoint logic, could there be a way via some branching representation of our type TimeTime as a tree?

      I see Joachim Kock has an interesting way of presenting trees.

      diff, v18, current

    • Deleted. Former content:

      Basic Research in Computer Science is an international research and PhD school within the areas of computer and information sciences, hosted by the Universities of Aarhus and Aalborg in Denmark, and funded partially by the Danish Agency for Science, Technology, and Innovation.

      diff, v2, current

    • Fixed a typo, but also I noted the last but one link is dead. Does any one know if this has moved somewhere?

      (Edit: I found it. There is a link from his home page. I have updated the link.)

      diff, v7, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • A bare minimum, for the moment just to connect the statement (which had long been made at Fredholm operator but without any comment on where it comes from) to some references.

      v1, current

    • I have edited a bit at Fredholm operator. Also started a stubby Fredholm module in the process. But it remains very much unfinished. Have to interrupt now for a bit.

    • added redirect plus some ‘selected publications’.

      diff, v2, current

    • Created poset-stratified space. I wasn’t sure what to call this, since the references generally just call it a “stratified space”, but our page stratified space is about all notions of stratified space rather than just one of them. Suggestions are welcome.

      (Am now listening to John Francis talk about these things at the Mid-Atlantic Topology Conference.)

    • some minimum, for the moment mostly to record this item:

      • Edna K. Grossman: On the residual finiteness of certain mapping class groups, J. London Math. Soc. s2-9 1 (1974) 160–164 [doi;10.1112/jlms/s2-9.1.160]

      v1, current

    • I was involved in some discussion about where the word “intensional” as in “intensional equality” comes from and how it really differs from “intenTional” and what the point is of having such a trap of terms.

      Somebody dug out Martin-Löf’s lecture notes “Intuitionistic type theory” from 1980 to check. Having it in front of me and so before I forget, I have now briefly made a note on some aspects at equality in the section Different kinds of equalits (below the first paragraph which was there before I arrived.)

      Anyway, on p. 31 Martin-Löf has

      intensional (sameness of meaning)

      I have to say that the difference between “sameness of meaning” and “sameness of intenTion”, if that really is the difference one wants to make, is at best subtle.

    • splitting the material on equality in type theory from equality to its own article

      Karl Schoenbaum

      v1, current

    • Created with name “higher-level foundations” as suggested by Ulrik, but with “higher foundations” as a redirect.

      v1, current

    • at principle of equivalence I have restructured the Examples-section: added new subsections in “In physics” on gauge transformations and on general covariance (just pointers so far, no text), and then I moved the section that used to be called “In quantum mechanics” to “Examples-In category theory” and renamed it to “In the definition of \dagger-categories” (for that is really what these paragraphs discuss, not any notion of equivalence in quantum mechanics, the application of \dagger-categories in that context notwithstanding)

    • moving plenty of material from material set theory that I felt deserved its own page on the difference between material and structural set theory.

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • corrected the reference to point to the right publication

      diff, v4, current

    • Build upon the „(possibly zero [length])“ remark and mention what happens with these paths.

      diff, v9, current

    • I gave regular cardinal its own page.

      Because I am envisioning readers who know the basic concept of a cardinal, but might forget what “regular” means when they learn, say, about locally representable category. Formerly the Lab would just have pointed them to a long entry cardinal on cardinals in general, where the one-line definition they would be looking for was hidden somewhere. Now instead the link goes to a page where the definition is the first sentence.

      Looks better to me, but let me know what you think.

    • This is a definition of a category of filters.

      Anonymous

      diff, v33, current

    • Added comment about the contravariant and covariant power set functors.

      diff, v21, current

    • new article on subset collection separate from that of fullness

      Karl Schoenbaum

      v1, current

    • Added a section on the axiom of fullness in dependent type theory

      Anonymouse

      diff, v7, current

    • Added more material to Boolean algebra, particularly the principle of duality and the connection to Boolean rings, and a wee bit of material on Stone duality.

      Stone duality deserves greater expansion, bringing out the dualities via ambimorphic (ahem, schizophrenic) structures on the 2-element set, and mentioning the connection to Chu spaces. Another day, another dollar.

    • Explained why the square of the finite power set functor is (or “can be made into”) the monad for Boolean algebras.

      diff, v14, current

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

      v1, current

    • touched the formatting of the pointers to references on characteristic of E E_\infty-rings

      diff, v8, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • This old entry (dating from 2011, by Andrew Stacey) used to be titled “equivariant tubular neighbourhoods” (plural!). Since 2021 this has been clashing with the entry “equivariant tubular neighbourhood” without anyone (me) noticing.

      But since this old entry here is not in fact generally about equivariant tubular neighbourhoods, but specialized to when the ambient space is a mapping space, I am just renaming it hereby to, as you can see, “equivariant tubular neighbourhood in a mapping space”

      diff, v4, current

    • a bare minimum, mainly to make the link work and to record references

      v1, current

    • Connected sums denoted with a hash not a sharp

      TN

      diff, v6, current

    • Have added to HowTo a description for how to label equations

      In the course of this I restructured the section “How to make links to subsections of a page” by giving it a few descriptively-titled subsections.

    • [deleted]

    • I created Bishop’s constructive mathematics by moving some material from Errett Bishop and adding some more discussion of what it is and isn’t. Comments and suggestions are very welcome; I’m still trying to figure out the best way to describe the relationship of this theory to other things like topos logic.

    • starting page on idempotent monoid objects

      Pete Sanders

      v1, current

    • Added as examples: 00, /2\mathbb{Z}/2\mathbb{Z} and 𝔹={0,1}\mathbb{B}=\{0,1\} with 1+1=01+1=0. Proved that they are exactly the boolean rigs of cardinal less or equal than 22.

      I don’t know if boolean rigs in the sense of this entry are always commutative. In The variety of Boolean semirings, they show that they are commutative assuming that 1+x+x=11+x+x=1. If some noncommutative boolean rig exists, it must be of cardinal 3\ge 3, not be a ring (because boolean rings are commutative) and not verify this equation.

      diff, v6, current

    • I gave continuous map a little bit of substance by giving it an actual Idea-paragraph and by writing out the epsilontic definition for the case of metric spaces, together with its equivalence to the “abstract” definition in terms of opens.

    • started something at Church-Turing thesis, please see the comments that go with this in the thread on ’computable physics’.

      This is clearly just a first step, to be expanded. For the moment my main goal was to record the results about physical processes which are not type-I computable but are type-II computable.

    • Note that indeed any idempotent magma in AbAb is commutative.

      diff, v10, current