This is one of my favorite questions in the philosophy of mathematics. A related question for me is the ontology of objects we associate with Software -- algorithms, data structures, etc.
What?!? Russell literally developed Type Theory. Even discussion of Platonic Forms ultimately goes from "lesser" abstractions like the Ideal Form of a Bed to "greater" abstractions like Beauty, Justice, Good.
Please, read more philosophy. Clearer, more informed thinking might lead to better software.
That's emotional level, not structural. When software supervenes on data and code, data and code supervenes on bytes, bytes supervene on bits, bits supervene on transistors, transistors supervene on electrons, electrons supervene on the field.
