Steve Awodey
fields: Homotopy type theory
subject: Category:American logicians
description: filósofo estadounidense @gl
known for: Type theory
academic discipline: Homotopy type theory
subject: Category:Institute for Advanced Study visiting scholars
subject: Category:20th-century American mathematicians
description: American philosopher
caption: Awodey in 2011
thesis title: Logic in Topoi: Functorial Semantics for Higher-Order Logic
alma mater: University of Chicago
birth place: Michigan
description: filósofu estauxunidense @ast
subject: Category:University of Chicago alumni
birth name: Steven M. Awodey
thesis year: 1997
alma mater: University of Marburg
description: filosofo estatubatuarra @eu
description: فيلسوف من امريكا @arz
description: فیلسوف آمریکایی @fa
type: Thing
known for: Type theory of higher-dimensional categories
type: Person
type: Animal
thesis url: https://web.archive.org/web/20190221234344/http:/pdfs.semanticscholar.org/35c2/a040f369aeafd4c796fecd1f5e2a159508ab.pdf
type: Q901
description: filòsof estatunidenc @ca
type: Eukaryote
type: Species
description: Ameerika Ühendriikide filosoof @et
subject: Category:Living people
known for: Model theory
fields: Category theory
description: মার্কিন দার্শনিক @bn
hypernym: Professor
subject: Category:1959 births
academic discipline: Category theory
academic advisor: William W. Tait
subject: Category:21st-century American mathematicians
type: Q729
work institutions: Carnegie Mellon University
academic advisors: William W. Tait
description: filozof amerikan @sq
birth date: 1959-07-05
doctoral advisors: Saunders Mac Lane
description: amerikansk filosof @sv
description: filosofo statunitense @it
known for: Model theory of higher-order logic using the methods of category theory
name: Steve Awodey
description: mathématicien et philosophe américain @fr
type: Scientist
type: Q5
subject: Category:Carnegie Mellon University faculty
type: Q215627
description: פילוסוף אמריקאי @iw
subject: Category:American philosophers of mathematics
description: американський філософ @uk
description: Amerikaans wiskundige @nl
description: filósofo norte-americano @pt
type: NaturalPerson
subject: Category:University of Marburg alumni
description: filosofiste american @lfn
description: فيلسوف أمريكي @ar
type: Q19088
description: usona filozofo @eo
website: awodey
description: filosof american @ro