Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
a bare list of references, to be !include-ed in pertinent stand-alone entries, such as at complex oriented cohomology theory and at MΩΩSU(n)
wrote out parts of the proof of at Thom spectrum
At crossed module it seems we are missing what i think should be the prototypical example: the relative second homotopy group together with the bundary map and the -action on . As someone confirms this example is correct I’ll add it to crossed module.
at the beginning of ring I have spelled out a more explicit definition. Also added the examples of rings on cyclic groups to explain the origin of the word “ring”.
this is a bare sub-section, to be !include-ed into the pertinent entries (at embedding tensor, at tensor hierarchy and at super Lie algebra) in order to avoid having to copy this stuff around and to facilitate updating and syncing it across these entries
Added a table of contents to topos, a section on "special classes" and one on "higher toposes".
Added the references
Aurelio Carboni, Bob Walters, Cartesian Bicategories, I, article
Aurelio Carboni, Max Kelly, Bob Walters, Richard Wood, Cartesian Bicategories II, (arXiv:0708.1921)
following Zoran’s suggestion I added to the beginning of the Idea-section at monad a few sentences on the general idea, leading then over to the Idea with respect to algebraic theories that used to be the only idea given there.
Also added a brief stub-subsection on monads in arbitrary 2-categories. This entry deserves a bit more atention.
Today I was asked for what I know about the development of the theory of Kan-fibrant simplicial manifolds. I realized that the nLab does not discuss this, so I have started a page now with the facts that come to mind right away. (Likely I forgot various things that should still be added.)
Expanded dinatural transformation a little with examples and references.
created stub for simplicial manifold
I started an article about Martin-Löf dependent type theory. I hope there aren't any major mistakes!
One minor point: I overloaded $\mathrm{cases}$ by using it for both finite sum types and dependent sum types. Can anyone think of a better name for the operation for finite sum types?
I added a section on strictification of pseudofunctors to pseudofunctor, after seeing Finn and Mike respond to Karol in the stable monoidal derivator thread at the Café. The discussion is fairly sketchy and pedestrian. Also added a few references.
The conjecture is not true for all single-sorted algebraic theories and this was known by Soviet mathematicians. I added a short high-level explanation on this and some references to translated works that have more detail. Presumably one should edit rest of the page (and references to it) to make it clear throughout that (i) the conjecture is false (ii) the general question “Which algebraic categories have the Higman property?” is still interesting (and potentially something category-theorists could study).
started a Properties-section at Lawvere theory with some basic propositions.
Would be thankful if some experts looked over this.
Also added the example of the theory of sets. (A longer list of examples would be good!) And added the canonical reference.
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 as a tree?
I see Joachim Kock has an interesting way of presenting trees.
The induced map most likely isn’t a homeomorphism when are locally compact Hausdorff.
The original statement was in monograph by Postnikov without proof.
Not only that, in the current form it couldn’t possibly be true, since the map could lack to be bijective.
For more details see here: https://math.stackexchange.com/questions/3934265/adjunction-of-pointed-maps-is-a-homeomorphism .
I’ve added a reference in the case when are compact Hausdorff though.
Adam
this is a bare list of references, to be !include-ed into relevant entries
(various parts of this list have been contained at Cohomotopy, Cohomotopy charge map, Thom’s theorem, Pontryagin-Thom construction and elsewhere; this here now to ease harmonizing/completing these lists)