I.P25 — Thin Category

Cat_tau is thin: between any two objects there is at most one morphism. Direct corollary of the tau-Identity Theorem — if two tower-coherent functions agree at any depth, they agree everywhere.