[[!redirects transports]] [[!redirects transporting]] ## Idea ## ## Definition ## ## References ## [[HoTT book]] category: type theory