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.
created Jacobi identity
had need to create an entry signs in supergeometry, along the lines of Deligne-Freed’s “Sign manifesto”.
One section of this I copy-and-pasted also to make a new entry super Cartesian space.
at theory under Specific examples I have added a pointer to elementary function artihmetic
(nothing but a pointer, but I gather that pointer deserves to be listed on an entry on theories.)
I gave proof by contradiction a little Idea-section. This came about with writing an Idea-section at classical logic, which we are discussing in another thread here.
I’ve added to the formerly stubby long line.
Incidentally, I thought the one-point compactification of the long line was called the “long circle”, but I don’t see mention of that via google. What’s that thing called?
brief category:people-entry for hyperlinking references at topological subspace
brief category:people entry for hyperlinking references at gravity, general relativity and other entries
With Igor Khavkine we finally have a polished version of what is now “Part I” of a theory of variational calculus in a differentially cohesive -topos. It’s now called:
Synthetic geometry of differential equations
We keep our latest version of the file here.
Comments are most welcome.
Abstract:
We give an abstract (synthetic) formulation of the formal theory of partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A motivation for such a level of generality is the eventual goal of solving the open problem of covariant geometric pre-quantization of locally variational field theories, which may include fermions and (higher) gauge fields.
A remarkable observation of Marvan 86 is that the jet bundle construction in ordinary differential geometry has the structure of a comonad, whose (Eilenberg-Moore) category of coalgebras is equivalent to Vinogradov’s category of PDEs. We give a synthetic generalization of the jet bundle construction and exhibit it as the base change comonad along the unit of the “infinitesimal shape” functor, the differential geometric analog of Simpson’s “de Rham shape” operation in algebraic geometry. This comonad structure coincides with Marvan’s on ordinary manifolds. This suggests to consider PDE theory in the more general context of any topos equipped with an “infinitesimal shape” monad (a “differentially cohesive” topos).
We give a new natural definition of a category of formally integrable PDEs at this level of generality and prove that it is always equivalent to the Eilenberg-Moore category over the synthetic jet comonad. When restricted to ordinary manifolds, Marvan’s result shows that our definition of the category of PDEs coincides with Vinogradov’s, meaning that it is a sensible generalization in the synthetic context.
Finally we observe that whenever the unit of the “infinitesimal shape” ℑ\Im operation is epimorphic, which it is in examples of interest, the category of formally integrable PDEs with independent variables ranging in Σ is also equivalent simply to the slice category over ℑΣ. This yields in particular a convenient site presentation of the categories of PDEs in general contexts.
brief category:people entry for hyperlinking references at topological algebra and Gelfand duality
Created double-negation shift, with a proof that it is equivalent to double-negated excluded middle.
brief category:people entry for hyperlinking references at asymptotic safety and inhomogeneous cosmology
I’ve started sufficiently cohesive topos. Here are a couple of remarks and questions:
The corresponding terminology in def. 2.13 at cohesive topos strikes me as odd: is connectedness not contractability.
It isn’t quite clear to me yet at which level of generality to optimally state the definition of ’sufficient cohesion’. It seems that what one wants to get here are the minimal assumptions ensuring that the connectedness of is equivalent to its contractibility and this presumably requires only preservation of finite products by and not the Nullstellensatz (nor even the existence of !?).
Since the entry so far lives on the (0,1)Lab maybe somebody here has an idea what to say for the (,1)-case e.g. assuming connectedness of the (higher) object classifier !?
brief category:people entry for hyperlinking references at inhomogeneous cosmology
his website produces Seite nicht erreichbar
Die Webpräsenz des Institutes für Mathematik hat sich geändert. Sie hatten sich Lesezeichen auf bisherige Inhalte gesetzt? Unter www.mathematik.uni-osnabrueck.de finden Sie die entsprechenden neuen Seiten, um sich Ihre Lesezeichen neu zu setzen. Vielen Dank für Ihr Verständnis. Sie haben Links auf bisherige Inhalte, zum Beispiel in Ihren Printmedien, veröffentlicht und benötigen nun eine Umleitung auf die entsprechenden Seiten im aktuellen Webauftritt? Bitte setzen Sie sich mit der Onlineredaktion in Verbindung. Vielen Dank!
I am splitting off from the geometry of physics cluster a chapter geometry of physics – homotopy types.
For the moment I have there mostly section outline as well as some material copied over from my homological algebra lecture notes. My aim is now to put in a gentle discussion of Dold-Kan that leads an audience familiar with chain complexes from homological algebra to simplicial homotopy theory.
I’ll be touching a bunch of related entries in the process.
It’s still not quite right, is it? (here) After
Moreover, up to equivalence, every Grothendieck topos arises this way:
isn’t there the clause of accessible embedding missing? I.e. instead of
the equivalence classes of left exact reflective subcategories of the category of presheaves
it should have
the equivalence classes of left exact reflective and accessivley embedded subcategories of the category of presheaves
Or else, by the prop that follows, it should say
the equivalence classes of left exact reflective and locally presentable subcategories of the category of presheaves
No?
(This is just a question. I didn’t make an edit. Yet.)
I have started a (stubby) entry on multiagent systems, to link into certain of the modal logic entries.
I started putting down some thoughts at theory (physics). Not meant to be comprehensive or anything, but just a quick note. I am not claiming that the state the entry is in is the state it should remain in at all. But maybe it’s a start that helps to develop something.
brief category:people-entry for the purpose of hyperlinking references at gauge coupling unification and naturalness
created some minimum at gauge coupling unification
Added a bit more to proximity space.
am creating a minimum entry here, for the moment just for completeness, to go along with Pr(∞,1)Cat and Ho(CombModCat)