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.
Samuel Steakley (Jun 08 2026 at 15:45):Does anyone happen to have a copy of Thomas Jan Mikhail's recent PhD thesis, "Type Theory for (∞,∞)-Categories, and Decomposition Spaces"? It apparently should be available here, but there seems to be something preventing me from downloading it:
https://ddd.uab.cat/record/321550
Tom de Jong (Jun 09 2026 at 06:17):This link works: https://web.archive.org/web/20250808194437/https://www.tdx.cat/bitstream/handle/10803/695093/tjm1de1.pdf?sequence=1&isAllowed=y
And also attached
Tom de Jong (Jun 09 2026 at 06:20):At the URL you gave, it's not preventing you from downloading, but the PDF is a 0 byte file: https://ddd.uab.cat/pub/tesis/2025/hdl_10803_695093/
Samuel Steakley (Jun 09 2026 at 08:33):Excellent, thank you!