Definition and context: An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...
Definition 1: Suppose $B$ is a $C^* $-algebra. $A$ is massive $C^* $-subalgebra of $B$ iff 1. $A$ is a subalgebra of $B$; 2. for each irreducible representation $\pi$ of $B$ representation $\pi|_A$ is ...
I have sitting in front of me two 2-categories. On the left, I have the 2-category GPOID, whose: objects are groupoids; 1-morphisms are (left-principal?) bibundles; 2-morphisms are bibundle ...
I was thinking about the Gelfand-Naimark theorem asserting the isometric * isomorphism between a commutative C* algebra (with unit) A and the C* algebra of continuous complex-valued functions on its ...