Joyal's CatLab simplicial set

Redirected from "bra-ket notation".

Definition

Let $\Delta$ be the simplicial category. A simplicial set is defined to be a functor $X:\Delta^o\to Sets$ .

Created on January 19, 2010 at 03:24:04 by joyal