https://9dok.net/document/zx5owgmn-finiteness-obstructions-and-euler-characteristics-of-categories.html