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 minimum, for the moment just so as to satisfy links from graded modality
I think the line between the two types of Kan extension (weak versus pointwise) is drawn at the wrong place. Am I missing something?
copied over the homotopy-theoretic references from modal type theory to here.
http://ncatlab.org/nlab/show/Isbell+duality
Suggests that Stone, Gelfand, … duality are special cases of the adjunction between CoPresheaves and Presheaves. A similar question is raised here. http://mathoverflow.net/questions/84641/theme-of-isbell-duality
However, this paper http://www.emis.ams.org/journals/TAC/volumes/20/15/20-15.pdf
seems to use another definition. Could someone please clarify?
added to G2 the definition of as the subgroup of that preserves the associative 3-form.
collected some references on the interpretation of the !-modality as the Fock space construction at !-modality.
Cross-linked briefly with he stub entries_Fock space_ and second quantization.
Added to noetherian ring a homological chacaterization: a ring is Noetherian iff arbitrary direct sums of injective modules are injective.
I have spelled out the proofs that over a paracompact Hausdorff space every vector sub-bundle is a direct summand, and that over a compact Hausdorff space every topological vector bundle is a direct summand of a trivial bundle, here
Added appropriate axioms for the various definitions of affine space, along with another definition in terms of a single quaternary operation.
created dg-nerve
starting page on right triangles since the paper
talks about right triangles too
Anonymouse
We should have an entry on large N limit gradually. But sometimes it can be treated as a semiclassical limit. I quoted a reference by Yaffe where I originally read of that approach to the entry semiclassical expansion.
Move to clopen subset (since it's a relative notion, agreeing with open subset and closed subsetl
More examples added at principal ideal domain.
I wanted to be able to use the link without it appearing in grey, so I created a stub for general relativity.
moving material about the limited principle of omniscience from principle of omniscience to its own page at limited principle of omniscience
Anonymouse
moving material about the lesser limited principle of omniscience from principle of omniscience to its own page at lesser limited principle of omniscience
Anonymouse
added publication data to: