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:

https://en.wikipedia.org/wiki/History_of_the_Teller%E2%80%93...