I will introduce the basic framework and look at some of the applications to 1philosophy and linguistics.