The etale fundamental groupoid as a 2-terminal costack

Abstract

We previously showed that the fundamental groupoid of a topological space can be defined by the Seifert-van Kampen theorem. This allowed us to give the first axiomatization of the topological fundamental groupoid. We will prove in this paper that the analogue holds for the etale fundamental groupoid of a Noetherian scheme X as well.