Registry · Theorem IV.T253 tau-effective not_formalized IV.T253 — Diagrams Are Morphisms In the tau3 category: enumerate Objects: tau3 states---defect bundle configurations on T^2. Book IV Part 8 Ch. 72