Our government has an unprecedented opportunity to use artificial intelligence (AI) to dramatically modernize the public sector. While experimentation with AI-based technology has begun, we’re still ...

A conjecture of A. Joyal is proved, which states that, in contrast to topological spaces, toposes which are connected and locally connected are also path-connected. The reason for this phenomenon is ...