Category: Hilb₀

Hilb₀ is the category whose objects are Hilbert spaces and arrows are unitary operators.

Facts Derived from Enrichment

(Hilb₀ doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: Hilb₀

This data as json

name objects_hr arrows_hr
Hilb₀ Hilbert spaces unitary operators

Links from other tables