Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeApr 3rd 2014
   • (edited Apr 3rd 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexJust heard a nice talk by Simon Henry about measure theory set up in Boolean topos theory (his main result is to identify Tomita-Takesaki-Connes' canonical outer automorphisms on $W^\ast$-algebras in the topos language really nicely...). I have to rush to the dinner now. But to remind myself, I have added cross-links between _[[Boolean topos]]_ and _[[measurable space]]_ and for the moment pointed to * Matthew Jackson, _A sheaf-theoretic approach to measure theory_, 2006 ([pdf](http://www.andrew.cmu.edu/~awodey/students/jackson.pdf)) for more. Simon Henry's thesis will be out soon. Have to rush now...

   Just heard a nice talk by Simon Henry about measure theory set up in Boolean topos theory (his main result is to identify Tomita-Takesaki-Connes’ canonical outer automorphisms on $W^\ast$-algebras in the topos language really nicely…).

   I have to rush to the dinner now. But to remind myself, I have added cross-links between Boolean topos and measurable space and for the moment pointed to

   • Matthew Jackson, A sheaf-theoretic approach to measure theory, 2006 (pdf)

   for more. Simon Henry’s thesis will be out soon.

   Have to rush now…

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeSep 5th 2014
   • (edited Sep 5th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexSimon Henry's thesis is out now: * [[Simon Henry]], _Des topos à la géométrie non commutative par l'étrude des espaces de Hilbert interne_ ([pdf](http://www.math.jussieu.fr/~henrys/Thesis.pdf)) (it's actually written in English, for the most part).

   Simon Henry’s thesis is out now:

   • Simon Henry, Des topos à la géométrie non commutative par l’étrude des espaces de Hilbert interne (pdf)

   (it’s actually written in English, for the most part).

3. • CommentRowNumber3.
   • CommentAuthorDavid_Corfield
   • CommentTimeJul 28th 2021
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexThere seems to be an interesting line of development going on with Asgar Jamneshan teaming up with Terry Tao to formulate a category-theoretic pointless measure theory. * [[Asgar Jamneshan]], [[Terence Tao]], _Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration_ ([arXiv:2010.00681](arXiv:2010.00681)) The topos aspect is not emphasized here, but it seems to have grown out of a post by Tao -- [Real analysis relative to a finite measure space](https://terrytao.wordpress.com/2014/07/15/real-analysis-relative-to-a-finite-measure-space/). In a talk at the Topos Institute -- [Topos theory and measurability](https://www.youtube.com/watch?v=d94jIahj2JQ&ab_channel=ToposInstitute) -- Jamneshan explains that he is using an internal language for some Boolean toposes, but can hide this via a "conditional set theory" (Slide 12).

   There seems to be an interesting line of development going on with Asgar Jamneshan teaming up with Terry Tao to formulate a category-theoretic pointless measure theory.

   • Asgar Jamneshan, Terence Tao, Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration (arXiv:2010.00681)

   The topos aspect is not emphasized here, but it seems to have grown out of a post by Tao – Real analysis relative to a finite measure space.

   In a talk at the Topos Institute – Topos theory and measurability – Jamneshan explains that he is using an internal language for some Boolean toposes, but can hide this via a “conditional set theory” (Slide 12).

4. • CommentRowNumber4.
   • CommentAuthorDavid_Corfield
   • CommentTimeJul 28th 2021
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexI'll add this paper to his page: * [[Asgar Jamneshan]], _An uncountable Furstenberg-Zimmer structure theory_ ([arXiv:2103.17167](https://arxiv.org/abs/2103.17167)), In it he writes: > we apply tools from topos theory as suggested ... by Tao. We will not use topos theory directly nor define a sheaf anywhere in this paper. Instead, we use the closely related conditional analysis... A main advantage of conditional analysis is that it can be setup without much costs and understood with basic knowledge in measure theory and functional analysis... > For the readers familiar with topos theory and interested in the connection between ergodic theory and topos theory, we include several extensive remarks relating the conditional analysis of this paper to the internal discourse in Boolean Grothendieck sheaf topoi.

   I’ll add this paper to his page:

   • Asgar Jamneshan, An uncountable Furstenberg-Zimmer structure theory (arXiv:2103.17167),

   In it he writes:

   we apply tools from topos theory as suggested … by Tao. We will not use topos theory directly nor define a sheaf anywhere in this paper. Instead, we use the closely related conditional analysis… A main advantage of conditional analysis is that it can be setup without much costs and understood with basic knowledge in measure theory and functional analysis…

   For the readers familiar with topos theory and interested in the connection between ergodic theory and topos theory, we include several extensive remarks relating the conditional analysis of this paper to the internal discourse in Boolean Grothendieck sheaf topoi.