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.
1 to 63 of 63
Since people keep asking, here a note on examples of what Lawvere calls “quality types” in the context of the examples of cohesion that we care about.
According to Axiomatic Cohesion,
a quality type is a category with a full embedding of the base topos such that the embedding has a a left and right adjoint which coincide.
an extensive or intensive quality on a cohesive topos is a factorization of or , respectively, through a quality type.
Here are two examples of quality types that I see:
smooth super infinity-groupoids are cohesive over super infinty-groupoids and over plain -groupods, where super infinity-groupoids are a “quality type” over -groupoids;
a tangent (infinity,1)-topos is cohesive over and over where in turn is a “quality type” over by
Does the extensive/extensive distinction as applied to qualities, have anything to do with that applied to quantities? At Bill Lawvere, it describes a workshop paper ’Extensive and intensive quantities’ as
a proposal for a general axiomatization of homotopy/homology-like “extensive quantities” and cohomology-like “intensive quantities”.
I am not sure if I see what the extensive/intensive terminology is good for. The articles that cite it which I have seen I didn’t find entirely convincing. I may well be missing something, and anyone who disagrees with me is kindly invited to educate me.
What I do see now are two interesting examples of classes of cohesive -toposes which are cohesive over base toposes that themselves are “quality types” over the absolute base topos .
Why it would be useful to say “quality type” here I do not see, to be frank, but I do suppose the way that super-cohesion, tangent cohesion and also synthetic cohesion all involve squares whose horizontal maps are cohesion adjunctions and whose vertical maps are “qualtity type” adjunctions might be relevant for something.
They are, naturally enough, Hegelian terms. I can’t say I’m much the wiser, however, reading Sec. 735 of the Science of Logic.
I hate to be the voice of dissent, but I doubt Lawvere was thinking about -examples. Perhaps the motivating example of cohesion is instead the quadruple adjunction
which satisfies all the axioms in [Axiomatic cohesion], including “pieces have points” and “pieces of powers are powers of pieces”. Thus, is a quality type over and the “shape” functor is an extensive quality. On the other hand, the “canonical intensive quality type” consists of the full subcategory of discrete Kan complexes, and the functor that sends a Kan complex to its “canonical intensive quality” is none other than . It’s quite clear in this example the sense in which extensive qualities capture “form” but not “substance” while intensive qualities capture “substance” but not “form”.
What I have trouble understanding is why Lawvere defines quality type the way that he does. It’s certainly an interesting fact that is embedded in as a full subcategory that has a simultaneous reflector–coreflector, but what does it mean?
He certainly did not have infinity-examples in mind. And I don’t see what you are dissenting with.
It’s pretty clear at cohesive topos and cohesive (infinity, 1)-topos what’s due to Lawvere, and what’s an extension to the infinity case. Perhaps the second entry could be more explicit in attributing the extension to Urs.
I suppose it might be the case that the concept of ’quality’ seems less convincing as a term when transposed to the infinity case.
Right, and so maybe if it didn’t become clear, let me say it this way:
from just reading Lawvere, it didn’t become clear to me why cohesion is an interesting concept. That became clear to me once I saw that in -topos theory cohesion implies a long list of structure of differential geometry and differential cohomology. In fact I first had these, then heard Johnstone speak about cohesion, and then realized that these four adjunctions is also what Lawvere had been talking about.
Similarly, the use of the definition of “quality type” does not become clear to me from Lawvere’s writing. It might be a super-interesting axiom, but right now I don’t yet see how a similar list of nice properties is implied by it. But that’s why I pointed out the above examples: there we do have quality types, and these examples are clearly interesting. So maybe one can find something here derived from the notion of “quality type”. But I am saying: I don’t see it yet-
To me at least, the notion of “quality type” is still incomplete. As it stands now, there are some strange examples, even in ordinary category theory: for instance, presheaves on a category with a zero object, e.g. the Cauchy completion of a monoid with zero.
Perhaps the main idea is supposed to be captured by the “every piece has a unique point” axiom: in good situations, we will be able to decompose every object as a base-indexed coproduct of point-like objects, where by ‘point-like objects’ I mean those that have a unique point; so in some sense a “quality type” is supposed to be a category of sets of “structured points”. But if that’s the case, why aren’t sets equipped with a group action an example of a “quality type” — beyond the boring fact that the left and right adjoints of don’t coincide? I feel that I am missing a subtle difference.
I think, too, it should be about points.
Let me stick to my examples above, smooth super -groupoids and cohesive parameterized spectra. Both of these are -toposes over . But regarding them as such discards a whole lot of interesting information that one would want to keep.
And the reason is that “the cohesive points” in both cases are interesting. One would like to have geometric realization and underlying homotopy types also with respect to these cohesive points, not just with respect to the plain base points.
By construction we know in these two examples that they factor their cohesion through “quality types” which remember this structure about points. But of course we could and probably should turn this around and ask for any given cohesive -topos whether it sits over an interesting category of cohesive points. That’s what theorem 2 of “Axiomatic cohesion” is getting at.
One thing that makes me wonder, though, is that in my examples above the cohesive points are both “extensive quality type” and “intensive quality type”. The “extensive/intensive” seems to be entirely already encoded in the .
So right now I’d tend to want to speak about something like “point cohesion” or “cohesive base points” or the like.
If we insisted that it is the nature of the points that gives the objects their “quality” then I could see how “quality type” sounds good. But on the other hand part of the point of cohesion is that there may be important qualities of cohesive objects which are not supported on points.
So I am not sure about “quality types”. But “point cohesion” and that theorem 2 look to me like something worth exploring further.
Is there something to be said then about how to strip away cohesion successively? So we might go
Starting with there are yet more paths. And then we’re interested in finding chains of final steps to amounting to a quality?
I guess paths 1 and 2 make a commutative square. Perhaps there’s a maximal quality type for each cohesion.
Yes, I guess this is the kind of story that one should tell.
I will be busy today, but maybe tonight I’ll find the energy to start an entry on quality types…
Perhaps there’s something like a factorization system at play.
Hm, maybe. But I think in the case you considered the iterative structure is given by the tower of base toposes: is cohesive over which is point-cohesive over ; but now if itself is point cohesive over then one gets such a cube of point cohesions.
I should write this out…
I meant maybe in general for any cohesive over , could there be an intermediate largest , such that is point cohesive over , while there’s no point cohesiveness left for over ? If so, what would be a name for the latter type of morphism, orthogonal to point cohesion?
Right, so this is what Lawvere calls the universal intensive quality type of the cohesion of over , I suppose.
What I was saying is that we get more such if we play this game in turn over a tower of base toposes .
Oh, so there are two universals. I wonder how the universal intensive and universal extensive qualities relate.
The canonical extensive quality could be called “form” (it seems to neglect substance). By contrast, the canonical intensive quality defined below is called “substance” and seems to neglect form. (This contrast is related to the contrast between “in the large” and “in the small” in traditional analysis. The Poincar´e conjecture expresses the idea that the two canonical qualities could jointly reflect isomorphisms.)
So this means there are two extreme ways to factor cohesive over . Do they lead to incomparable factorization systems?
I wonder what the right environment is for cohesion. If it’s a relative notion, is cohesive over , do we form the -category of such pairs. If is cohesive over , and over , what would be the morphisms? Some kind of cohesive geometric morphism from to , with a way to compare the base changed with , or the other way.
Presumably the Poincare conjecture appears here because homotopy and cohomology of the 3-sphere are being compared. So maybe intensive/extensive qualities do relate to intensive/extensive quantities:
a proposal for a general axiomatization of homotopy/homology-like “extensive quantities” and cohomology-like “intensive quantities”.
But why “two canonical qualities could jointly reflect isomorphisms”? If two things agree as to ’form’ and ’substance’, they’re the same? If and are both cohesive over , and their universal intensive and extensive qualities are the same, then they are the same?
I don’t think cohomology is an “intensive quality type”: by its nature it reflects “form”, not “substance”. It’s not clear to me that Lawvere’s canonical quality types are actually universal, but it seems reasonable to suppose that “form” and “substance” jointly reflect isomorphism.
Yes, as Zhen Lin says, Lawvere treats the extensive and the intensive case rather asymmetrically.
What he calls the universal extensive quality type of a cohesive topos is the construction which we recently discussed in the context of global equivariant homotopy theory:
take a cohesive topos to the category whose objects are those of and whose spaces of morphisms are the image under of the internal hom in .
In cohomological/homotopy-theoretic terms this “universal extensive quality” is the -category where cohomology is modified from having coboundaries between cocycles to having “concordances” between cocycles.
If the tangent category of is to be thought of as having objects which are spaces that are infinitesimal thickenings of those of C, what would the tangent category of the -category be like?
For an object in the latter which is cohesive, so modelled on a certain kind of point, shouldn’t we expect its tangent fibre to include cohesive -toposes modelled on thickened points?
I have now added to cohesive topos a quick remark on “quality types” in the section Examples – Infinitesimal thickening.
I think we should say “infinitesimal cohesive toposes” for these. I used to use “infinitesimal cohesion” for infinitesimally thickened cohesion but later I switched to calling this differential cohesion, so really “infinitesimal cohesion” should be used for something else.
And it should be used for the infinitesimal fibers of differential cohesion over the underlying cohesion:
it’s like this: from differential cohesion we have extensions
For instance
the synthetic differential infinity-groupoids in sit over the smooth infinity-groupoids in with fiber the -presheaves over infinitesimally thickened points (the “formal moduli problems”).
the smooth super infinity-groupoids in sit over the smooth infinity-groupods with fiber the super infinity-groupoids;
The stable cohesion thing is different, but similar
In all cases is what Lawvere would call “quality type” but which I think we should call “infinitesimal cohesion”
okay, I have started something at infinitesimal cohesion.
Just a start, not more.
Presumably the upper arrows of the lower horizontal adjoints should be not in the first two examples of infinitesimal cohesion.
I still can’t see the general story. You seem to be saying something like cases of differential cohesion are (a kind of) product of an infinitesimal and an ordinary cohesion. But is the decomposition unique? Presumably not, since one could opt for trivial infinitesimal cohesion.
But maybe one should never just speak of as differentially cohesive over , since it’s a relative concept in terms of an existing cohesion. So is differentially cohesive with respect to cohesive over .
Isn’t it that when is cohesive over , there are different infinitesimals part of the cohesion. When one of these is used to quotient out to give , we say is differentially cohesive with respect to cohesive over . But there’s a maximal infinitesimal part, corresponding to Lawvere’s universal quantity, which when factored out should give a thoroughly non-infinitesimal cohesion.
I feel sure we should be moving up a level. If not my wild speculation at #21, don’t you think there has to be something interesting to say at the -level?
Thanks, fixed that typo.
And yes, I don’t claim to understand the general story here. So far all I am saying is: look, these are all examples that involve “quality types”, namely infinitesimal cohesion, and they all play along with differential cohesion in a natural way.
Yes, it would be good to understand more systematically what the big story is here.
I think it’s just something offending my sense of symmetry in those diagrams. It’s only ’diff.cohesion’ relative to the horizontal.
Above I was talking in terms of factorization, but one could easily turn it around and speak of extension. Then the question is, for a particular brand of cohesion, what are the possible infinitesimal extensions. Are they simply ’transported’ from infinitesimal extensions of ?
There must be a way of thinking about the modalities in the context of the -category . Then how to characterise in that context what is special about the modalities of infinitesimal extensions, namely, their equivalence?
Concerning symmetry of the diagram: you should probably better think of the squares as being one horizontal line sitting all over -groupoids.
Concerning systematics: I just remembered that I once already claimed that for the case of synthetic cohesion the infinitesimal cohesion is given by pushout of -toposes (in the -category of toposes). This is prop 4.5.35 on page 544 here: cohesivedocument131024.pdf
Which shows me a typo:
Definition 4.5.34. InfSmothLoc
and there are three other ’smoth’s in the document.
Then, the sections at the top of p. 537 are in a strange order.
Hmm, isn’t there a whiff of tangency in the air in Proposition 4.5.3.
p. 540 acylic
p. 545
“4.5.3.2 - Lie group cohomology” and “4.5.3.3 1-Lie algebroid cohomology” are duplicated.
Thanks for all this!! Fixed now.
Re the pushout mentioned in #27, do you get similar pushouts replacing the right-hand vertical arrow by
Aren’t we just seeing the infinitesimal extensions being transported along a cohesive morphism?
Yes, right, the same argument applies to supergeometric cohesion. I’ll add that now.
Concerning the “just transported along”: heuristically, yes; formally if we mean by it those pushouts. But beyond that I currently have not good formulation of this. Though there might well be a simple one.
Some rambling while I should be doing something else.
Your comment in #22 seems telling
The stable cohesion thing is different, but similar
Maybe that’s linked to the second of my suggestions in #27 not being a pushout.
Is there something about and the not being functors on , yet approximating which is, while is infinitesimally cohesive, but is not? You can’t have both in that case.
But is there a ’super’ functor, that acts, e.g., to send to , to , etc.? Or maybe one that strip away the ’super’, like a truncation.
David, you are after something here, but I need to postpone thinking about this for the moment. I’ll get back to you on this later. Sorry.
As they say in Australia, “No worries”. I might start a thread to jot down some ideas, but don’t feel under any pressure to contribute.
By the way, some more typos
is is
p. 433 Proposition 3.10.50. An infinitesimal cohesive 1-groupoid, def. 3.10.49
but this def. defined a formal cohesive 1-groupoid.
p.434 “The bottom row shows the supergeometric refinement of this situation.” Should be top row
p. 442 just by the axioms of cohesion of and stability.
Thanks for the typoses! Fixed now in my local copy. Will upload latest version a little later tonight. Thanks a whole lot for your all your input!
In view of the recent Menni papers I thought it good to assemble some information on quality types in a separate entry quality type. Of course, a lot more could and should be added!
Thanks!
I have taken the liberty of adding the following, please let me know if you’d disagree.
In the very first paragraph after “only a qualitative analysis” I have added:
More geometrically, a cohesive topos which is a “quality type” exhibits infinitesimal cohesion in that the points-to-pieces transform for each object is an isomorphism.
Then in the following sentence “The primary example is the homotopy category.” I have added “that Lawvere had in mind” to make it read
The primary example that Lawvere had in mind is the homotopy category.
This is because in view of the fundamental geometric example of sheaves on infinitesimally thickened points and its role in Lie theory, I find that the homotopy category is a rather exotic example.
This relates to the general fact which I find puzzling, that in Lawvere’s texts there is made little connection between synthetic differential geometry in the sense of the Kock-Lawvere axioms and cohesion. What I find is the archetypical example of what all of cohesion and “quality type” is about is the cofiber sequence of cohesive toposes
where the first inclusion exhibits differential cohesion, the topos in the middle is the Cahiers topos modelling snythetic differential geometry, the right map exhibits it as being cohesive not only over the point but over infinitesimal points (which is the key ingredient for the observation at differential cohesion and idelic structure) and finally the rightmost topos is infinitesimally cohesive, hence a “quality type”.
my apologies for my partial reworking (some of it happened before I came across your comment here - I also thought I would have posted a comment yesterday evening but that doesn’t seem to have uploaded).
In short, my intentions with the entry are mainly pedagogical, meaning I want to stick to Lawvere as close as possible (extensive 1-cats etc.) and make things as 1-pedestrian as possible as the concepts are sufficiently mysterious even then and easier to pick up for applications in cognitive science&philosophy etc. in this form.
the homotopy category is probably not the most important example from a practical point of view but I’d like to stress it because it points to the concept’s origin in reflections on homotopy theory by Lawvere in the 80s. Actually, the real primary example seems to be the simplest topos of graphs in the 89 paper that serves as a quality type for the cohesive reflexive graph topos and puzzled Lawvere as being neither gros nor petit (these contrasts show up as contrast QT vs sufficient cohesion and QT vs. pure variation in 2007). The smooth example hinted at in 2004 then was presumably decisive to elevate QT into a defined concept and let the axioms for gros revolve around it in 2007.
I have rearranged your geometrical view and spelled out the details more in detail. I hope that my intuitions concerning ’infinitesimal cohesion’ as sort of minimal spatiality is acceptable, otherwise feel free to adapt or improve the passage.
As far as I can see, infinitesimals enter the picture merely in the role of generating the discrete base topos via infinitesimal constancy as an infinitesimal internal ’foundation’. I am afraid that I don’t have to say anything enlightening about this at the moment. The somewhat strange appearance of Euler infinitesimals at the beginning of the 2008 paper on rig geometry where presumably the right adjointness of core varieties yield QT via their classifying toposes point hopefully to some deeper connection.
As I think of QT as a sort of qualia i.e. they are on the subjective-epistemological side of things, I would expect them to appear as fiber rather than as base in an exact sequence, so would this comply to your intuitions what extends what in the above cofiber sequence ?
Thanks for the detailed reply and for displaying such detailed knowledge of the history of the development of the axioms.
I am all for the pedagogical exposition, the ““-signs at infinitesimal cohesion could just as well be omitted as far as the definition is concerned. In view of pedagogy I find that explaining that characterizes infinitesimal objects (those with a single point in each piece) is less mysterious than saying that this means that “only qualitative analysis” is possible for these ojects. In fact I don’t understand this remark on qualitative analysis! Also I think right in the vein of avoiding -toposes in motivating “quality types” that reference to the homotopy category is less elementary than reference to infinitesimal objects.
For these reasons I still think that if the aim is to explain the actual geometric meaning of “quality types”, then the example is the most basic one.
On the other hand of course if the aim is to record Lawvere’s way of arriving at these concepts, then clearly a different route is indicated.
With respect to this though I feel the urge to make an edit on the following, but I’ll refrain before hearing back from you:
Where in the new version of the entry you say that quality types were
intended as ingredients to a synthetic homotopy theory
it’s hard not to notice that with homotopy type theory there has meanwhile arrived an actual synthetic homotopy theory which axiomatizes not just “the homotopy category” – which is well known to be pathological – but its actual homotopy theory. With all due respect to Lawvere, it seems therefore to me that the aim of characterizing homotopy theory via cohesion is dubious, and that instead it seems compelling to interpret cohesion inside synthetic homotopy theory.
May I read this as saying that you are against adding a comment and pointer to homotopy type theory where you mention “synthetic homotopy theory”?
To me it’s curious where you identify tender sprouts and where their perils.
Okay, thanks. I have added a footnote.
Regarding “qualia”: as I mentioned before, I happen to be somebody who does not understand why quality types are regarded as
a concept where ’qualia’, the transcendental role of space in cognition (what it means in general to organize data into a space) and extraction of qualitative information from such space are brought together
Could you explain this?
Hi Thomas,
would it be fair to say in the entry,then, that it remains unclear why an ambidextrous adjoint cyclinder faithfully axiomatizes “qualia”?
By the way, I once followed the implicit suggestion of Lawvere’s of reading Hegel’s Science of Logic and trying to formalize each “opposite of dualities” mentioned there by an adjoint modality, starting with identifying “becoming : nothing being” with , as first suggested in Some Thoughts on the Future of Category Theory.
Now Hegel talks about quality, of course. Reading through what he writes and trying to match available adjoint cyclinders as faithfully as possible with Hegel’s poetry, I did arrive at an identification of “quality” with certain cohesive structure. This is the content of the entry Science of Logic (scroll down a good bit to see the relevant diagrams).
Regarding that footnote: sure, looks good.
Well, to throw in ’qualia’ was probably not a very lucky choice of me, as they tend to wake up bats and other favorite beasts of philosophers i.e. they are related to the question ’what it feels to have certain perceptions’. I used it to point to the psychological dimension and potential of this cohesion story, so I prefer to constrain my remarks to ’quality’ with a subjective dimension in the following.
Before doing this let me point out there is a mathematical model for qualia by Balduzzi-Tononi (pdf) which was morphed into an approach using presheaves in a Bayesian framework by David Balduzzi (here) where at one point he uses a tangent space metaphor for prior update which somewhat suggests laws of (mental) motions.
Most broadly QT suggest qualitative analysis of space, when you consider QT as degenerate or simpler spaces which replace the original space by valuing ex/intensive quality functors there - vaguely a projection to lower ( =infinitesimal) dimensions. The Poincaré remark pointing in the direction that several partial views permit to reconstitute the original space.
The subjective dimension enters then primarily by the necessity of being an earthling that cannot grasp the original space. In the kinship paper Lawvere uses at some point the term of ’rational neglect’ for the homotopical contraction I think. Sure a reasonable thing to do for a being with finite ressources.
More optimistically, one would try to link the infinitesimal space to the minimal soil of concious awareness (sort of Weber-Fechner pyschophysics like) - this is suggested e.g. by Petitot’s phonetics to phonology collapse provided it can be accomodated in cohesion+QT: although the full signal is processed by the auditory tract what enters concious awareness pertains to discrete phonological features.
To conclude with some Hegelian musings: Hegel’s WdL heavily depends on Kant’s KdrV which contains a dialectics as well as intriguing passages on the intensive (?) quality of conciousness which probably goes back to at least the substance dualism in Descartes, in short Hegel actually draws on a rich tradition here.
When I recall correctly Hegel links ’quality’ to determinate being or ’bestimmtes dasein’ for which you could interpret the determinateness as the pointedness and the connectedness as the being, probably the collapse of the cylinder as negation of becoming - a having come into determinate (self-identical) being. Well, I guess a cohesive reading of Hegel would be a fruitful undertaking for Hegel experts and should pay close attention to the text of WdL even at the cost that it does not fit the categorical bill.
Sorry for the off topic question, but, Thomas - which do you think is of more interest for mathematicians*: the mind/brain or financial markets?
(I’m asking because - while physics is the field** with the richest connections to mathematics - I think it is important for mathematicians (if they are exploring fields outside of mathematics) to explore multiple fields so as to keep their intuition general and not tied to any one particular strata of reality. People like Petitot & Andree Ehresmann bring alot of interesting mathematics into cognitive science …. but there are also lots of physicists & mathematicians on wall st who bring interesting math into financial markets. If one is already studying physics, finance has the advantage that (going from physics to chemistry to biology to neuro science etc..) finance is even more removed from physics than cognitive science is (and if you get even more removed from physics than finance and economics … the terrain is too subjective/fuzzy to be brought into rigorous interaction with math). Cognitive Science allows one to attempt to understand the nature of consciousness, whereas finance allows one to attempt to understand the nature of risk and probability.
I have no idea whether this book is any good, but just because we’re talking about taking methods from QFT and applying them to cognition: here is a book which applies QFT to financial markets.)
*by for mathematicians, I mean for people who care about the “physical mathematics” approach to a discipline outside of math just as much as they care about the “mathematical physics” approach **outside of the formal sciences
Trent, you aren’t by same chance the same as the Trent who asked a question at MathOverflow here?
I am the same Trent, good eye.
And here as well? ;-)
Same guy.
@49. Well, finance vs. CS, a delicate matter: a guy like the late Francis Crick who always looked for the big intellectual adventure took to biology after WW II and then to conciousness at the end of his career. In the first case his Pascalian wager was a huge sucess and in the second case less so, and in any case he probably could have earned more on Wallstreet than the Nobel prize money.
I have no problems with mathematical finance where a lot interesting math lies around though. I would probably view it in his current form as part of applied statistical physics as the blueprint of equilibrium models there since Walras are actually taken from thermodynamics. So the choice seems to be a matter of personal choice, in general, it seems to me a much safer bet to think on risk at Wallstreet, than otherwise. So I guess it all comes down to the question whether you are interested in risk from a theoretical side or from a practical side. By the way speaking of risk, there is a paper on categorical risk in the recent TAC here though I haven’t looked at it yet.
A last remark on QFT: the thing I particular find intriguing with Lawvere’s approach to cohesion is that permits to reason synthetically on such methods and models i.e. it very much cuts across from QFT to petty graph toposes. E.g. that neural networks are field theory in disguise and as such hopefully amenable to cohesive analysis is probably less important per se than that cohesive SDG permits to throw out the particular models used and to focus on the really important features of the models. This seems to me to be a prerequisite to tackle the real big question which is not how the brain works but why it works the way it does (the problem of transcendental deduction in Kantian terms).
Hi Thomas,
one aspect that you are maybe alluding to and which I know better how to relate to is the idea of factoring cohesion.
By this I mean given a cohesive topos , then it may happen that we have another cohesive topos and a geometric morphism which exhibits as cohesive over .
Since both and are assumed to be cohesiver over the given base topos , this means that the absolute cohesion of “factors” through that of
In such a situation it makes good sense to say that as we pass to the right along
that we “lose quantitative information” and “retain only more qualitative information”. This is simply so by the standard interpretation of the cohesive modalities, as we pass to the right with the left adjoint for instance we remember of spaces only their connected components (or their homotopy types in the homotopy context) and so in the middle stage we have something in between the full “quantitative” information and the bare “qualitative” information of (or ).
This would be a sense in which I would understand why “quality types” refer to “quality”.
Of course in the above need not be a quality type for this interpretation to work, but a quality type would be a special case of this formalization of “qualitative information”.
Might it be possible to show that being a quality type makes it somehow universal among non-degenerate such factorizations?? In other words, could we show that factoring cohesion through a quality type is a “smallest non-trivial factorization possible”? That would be useful to know.
An interesting suggestion. I need to think to about it. As Lawvere has pointed out on conceptualmathematics QT over S organize themselves into a 2-category, so I would be somewhat surprised when it would be possible to characterize a single QT as universal, though it might hopefully be possible to characterize the whole 2-cat somehow.
In any way, one would have to consider the lattice of essential localizations and look through the Johnstone papers which characterizes QT over S. Another possibility is to use the orthogonality to sufficient cohesion or ’pure variation’. I intend to go through the literature on QT soon also in order to report the useful results for the entry.
A caveat at this quantity-quality contrast. I brought up it in the entry because i thought it suggestive to think in these terms about topological invariants for dynamical systems, but the real contrast is indeterminateness-quality. It seems better to think of them as minimally cohesive spaces. Probably also hopeful to look at the graph example in TAC 2007-Como 2008 with the respective ex/intensive qualities to understand how they pick up information from the cohesive graphs in the domain.
In the 1991 Como paper Lawvere suggests on pp.9-10 that the SDG-infinitesimal spaces are of dimension which I guess means they are supposed to be just above (below?) the ground level 0 . So perhaps QT are more generally a sort of atoms of the essential subtopos lattice but Johnstone would have surely remarked on this if true. I need more time to think this over.
Off-topic, but the blog conceptualmathematics was moved to private some time ago, unfortunately. If this was run by Lawvere, I would hope he would make it open again, not least because I vaguely recall it hosted some hard-to-find papers of his.
Thomas, could you recall the orthogonality of QT with “sufficient cohesion” for me? Thanks.
This is e.g. proposition 3 of TAC 2007 p.47:
If over is both sufficiently cohesive and a QT, then is inconsistent.
In the 1989 graph example this occurs as the nonconnectedness of and in the 1991 literally infinitesimal spaces he comments on this as lack of enough connected objects.
I recall also a remark on a factorization result for subtoposes of Paré, Rosebrugh(!?), Wood from 1989 in an Australian Journal that he points regularly to and calls relevant for infinitesimal generation of a topos in the ’Como 2008 lectures’.
Oh, I thought you were referring to an arthogonal factorization system. That might have been the answer to what I was after: the factorization of any cohesive geometric morphism into something followed by a QT.
the factorization of any cohesive geometric morphism into something following by a QT
Does the order matter? We spoke once of a ’cube’ of cohesion. It seemed like you could take out the maximal infinitesimal part first or the orthogonal part.
Right, that cube arises from there being two different kinds of infinitesimal directions. I suppose if one were to formalize a factorization then that would be accounted for by the base topos itself factoring over yet smaller base toposes.
But I don’t have a systematic way (yet) to produce this factorization from just one cohesive topos. What I know how to do and did discuss is that
a) starting with an inclusion that exhibits differential cohesion to produce its cofiber where has infinitesimal cohesion.
b) or conversely, starting with produce .
What Thomas’ remarks eventually made me think of is that maybe given just , we might be able to find some as a “smallest non-pointlike” cohesive base topos over which still sits (maybe in that if you could find any other non-trivial such base topos, it would also have to sit over ).
This is vaguely plausible from the geometric interpretation of “infinitesimal cohesion”/”quality types”. But I don’t see yet how to make it precise.
I have no problems with mathematical finance where a lot interesting math lies around though.
The most interesting portion of mathematical finance, I think, is where the interesting math that is lying around is not yet known to pure mathematicians. Elie Ayache (a paradoxically practical and theoretical person … an options trader with an enginering background / philosopher / ceo & founder of a financial software company) claims that - in his book The Blank Swan (not to be confused with Taleb’s The Black Swan) he has managed to “free the mathematics of contingency from the mediation of probability”: in philosophical form in an article like this The Turning (Wilmott Magazine) and in financial form in an article like this Actuarial Value vs Financial Price (Wilmott Magazine). (But, I should start a new thread rather than hijack this one if anyone is interested in generalized probability theory. The reason I brought this up is b/c we’re talking about mathematizing hegel in this thread and in other threads on the nforum, and perhaps Ayache is the hegel of the 21st century (in the sense that he is the only 21st century philosopher I am aware of who has written something that looks like it might (like Hegel’s Science of Logic) prefigure in conceptual form future mathematics). (There are actually 2 20th century books which have been called sequels to Hegel’s Science of Logic - Deleuze’s Cinema Books, where he elaborates a semiotics more advanced than Charles Sanders Peirce’s - but that’s another story. I just mention those books b/c if it is the case that they also prefigure math, it’s interesting that Hegel was able to do so with language, Deleuze (possibly) with cinema, and Ayache (possibly) with the actions of traders. Getting way ahead of things - what type of mathematics prefiguring medium could possibly come next?)
edit/addition: anyone who finds both philosophical and financial language alien, but still wants to see what a mathematics of contingency beyond probability can be can read Borges’ (very) short story Pierre Menard, Author of the Quixote. The terrain that distinguishes Menard’s Quixote from Cervantes’ Quixote is the terrain that contingency captures and that probability is blind to.
1 to 63 of 63