higher category theory (Q5758318)
generalization of category theory for higher-order morphisms
Language:
other details
description generalization of category theory for higher-order morphisms

External Links