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 added a reference on Gabriel filters on quantales.
Very strange: version one on show had a reference on Etendues (entered by T. Holder), but when I clicked edit there was none in the edit window, just in show window. I edited and one can not see it in any history, nowhere. So there was something in show cache from 2014 which is not recorded in any history edit.
I gave Fourier-Mukai transform a bit of an Idea-section. It overlaps substantially with the Definition section now, but I thought one needs to say the simple basic idea clearly in words first. Also added a few more pointers to literature.
I am giving Modern foundations for stable homotopy theory a category:reference entry.
First thing I did was to brush-up the list of references at symmetric smash product of spectra. Then I copied over the nicely to-the-point History-paragraph to a new section stable homotopy theory – history.
have now spelled out at Tor in simple terms how is a torsion group, so far for the case that is finite.
added to equalizer statement and proof that a category has equalizers if it has pullbcks and products
I have added
and added publication details to
and grouped together more discernibly the references on operator-algebraic entropy
added at core the remark that the core is right adjoint to the forgetful functor .
felt the desire to have an entry on the general idea (if any) of synthetic mathematics, cross-linking with the relevant examples-entries.
This has much room for being further expanded, of course.
The Idea-section at quasi-Hopf algebra had been confused and wrong. I have removed it and written a new one.
Adding reference
Anonymous
starting a category:reference-entry.
Just a single item so far, but this entry should incrementally grow as more preprints appear (similar to what we have been doing at Handbook of Quantum Gravity and similar entries).
I know that a soft deadline for submissions of at least one of the sections is this December, so I am guessing this is planned to appear in 2024.
Have added pointer to:
(but I haven’t more than skimmed it and don’t mean to endorse it).
Stub to record today’s reference
- Bhargav Bhatt, Peter Scholze, Prisms and Prismatic Cohomology, preprint (2019) arXiv:1905.08229
moving section on the antithesis interpretation in linear logic to its own page at antithesis interpretation
Anonymouse
Started something to record today’s article
a bare list of references, to be !include-ed into the References-sections of relevant entries (such as at supergeometry and fermion), for ease of synchronization
Mike Stay kindly added the standard QM story to path integral.
I changed the section titles a bit and added the reference to the Baer-Pfaeffle article on the QM path integral. Probably the best reference there is on this matter.
Create a page for this theorem (mostly copied the text from initial algebra of an endofunctor).
I have incorporated Jonas’ comment into the text at pretopos, changing the definition to “a category that is both exact and extensive”, as this is sufficient to imply that it is both regular and coherent.
I edited the formatting of internal category a bit and added a link to internal infinity-groupoid
it looks like the first query box discussion there has been resolved. Maybe we can remove that box now?
The pages apartness relation and antisubalgebra disagree about the definition of an antiideal: do we assume or ? Presumably there is a similar question for antisubgroups, etc. In particular, the general universal-algebraic definition at antisubalgebra would give as the definition (since is a constant and is a nullary disjunction), contradicting the explicit definition of antiideal later on the same page.
Does this have something to do with whether -openness is assumed explicitly or not? The page apartness relation claims that, at least for antiideals, openness is automatic as long as the ring operations are strongly extensional. But antisubalgebra assumes openness explicitly, in addition to strong extensionality of the algebraic operations.
Finally, do we ever really need the apartness to be tight?
I have expanded and edited moment map.
A method in integrable systems.
FRT approach to quantum groups
New pages quantum linear group, quantized function algebra (redirects also quantized coordinate ring) and quantized enveloping algebra which refer to certain special cases of a general family of notions of quantum group.