nLab
excision