Be careful with this, because when you overdose on category theory you can end up (co)designing the first practical method of deleting not just a neighbourhood, but all humans from the planet:<p><a href="https://en.wikipedia.org/wiki/History_of_the_Teller%E2%80%93Ulam_design" rel="nofollow noreferrer">https://en.wikipedia.org/wiki/History_of_the_Teller%E2%80%93...</a>