You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Feb 08 2026 at 17:19):The link to Ingo Blechschmidt's thesis on his web page is now broken, returning only the message
RawGit is no longer operational. It was fun while it lasted!
This is sad because the thesis sounds interesting to category theorists trying to learn algebraic geometry: it's called Using the Internal Language of Toposes in Algebraic Geometry.
Does anyone know a workaround, and - just out of curiosity - does anyone know what RawGit is and what happened?
Alex Kreitzberg (Feb 08 2026 at 17:43):Internet archive seems to have a copy of the thesis:
Jonas Frey (Feb 08 2026 at 17:49):Here's another link: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/deliver/index/docId/42513/file/notes.pdf
Ideas from Ingo's thesis play a crucial role in the approach to synthetic algebraic geometry currently developed by Coquand and collaborators https://arxiv.org/abs/2307.00073
I'm surprised that he's not here on the zulip!
Alex Kreitzberg (Feb 08 2026 at 18:32):It looks like rawgit was a service that rehosted static GitHub files to let people download stuff, so the paper might still be up on github
Cool, I think this is the original GitHub page:
https://github.com/iblech/internal-methods
Alex Kreitzberg (Feb 08 2026 at 18:33):Hah, but the obvious link is still broken there. I bet there's a way to fish it out of the GitHub somehow though.
Jonas Frey (Feb 08 2026 at 18:34):I don't know what you mean by the "obvious" github link, but this one works. maybe you omitted the 'blob'?
Alex Kreitzberg (Feb 08 2026 at 18:38):The top level link on the readme of that page is broken because gitraw is broken:
You found the real link, yay! I wonder if GitHub changed their policy and are now okay with more people downloading directly from repositories, and that's why gitraw is borked. It does seem like file caching would be a nice service for GitHub to provide automatically.
John Baez (Feb 08 2026 at 23:43):Thanks, everyone! Now I can read Ingo's thesis. On top of all this, I emailed him and notified him about the problem on his website.
Alexander Campbell (Feb 09 2026 at 02:23):It’s available on the arXiv: https://arxiv.org/abs/2111.03685
John Baez (Feb 09 2026 at 04:54):Okay, that's the best! Websites come and websites go, but the arXiv will remain until the sun burns out.