realizing he made more money selling t shirts he left his insurance job about a hundred players attended the categorical framework provides a rich conceptual background for logical and type theoretic constructions