-
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...
- of
Functional Programming,
World Scientific Pub Co Inc. ISBN 9812701427
Awodey,
Steve (2010). "Type
Theory and Homotopy". arXiv:1010.1810 [math.CT]. Official...
- E. (2004).
Abstract and
Concrete Categories.
Heldermann Verlag Berlin.
Awodey,
Steve (2010).
Category Theory.
Oxford University Press. ISBN 978-0199237180...
-
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...
-
interpret kernels in
monoid theory or ring
theory in category-theoretic terms.
Awodey,
Steve (2010) [2006].
Category Theory (PDF).
Oxford Logic Guides. Vol. 49...
- Open Court, 2015, p. 142.
Steve Awodey pronounces Carnap's Gabelbarkeitssatz-related
pursuits "ill-fated" (Steve
Awodey, "Structuralism, Invariance, and...
