Abstract
The aim of the present article is to make the notion of an ontology of fields mathematically rigorous. The conclusion will be that couching an ontology in terms of mathematical bundles and cross‐sections both captures many important intuitions of conventional ontologies, including the universal‐particular paradigm, the connection of universals and their ‘instantiations’, and the notion of ‘possibility’, and makes possible the framing of ontologies without ‘substrata’, bare particulars, and primitive particularizers