-
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...
-
Knuth &
Patashnik 1988, p. 381.
Blokhintsev 2012, p. 35. Sung &
Smith 2019.
Awodey 2010, p. 33. La Vallée Poussin, C. Mém. Couronnés Acad. Roy.
Belgique 59...
- 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...
- 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...
-
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...
- E. (2004).
Abstract and
Concrete Categories.
Heldermann Verlag Berlin.
Awodey,
Steve (2010).
Category Theory.
Oxford University Press. ISBN 978-0199237180...
- Open Court, 2015, p. 142.
Steve Awodey pronounces Carnap's Gabelbarkeitssatz-related
pursuits "ill-fated" (Steve
Awodey, "Structuralism, Invariance, and...
- 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...
