-
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...
- Open Court, 2015, p. 142.
Steve Awodey pronounces Carnap's Gabelbarkeitssatz-related
pursuits "ill-fated" (Steve
Awodey, "Structuralism, Invariance, and...
- E. (2004).
Abstract and
Concrete Categories.
Heldermann Verlag Berlin.
Awodey,
Steve (2010).
Category Theory.
Oxford University Press. ISBN 978-0199237180...
- 2009, p. 31, §1.2
Wehrung 1996
Awodey 2006, p. 10
Droste &
Kuich 2009, pp. 7–10
Hebisch 1992
Kuich 1990
Kuich 2011.
Awodey,
Steve (2006).
Category Theory...
- 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...
- of
Functional Programming,
World Scientific Pub Co Inc. ISBN 9812701427
Awodey,
Steve (2010). "Type
Theory and Homotopy". arXiv:1010.1810 [math.CT]. "Thomas...
