I'm working on constructing a field based on finite undirected and unlabeled graphs. I've selected graph join and graph Cartesian product. But I'm trying to figure out if the latter distributes over the former (or simple graph union).
See Preprint Proposal: A Completed Field of Graphs