a dost, prece to sem neprepastuju cely :)
More dramatically, both G and Hilb may be replaced by a more general sort of n-category.
This allows for a rigorous treatment of physical theories where physical processes are described by
n-dimensional diagrams. The basic idea, however, is always the same: a physical theory is a map
sending sending `abstract' processes to actual transformations of a specific physical system.