Find link

language:

Find link is a tool written by Edward Betts.

searching for Steve Awodey 3 found (15 total)

Free Boolean algebra (1,016 words) [view diff] exact match in snippet view article find links to article

theorem for Boolean algebras. Boolean algebra (structure) Generating set Steve Awodey (2006) Category Theory (Oxford Logic Guides 49). Oxford University Press

S5 (modal logic) (735 words) [view diff] exact match in snippet view article

Techniques in Modal Logic (1st ed.). Elsevier. p. 72. ISBN 9780444500557. "Steve Awodey. Category Theory. Chapter 10. Monads. 10.4 Comonads and Coalgebras" (PDF)

Tuple (2,043 words) [view diff] exact match in snippet view article find links to article

and Programming Languages. MIT Press. pp. 126–132. ISBN 0-262-16209-1. Steve Awodey, From sets, to types, to categories, to sets, 2009, preprint D'Angelo