In Process and Reality Whitehead starts off the investigation by giving his categoreal scheme - different types of categories and their derivatives, as well as some axioms. If I understand correctly, and by the references Whitehead sometimes makes for different categories, he presumably derived all of his metaphysical scheme from those categories.
Now that might be an exaggeration and he might have stepped out of his own boundaries, but I'm curious to know if anyone has ever tried to provide a formal deduction of Whitehead's philosophy based on that a "categoreal scheme"?