Remark 2.15. The category is designed to be minimal with respect to the condition that any finite subset of an -manifold with boundary has an open neighborhood homeomorphic to an object of . In particular, the closed -disk is consequently not an object of .
Original source: arXiv:1206.5522v6