I.D55 — Finite Limits in Cat_tau

Cat_tau has all finite limits: terminal object (index 1), products via Cantor pairing, equalizers (trivial in thin category — identity or empty), pullbacks from products + equalizers.