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.
I worked on brushing up (infinity,1)-category a little
mostly I added in a section on homotopical categories, using some paragraphs from Andre Joyal's message to the CatTheory mailing list.
in this context I also rearranged the order of the subsections
I removed in the introduction the link to the page "Why (oo,1)-categories" and instead expanded the Idea section a bit.
added a paragraph to the beginning of the subsection on model categories
added the new Dugger/Spivak references on the relation between quasi-cats and SSet-cats (added that also to quasi-category and to relation between quasi-categories and simplicial categories)
there had been no references at Hilbert space, I have added the following, focusing on the origin and application in quantum mechanics:
John von Neumann, Mathematische Grundlagen der Quantenmechanik. (German) Mathematical Foundations of Quantum Mechanics. Berlin, Germany: Springer Verlag, 1932.
George Mackey, The Mathematical Foundations of Quamtum Mechanics A Lecture-note Volume, ser. The mathematical physics monograph series. Princeton university, 1963
E. Prugovecki, Quantum mechanics in Hilbert Space. Academic Press, 1971.
There’s a paper out characterising the category of continuous linear functions between Hilbert spaces
But Hilb concerns short linear maps between Hilbert spaces. Should we have a page for the former category?
added pointer to:
Stub for topological string with redirect topological string theory.
I created homotopy extension property and homotopy lifting property. If somebody wonders why I made identical copy of one of them on my personal nlab part is because there I want to keep conservative page for students and here in the main nlab I expect more vigorous extensions by others. On the other hand, I would like to have under homotopy lifting property mention of various variants like "soft map" homotopy lifting property, the homotopical variant of Dold etc. all in one place.
brief category:people-entry for hyperlinking references at flavour anomaly
(Hi, I’m new)
I added some examples relating too simple to be simple to the idea of unbiased definitions. The point is that we often define things to be simple whenever they are not a non-trivial (co)product of two objects, and we can extend this definition to cover the “to simple to be simple case” by removing the word “two”. The trivial object is often the empty (co)product. If we had been using an unbiased definition we would have automatically covered this case from the beginning.
I also noticed that the page about the empty space referred to the naive definition of connectedness as being
“a space is connected if it cannot be partitioned into disjoint nonempty open subsets”
but this misses out the word “two” and so is accidentally giving the sophisticated definition! I’ve now corrected it to make it wrong (as it were).
added a second equivalent definition at quasi-category , one that may be easier to motivate
am finally giving this its own entry (this used to be treated within the entry on Elmendorf’s theorem)
but just a stub for the moment
started to collect some references at Riemann hypothesis and physics. But just a puny start so far, have to quit now.
The cut rule for linear logic used to be stated as
If and , then .
I don’t think this is general enough, so I corrected it to
If and , then .
started G-CW complex.
updated 2012 webpage from
to
Adeel Khan created sheaf of meromorphic functions.
(He currently has problems logging into here, that’s why I am posting this for the moment.)
wrote a definition and short discussion of covariant derivative in the spirit of oo-Chern-Weil theory
edited classifying topos and added three bits to it. They are each marked with a comment "check the following".
This is in reaction to a discussion Mike and I are having with Richard Williamson by email.
Added a couple more papers.
looks interesting as a way to take linear algebra in a slightly alternative way to groupoidification.
Slighly adjusted the lead-in of this page: Added a line on what the book is actually about, and moved the line advertizing how great this is to after that.
Added the line:
The approach is echoed in Riehl & Verity 13 with Cat enhanced to the homotopy 2-category of (∞,1)-categories.
Also touched some wording further below (“is very difficult to read” “may be difficult to read”)
and added the missing cross-link with John Gray (1)
Finally, I made “formal category theory” a redirect to this page (this would deserve to point to a dedicated page, but as long as that doesn’t exit, it’s good to have it redirect here)
added this pointer (hat tip to David C. here):
On the logical equivalence between the four-colour theorem and a statement about transition from the small N limit to the large N limit for Lie algebra weight systems on Jacobi diagrams via the ’t Hooft double line construction:
added to inter-universal Teichmüller theory a pointer to the recent note
(Though after reading I am not sure if that note helps so much.)
Added a reference to the following which provides a proof of the Arnold conjecture
Added the definitions of Karoubian category and Karoubi envelope that appear in (an exercise in) SGA 4.
A stupid question: why do they call that difference kernel the image of p? In what sense is it the image?
Added link to internal hom.
Entry to fill in some of the ideas from a poset viewpoint. Note the use of the term ’residual’ for the left adjoint. It seems that this use is really traditional coming from the sense that a ’residue’ is the bit left ove. The link with ‘internal homs’ is then a categorication of that, which puts a different light on internal homs!
starting something, meaning to collect some key points from
For linking to tropical semiring.
I had started an entry “exponentiation” but then thought better of it and instead expanded the existing exponential object: added an examples-section specifically for and made some remarks on exponentiation of numbers.
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).
at internal hom the following discussion was sitting. I hereby move it from there to here
Here's some discussion on notation:
Ronnie: I have found it convenient in a number of categories to use the convention that if say the set of morphisms is then the internal hom when it exists is . In particular we have the exponential law for categories
Then one can get versions such as if are objects over .
Of course to use this the name of the category needs more than one letter. Also it obviates the use of those fonts which do not have upper and lower case, so I have tended to use mathsf, which does not work here!
How do people like this? Of course, panaceas do not exist.
Toby: I see, that fits with using as the -category of categories but as the category of categories. (But I'm not sure if that's a good thing, since I never liked that convention much.) I only used ’Hom’ for the external hom here since Urs had already used ’hom’ for the internal hom.
Most of the time, I would actually use the same symbol for both, just as I use the same symbol for both a group and its underlying set. Every closed category is a concrete category (represented by ), and the underlying set of the internal hom is the external hom. So I would distinguish them only when looking at the theorems that relate them, much as I would bother parenthesising an expression like only when stating the associative law.
Ronnie: In the case of crossed complexes it would be possible to use for the internal hom and then is the actual set of morphisms, with being the (left 1-) homotopies.
But if is a groupoid does mean is an arrow or an object? The group example is special because a group has only one object.
If is a group I like to distinguish between the group of automorphisms, and the crossed module , some people call it the actor, which is given by the inner automorphism map , and this seems convenient. Similarly if is a groupoid we have a group of automorphisms but also a group groupoid, and so crossed module, , which can be described as the maximal subgroup object of the monoid object in the cartesian closed closed category of groupoids.
Toby: ’But if is a groupoid does mean is an arrow or an object?’: I would take it to mean that is an object, but I also use for the pointed connected groupoid associated to a group ; I know that groupoid theorists descended from Brandt wouldn't like that. I would use , where is the arrow category (also a groupoid now) of , if you want to be an arrow. (Actually I don't like to use at all to introduce a variable, preferring the type theorist's colon. Then introduces as an object of the known groupoid , introduces as a morphism between the known objects and , and introduces all three variables. This generalises consistently to higher morphisms, and of course it invites a new notation for a hom-set: .)
continued in next comment…
brief category:people-entry for hyperlinking references at compactly generated topological space
(following discussion here)
created equivariant de Rham cohomology with a brief note on the Cartan model.
(I seem to remember that we had discussion of this in the general context of Lie algebroids elsewhere already, several years back. But now I cannot find it….)
gave representation theory a little Idea-section, then added some words on its incarnation as homotopy type theory in context/in the slice over and added the following homotopy type representation theory – table, which I am also including in other relevant entries: