https://123dok.net/document/y4wm7dx5-hermitian-theory-stable-ý-categories-cobordism-categories-additivity.html