Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
It occured to me upon reading this comment that it’s a shame that links from nLab pages don’t generate arXiv trackbacks. But I suppose probably making them do that would involve delving into the bowels of instiki.
Does anyone have experience with sciencewise, another button on the arxiv. They are trying to establish an ontology. The nlab has partially overlapping goals. I’ve send them a message about crawling the nlab, like they are crawling wikipedia, but no answer yet.
Apparently there are 167 physics articles on the arxiv using toposes.
1 to 2 of 2