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.
Alonso Perez-Lona (Sep 16 2025 at 19:21):I came across this paper: https://arxiv.org/abs/0902.1750
and the authors mention "This article is meant to be the first one in the sequel within a program, initiated by the authors, of classifying topoi of higher order structures in topology," but I could not readily find subsequent papers. Did the project get merged into some other one with a less obvious name?
Kevin Carlson (Sep 16 2025 at 20:03):Looks unlikely that it was continued. Bakovic had no ArXiv posts from then until just this year; if he left math for a while, that would be a good explanation of the project being dropped.
fosco (Sep 16 2025 at 20:03):knowing Igor, it is more likely that the "subsequent papers" form a 450 pages draft in his laptop, rigorously written without backup.
Email him [I will send you a DM]: he's generous, a sharp mathematician, and very excited to talk about his ideas with others.
David Michael Roberts (Sep 17 2025 at 01:42):@Kevin Carlson yes, @Igor Bakovic did indeed leave mathematics, temporarily.
John Baez (Sep 17 2025 at 09:02):To survive?
Igor Bakovic (Sep 17 2025 at 09:04):I am still trying to survive… but I returned to mathematics for good, until I breathe…
John Baez (Sep 17 2025 at 09:07):Good luck!
Igor Bakovic (Sep 17 2025 at 09:16):Thank you John, I will need it. You probably saw my talk at the first Transactions in Category Theory conference in June where you have been a keynote speaker.