-
Recent Posts
Recent Comments
- xiaodong.jia on Well-filtered dcpos
- jordan 11 legend blue on Bourbaki, Witt, and a theorem of Dito Pataraia’s
- air jordan 11 legend blue on Bourbaki, Witt, and a theorem of Dito Pataraia’s
- jordan legend 11s on Bourbaki, Witt, and a theorem of Dito Pataraia’s
- jordan 11 legend blue 2014 on Bourbaki, Witt, and a theorem of Dito Pataraia’s
Archives
- November 2023
- October 2023
- September 2023
- August 2023
- July 2023
- June 2023
- May 2023
- April 2023
- March 2023
- February 2023
- January 2023
- December 2022
- November 2022
- October 2022
- September 2022
- August 2022
- July 2022
- June 2022
- May 2022
- April 2022
- March 2022
- February 2022
- January 2022
- December 2021
- November 2021
- October 2021
- September 2021
- August 2021
- July 2021
- June 2021
- May 2021
- April 2021
- March 2021
- February 2021
- January 2021
- December 2020
- November 2020
- October 2020
- September 2020
- August 2020
- July 2020
- June 2020
- May 2020
- April 2020
- March 2020
- February 2020
- January 2020
- December 2019
- November 2019
- October 2019
- September 2019
- August 2019
- July 2019
- June 2019
- May 2019
- April 2019
- March 2019
- February 2019
- January 2019
- December 2018
- November 2018
- October 2018
- September 2018
- August 2018
- July 2018
- June 2018
- May 2018
- April 2018
- March 2018
- February 2018
- January 2018
- December 2017
- November 2017
- October 2017
- September 2017
- July 2017
- June 2017
- April 2017
- February 2017
- January 2017
- October 2016
- August 2016
- July 2016
- June 2016
- May 2016
- April 2016
- March 2016
- January 2016
- December 2015
- October 2015
- September 2015
- July 2015
- June 2015
- May 2015
- March 2015
- February 2015
- January 2015
- December 2014
- November 2014
- September 2014
- July 2014
- June 2014
- May 2014
- March 2014
- January 2014
- December 2013
- November 2013
- October 2013
- July 2013
- June 2013
- April 2013
- February 2013
- October 2012
Meta
Tag Archives: stream
Sheaves and streams II: sheafification, and stratified étale maps
In part I, I explained how one can build the étale space of a presheaf F over a topological space X. I will show how one can retrieve a sheaf from an étale map, leading to a nice adjunction and … Continue reading
Posted in Uncategorized
Tagged étale map, sheaf, stream
Comments Off on Sheaves and streams II: sheafification, and stratified étale maps
Sheaves and streams I: sheaves of locally monotone maps
Sheaves are a fundamental notion. In this post and later posts, I would like to explain some of the basic theory of the most mundane notion of sheaves: sheaves of sets over a topological space. My real goal is really … Continue reading
Posted in Uncategorized
Tagged étale map, sheaf, stream
Comments Off on Sheaves and streams I: sheaves of locally monotone maps
From prestreams to streams
Last time, I had described two satisfactory models of topological spaces with a local direction of time: Marco Grandis’ d-spaces, and Sanjeevi Krishnan’s prestreams. The two kinds form categories that are related by an adjunction S ⊣ D, discovered by … Continue reading
Prestreams and d-spaces
How do you model a topological space with a direction of time? That should seem easy; for example, a topological space with a preordering should be enough. But how do you model the directed circle, where times goes counterclockwise? That … Continue reading