Theorem 1.1 under the étale convention: the monic and projective laws, with the events restricted to étale algebras, are the universal rational functions.

Initializing...

Theorem 1.1 under the étale convention: the monic and projective laws, with the events restricted to étale algebras, are the universal rational functions. · Prove2Me