Categories for Virtualization