-
Awodey is a surname.
Notable people with the
surname include: Marc
Awodey (1960–2012),
American artist and poet
Steve Awodey (born 1959),
American mathematician...
-
Steven M.
Awodey (/ˈaʊdi/; born 1959) is an
American mathematician and logician. He is a
Professor of
Philosophy and
Mathematics at
Carnegie Mellon University...
- Marc
Awodey (November 4, 1960 —
October 13, 2012) was an
American contemporary artist and poet. His
poetry collections include "Telegrams from the Psych...
- in 2007
Awodey gave a talk
titled "Homotopy type theory" (this was the
first public usage of that term,
which was
coined by
Awodey).
Awodey and Warren...
-
University Press. p. 62. ISBN 978-0-521-42261-1. Mac Lane 1978, p. 33.
Awodey 2010, p. 53-55. "Dual category",
Encyclopedia of Mathematics, EMS Press...
- founders:
Saunders Mac Lane's
Categories for the
Working Mathematician"
Awodey,
Steve (2010).
Category Theory.
Oxford University Press. p. iv. ISBN 978-0-19-151382-4...
- S}||x_{s}||<\infty \}.}
Awodey (2010, §2.1) Mac Lane (1978, p. 118)
Awodey (2010, p. 72)
Awodey (2010, p. 33)
Semadeni (1963)
Awodey,
Steve (2010), Category...
- E. (2004).
Abstract and
Concrete Categories.
Heldermann Verlag Berlin.
Awodey,
Steve (2010).
Category Theory.
Oxford University Press. ISBN 978-0199237180...
-
Course in Algebra.
American Mathematical Society. p. 3. ISBN 9780821834138.
Awodey,
Steve (2006). "Isomorphisms".
Category theory.
Oxford University Press...
-
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, John...
