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.
started some minimum at KO-dimension
added a new Examples-section Integral versus real cohomology to fiber sequence
(and renamed the original fibration sequence and made it a redirect to that – but the cache bug is in the way,as usual).
created stub for spectral action
Back in the days I had made several web postings on the “FRS formalism” and how it may be understood as rigorously implementing “holography” in the form of CS/WZW-correspondence. Ever since the nLab came into being there was a stub entry FFRS-formalism which collected some (not all) of these links.
Now I got a question on how it works. (As a student one cannot imagine yet that communication in academia/maths often has latency periods of several years….) While I have absolutely no time for this now, this afternoon I went and expanded that stub entry a bit more (and maybe it’s at least good for my own sanity in these days). Also renamed it to something more suggestive, now it is titled
There is still plenty and plenty of room to expand further (urgent would be to mention the tensor produc of the MTC with its dual, which currently the entry is glossing over), but I am out of time now.
I have added to SimpSet a list of a few properties of the internal logic of the 1-topos of simplicial sets.
Thomas Nikolaus recently gave an impressive talk in which he announced a number of impressive results in topological T-duality. I have already been referring to this from the page T-duality 2-group and I just felt I want to refer to it from elsewhere, too. So therefore I now gave it a category:reference entry:
started some minimum at geometric engineering of quantum field theory
Started some minimum at Stolz conjecture.
In the category:people entry Vladimir Voevodsky I’d like to have a brief statement on the motivic work. I have now put in the following, but experts are please asked to fine tune this where necessary:
Владимир Воеводский (who publishes in English as Vladimir Voevodsky) (web site) is a famous mathematician.
he received a Fields medal in 2002 for a proof of the Milnor conjecture. The proof crucially uses A1-homotopy theory and motivic cohomology developed by Voevodsky for this purpose. In further development of this in 2009 Voevodsky announced a proof of the Bloch-Kato conjecture.
After this work in algebraic geometry, cohomology, homotopy theory Voevodsky turned to the foundations of mathematics and is now working on homotopy type theory which he is advertizing as a new “”univalent foundations” for modern mathematics.
I'm trying to keep some results where I can get at them at Taylor's theorem.
created computable function (analysis) with the definition of “continuously realizable functions”.
I ended up giving Baire space (computability) its (minimal) stand-alone entry after all
I had created a stub for effective topological space and cross-linked with equilogical space. Added some pointers to the literature, but otherwise no real content yet.
An entry which defines both the local category and the local Grothendieck category, two notions which generalize the notion of a category of modules over a commutative local ring.
stub for clutching construction
New entry for Samuel compactification of uniform spaces, and some references at uniform space.
Old discussion at star-autonomous category, which I think was addressed in the entry, and which I’m now moving here:
+–{: .query} Mike: Can someone fill in some examples of -autonomous categories that are not compact closed?
Finn: Blute and Scott in ’Category theory for linear logicians’ (from here) give an example: reflexive topological vector spaces where the topologies are ’linear’, i.e. Hausdorff and with 0 having a neighbourhood basis of open linear subspaces; ’reflexive’ meaning that the map as above is an isomorphism. It seems this category is -autonomous but not compact. I don’t know enough topology to make much sense of it, though.
Todd: Finn, I expect that example is in Barr’s book, which would then probably have a lot of details. But I must admit I have not studied that book carefully. Also, the Chu construction was first given as an appendix to that book.
John: I get the impression that a lot of really important examples of -autonomous categories — important for logicians, anyway — are of a more ’syntactical’ nature, i.e., defined by generators and relations. =–
I am working on entries related to the (oo,1)-Grothendieck construction
started adding a bit of structure to (oo,1)-Grothendieck construction itself, but not much so far
added various technical details to model structure on marked simplicial over-sets
created stub for model structure for left fibrations to go in parallel with that
added to Kleene’s second algebra under “Properties” the sentence:
Kleeen’s second algebra is an abstraction of function realizability introduced for the purpose of extracting computational content from proofs in intuitionistic analysis. (e.g. Streicher 07, p. 17)
Am starting an entry computable physics. For the moment this is essentialy a glorified lead-in for
I had had the feeling that most previous literature on computability in physics is suffering from being not well informed of the relevant mathematical concepts, but then I found
which seems to be sober, well-informed and sensible. The main drawback seems to be, to me, that the author looks only at type-I computability and not really seriously at quantum physics. Both of this is what Streicher’s note above aims to do!
If anyone has more pointers to decent literature on this topic, please drop me a note.
Here is what it currently has in the entry text computable physics:
The following idea or observation or sentiment has been expressed independently by many authors. We quote from Szudzik 10, section 2:
The central problem is that physical models use real numbers to represent the values of observable quantities, Careful consideration of this problem, however, reveals that the real numbers are not actually necessary in physical models. Non-negative integers suffice for the representation of observable quantities because numbers measured in laboratory experiments necessarily have only finitely many digits of precision.
Diverse conclusions have been drawn from this. One which seems useful and well-informed by the theory of computability in mathematics is the following (further quoting from Szudzik 10, section 2)
So, we suffer no loss of generality by restricting the values of all observable quantities to be expressed as non-negative integers — the restriction only forces us to make the methods of error analysis, which were tacitly assumed when dealing with real numbers, an explicit part of each model.
In type-I computability the computable functions are partial recursive functions and in view of this some authors conclude (and we still quote Szudzik 10, section 2) for this:
To show that a model of physics is computable, the model must somehow be expressed using recursive functions.
However, in computability theory there is also the concept type-II computable functions used in the field of “constructive analysis”, “computable analysis”. This is based on the idea that for instance for specifying computable real numbers as used in physics, an algorithm may work not just on single natural numbers, but indefinitely on sequences of them, producing output that is in each step a finite, but in each next step a more accurate approximation.
!include computable mathematics – table
This concept of type-II computability is arguably closer to actual practice in physics.
Of course there is a wide-spread (but of course controversial) vague speculation (often justified by alluding to expected implications of quantum gravity on the true microscopic nature of spacetime and sometimes formalized in terms of cellular automata, e.g. Zuse 67) that in some sense the observable universe is fundamentally “finite”, so that in the end computability is a non-issue in physics as one is really operating on a large but finite set of states.
However, since fundamental physics is quantum physics and since quantum mechanics with its wave functions, Hilbert spaces and probability amplitudes invokes (functional) analysis and hence non-finite mathematics even when describing the minimum of a physical system with only two possible configurations (a “qbit”) a strict finitism perspective on fundamental physics runs into severe problems and concepts of computable analysis would seem to be necessary for discussing computability in physics.
This issue of computable quantum physics has only more recently been considered in (Streicher 12), where it is shown that at least a fair bit of the Hilbert space technology of quantum mechanics/quantum logic sits inside the function realizability topos .
I have started something at computability.
Mainly I was after putting some terms in organized context. That has now become
which I have included under “Related concepts” in the relevant entries.
created a minimum at computable real number, for the moment just so as to record the references with section numbers as given there.
happened to need Type Two Theory of Effectivity
just in case you are watching the logs and are wondering:
I think we should have another “floating table of contents” for collecting the topic cluster
so I am starting one at constructivism - contents and am including it into relevant entries.
But right now there is nothing much there yet. This is going to be expanded.
it seems that orthomodular lattice had been missing, so I created a bare minimum
stub tertiary radical with redirects third radical, tertiary decomposition theory
Created a brief entry transfer context in order to record an observation by Haugseng.
He defines a transfer context to be a linear homotopy-type theory aka Wirthmüller context in which not only but also satisfies its projection formula. Then he observes that a natural Umkehr map that may be built with this projection formula is (the abstract generalization of) the Becker-Gottlieb transfer.
(Have briefly cross-linked with these related entries.)
Thanks to Thomas Nikolaus for being reminded of Haugseng’s work when Joost Nuiten and me talked about something closely related as ESI yesterday.
uniform module (related also to essential submodule)
I created a link to axiom of pairing from constructible universe, then satisfied it.
I added some basic definitions to stability in model theory. No attempt yet to motivate them.
Some of the logic entries seem to be in a slight state of neglect, e.g., theory. I might want to get in there sometime soon, but anyone should please feel free to precede me.
I am adding some bits and pieces to geometric stability theory (which I am trying to learn more about these days).
created a stub for Chern-Simons gravity. But nothing much there yet.
started Hecke category with some bare minimum
started a bare minimum at horocycle correspondence
for some reason it seems we never had an entry compactly generated (infinity,1)-category (and out of all sections listed at HTT just 5.5.7 had been missing for some reason which is a mystery to me now).
I gave it a minimum of content. But this alerts one that there is a distinction being made here which we don’t have in the corresponding 1-categorical entries.
I’ve been adding material to Polish space, and plan on adding more (mostly in view of model-theoretic considerations).
started monad (in computer science)
(also added it as one line to the big table at computational trinitarianism)
created a stub for completion monad.
In the course of doing so I found it unfortunate that the link constructive analysis simply redirected to analysis, a page from which the constructive formulation and the point of it was hardly to be extracted. So I have split off constructive analysis right now. But except for a sentence pointing back to the completion monad, it just contains for the moment the list of references that we already had.
cretaed a brief entry K-motive in order to record a cool statement somewhat hidden in an article by Tabuada froma year back. Thanks a lot for Adeel Khan Yusufzai for pointing this out!
I changed the entry Cahiers to state that the free back issues are only available up until 2008, rather than with a two-year moving wall, as one can check. Also, I notice that the journal home page and the TAC mirror of the contents is a year behind (only info up till the end of 2012). Does anyone know anything about this?
brief entry perfect infinity-module with the definition and the main property
I was disappointed to discover that Boman's theorem doesn't work as one would like for functions with . So I wrote up something about it. (This is all in Boman's 1967 paper; he covered everything in 20 freely accessible pages!)
I gave Todd’s note A string diagram calculus for predicate logic a category:reference entry, turned the ps-file into a pdf and linked to it there, and then added pointers to this from relevant entries, such as hyperdoctrine and indexed monoidal categories, each going along with pointers to Ponto-Shulman.
This in an attempt to make more visible all the little pointers that are (or were now) hidden behind “here”-s at string diagram. Eventually that entry should be a bit clearer about what all that stuff is that it secretly subsumes.
Todd had filled in some text at Trimble rewiring. I have added a few more hyperlinks now and a floating TOC.
Todd, when you have another minute, could you say a bit more specifically what a Trimble rewiring does? Which kinds of diagrams are rewired how, and what’s the deal?
Created a stub for Kelly-Mac Lane graph to start recording some references
just so that there are (cross-)links to them, I have created brief stub entries on some linear connectives:
and we already talked about
I ’corrected’ the title of Serre’s criterion of affineness. I don’t like that word ‘affineness’!
the nLab was lacking an entry invertible object. I have started a minimum there, just so as to satisfy links for the moment.
stub for coherent (infinity,1)-topos, just to record the pointers to the DAGs.
(Thanks to Marc Hoyois for pointing out the hidden proposition in DAG XIII…)
The link bilimit used to redirect to 2-limit. With this the reader following this might miss the sense of biproducts.
I have now removed the redirects and instead made bilimit a category:disambiguation-page. Hopkins-Lurie suggest to speak of “ambidextrous diagrams” (spaces) instead, which is maybe an option out of the terminology clash.
So finally at ambidextrous adjunction I have added the case of coinciding limits and colimits as an example.
created finite homotopy type, just for completeness.
This just a distraction when I saw that it was missing,while I was really going to create an entry on truncated homotopy types with finite homotopy groups.
The main problem about them is that nobody agrees on how to call them ;-)
In groupoid cardinality they have been called “tame”, some call them -finite,I suppose, and homological algebra suggests “of finite type”, which in itself is good, however rather badly goes together with the crucially different “finite homotopy type”.
Jim Stasheff asked me to give a list of examples of applications of Kan extension in physics.
Since this shouldn’t be hidden away in private email, I have started a section Kan extension – Examples – Kan extension in physics
There will be many examples, two came immediately to mind, and so for the moment I have added there the following, to be expanded:
We list here some occurences of Kan extensions in physics.
Notice that since, by the above discussion, Kan extensions are ubiquitous in category theory and are essentially equivalent to other standard universal constructions such as notably co/limits, to the extenent that there is a relation between category theory and physics at all, it necessarily also involves Kan extensions, in some guise. But here is a list of some example where they appear rather explicitly.
In extended quantum field theory on open and closed manifolds, usually the theory “in the bulk” (on closed manifolds) is induced by “extending” that “on the boundary”, and in good cases this extension is explicitly a (homotopy)-Kan extension. This is the case notably for 2d TQFT in the form of TCFT (Costello 04), see at TCFT – Classification for details.
When path integral quantization is formalized in terms of fiber integration in generalized cohomology (as surveyed at _motivic quantization) then the push-forward step, hence the path integral itself, is given by left homotopy Kan extension of parameterized spectra. For explicit details see (Nuiten 13, section 4.1), also (Schreiber 14, section 6.2). By example 6.3 there a special case of this is are the integration formulas via Kan extension in (Hopkins-Lurie 14, section 4).
Urs put a stub at equicontinuous function; I moved this to equicontinuous family of functions, added many many other redirects, and expanded it. It’s still basically just definitions, however.
am starting K(n)-local stable homotopy theory .
stub for semiadditive (infinity,1)-category, for the moment just so as to record the pointer.
The link to Joyal’s Catlab discussion at Cisinski model structure leads to a page on his Lab at which the main link points to a non-existent pdf document at Paris 13. We have the correct link at Cisinski model structure, namely to his Toulouse address (http://www.math.univ-toulouse.fr/~dcisinsk/ast.pdf). What is the best way to fix this? I do not seem to have access to Joyal’s Lab to be able to edit that.