×
Author ID: awodey.steve Recent zbMATH articles by "Awodey, Steve"
Published as: Awodey, Steve; Awodey, S.; Awodey, Steven
Further Spellings: Awodey, Steven M.
Homepage: http://www.andrew.cmu.edu/user/awodey/
External Links: MGP · Wikidata · Google Scholar · GND · IdRef · theses.fr
Videos: carmin.tv
all top 5

Co-Authors

23 single-authored
6 Gambino, Nicola
6 Warren, Michael Alton
3 Bauer, Andrej
3 Birkedal, Lars
3 Butz, Carsten
3 Carus, A. W.
3 Kishida, Kohei
3 Reck, Erich H.
3 Scott, Dana Stewart
3 Sojakova, Kristina
2 Coquand, Thierry
2 Forssell, Henrik
2 Garner, Richard
2 Hofstra, Pieter J. W.
2 Lumsdaine, Peter LeFanu
2 Martin-Löf, Per
2 Palmgren, Erik
2 Pelayo, Alvaro
2 Rabe, Florian
2 Riehl, Emily
2 Simpson, Alex K.
2 Streicher, Thomas
2 Voevodskiĭ, Vladimir Aleksandrovich
1 Aczel, Peter
1 Ahrens, Benedikt
1 Altenkirch, Thorsten
1 Angiuli, Carlo
1 Avigad, Jeremy
1 Barras, Bruno
1 Bertot, Yves
1 Bezem, Marc
1 Bordg, Anthony
1 Brunerie, Guillaume
1 Cavallo, Evan
1 Cohen, Cyril
1 Constable, Robert Lee
1 Curien, Pierre-Louis
1 Dybjer, Peter
1 Eliasson, Jonas
1 Finster, Eric
1 Frege, Gottlob
1 Frey, Jonas
1 Gabriel, Gottfried
1 Gonthier, Georges
1 Grayson, Daniel Richard
1 Hales, Thomas Callister
1 Harper, Robert
1 Hazratpour, Sina
1 Herbelin, Hugo
1 Hofmann, Martin
1 Hötzel Escardó, Martín
1 Hou (Favonia), Kuen-Bang
1 Hughes, Jesse
1 Joyal, André
1 Kapulkin, Krzysztof
1 Kock, Joachim
1 Kotzsch, Hans-Christoph
1 Kraus, Nicolai
1 Li, Nuo
1 Licata, Dan
1 Luo, Zhaohui
1 Mahboubi, Assia
1 Melikhov, Sergey Aleksandrovich
1 Nahas, Michael
1 Newstead, Clive
1 Polonsky, Andrew
1 Rijke, Egbert
1 Sattler, Christian
1 Scott, Philip J.
1 Shulman, Michael A.
1 Solov’ëv, Sergeĭ Vladimirovich
1 Sozeau, Matthieu
1 Speight, Sam
1 Spitters, Bas
1 Van den Berg, Benno
1 Zeilberger, Noam

Publications by Year

Citations contained in zbMATH Open

49 Publications have been cited 624 times in 488 Documents Cited by Year
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
272
2013
Category theory. 2nd ed. Zbl 1194.18001
Awodey, Steve
114
2010
Homotopy theoretic models of identity types. Zbl 1205.03065
Awodey, Steve; Warren, Michael A.
88
2009
Category theory. Zbl 1100.18001
Awodey, Steve
76
2006
Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. Zbl 1031.03002
Awodey, Steve; Reck, Erich H.
30
2002
Propositions as [types]. Zbl 1050.03016
Awodey, Steven; Bauer, Andrej
30
2004
Natural models of homotopy type theory. Zbl 1456.03023
Awodey, Steve
21
2018
Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928. Zbl 0988.03007
Awodey, S.; Carus, A. W.
18
2001
An answer to Hellman’s question: “Does category theory provide a framework for mathematical structuralism?”. Zbl 1065.18002
Awodey, Steve
15
2004
Structure in mathematics and logic: A categorical perspective. Zbl 0874.00012
Awodey, S.
14
1996
Inductive types in homotopy type theory. Zbl 1364.03014
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
14
2012
Structuralism, invariance, and univalence. Zbl 1310.03021
Awodey, Steve
14
2014
Type theory and homotopy. Zbl 1314.03013
Awodey, Steve
13
2012
First-order logical duality. Zbl 1275.03169
Awodey, Steve; Forssell, Henrik
13
2013
Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023
Awodey, Steve; Kishida, Kohei
12
2008
A cubical model of homotopy type theory. Zbl 1522.03038
Awodey, Steve
12
2018
Relating first-order set theories, toposes and categories of classes. Zbl 1323.03073
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
10
2014
Relating first-order set theories and elementary toposes. Zbl 1152.03043
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
8
2007
Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003
Awodey, Steve; Reck, Erich H.
8
2002
Impredicative encodings of (higher) inductive types. Zbl 1452.03030
Awodey, Steve; Frey, Jonas; Speight, Sam
8
2018
Predicative algebraic set theory. Zbl 1072.18004
Awodey, Steve; Warren, Michael A.
7
2005
Modal operators and the formal dual of Birkhoff’s completeness theorem. Zbl 1040.18001
Awodey, Steve; Hughes, Jesse
7
2003
Topos semantics for higher-order modal logic. Zbl 1364.03092
Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph
7
2014
Voevodsky’s univalence axiom in homotopy type theory. Zbl 1337.03014
Awodey, Steve; Pelayo, Álvaro; Warren, Michael A.
6
2013
Homotopy-initial algebras in type theory. Zbl 1426.03016
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
6
2017
Local realizability toposes and a modal logic for computability. Zbl 1007.03057
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
6
2002
Carnap’s dream: Gödel, Wittgenstein, and Logical Syntax. Zbl 1126.03004
Awodey, S.; Carus, A. W.
5
2007
Elementary axioms for local maps of toposes. Zbl 1011.18002
Awodey, Steven; Birkedal, Lars
5
2003
A brief introduction to algebraic set theory. Zbl 1222.03056
Awodey, Steve
5
2008
Ultrasheaves and double negation. Zbl 1093.03041
Awodey, Steve; Eliasson, Jonas
4
2004
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
4
1999
Topological completeness of first-order modal logic. Zbl 1291.03030
Awodey, Steve; Kishida, Kohei
4
2012
Gödel and Carnap. Zbl 1221.03002
Awodey, Steve; Carus, A. W.
3
2010
Continuity and logical completeness: an application of sheaf theory and topoi. Zbl 1129.03037
Awodey, Steve
3
2006
Topological completeness for higher-order logic. Zbl 0977.03010
Awodey, S.; Butz, C.
3
2000
Univalence as a principle of logic. Zbl 1437.03168
Awodey, Steve
3
2018
Algebraic models of intuitionistic theories of sets and classes. Zbl 1085.18004
Awodey, S.; Forssell, H.
3
2005
Topological representation of the \(\lambda\)-calculus. Zbl 0942.03015
Awodey, Steven
3
2000
Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. Zbl 1242.00037
3
2011
Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007
Awodey, Steve; Rabe, Florian
3
2011
Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022
Awodey, Steve; Rabe, Florian
2
2009
Martin-Löf complexes. Zbl 1323.03012
Awodey, Steve; Hofstra, Pieter; Warren, Michael A.
2
2013
Sheaf representation for topoi. Zbl 0944.18003
Awodey, S.
2
2000
Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068
Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A.
2
2009
Homotopy type theory. Zbl 1304.03043
Awodey, Steve
2
2015
Sheaf toposes for realizability. Zbl 1161.03036
Awodey, Steven; Bauer, Andrej
1
2008
Sheaf representations and duality in logic. Zbl 1529.18005
Awodey, Steve
1
2021
From sets to types, to categories, to sets. Zbl 1317.03016
Awodey, Steve
1
2011
Structuralism, invariance, and univalence. Zbl 1496.18002
Awodey, Steve
1
2017
Sheaf representations and duality in logic. Zbl 1529.18005
Awodey, Steve
1
2021
Natural models of homotopy type theory. Zbl 1456.03023
Awodey, Steve
21
2018
A cubical model of homotopy type theory. Zbl 1522.03038
Awodey, Steve
12
2018
Impredicative encodings of (higher) inductive types. Zbl 1452.03030
Awodey, Steve; Frey, Jonas; Speight, Sam
8
2018
Univalence as a principle of logic. Zbl 1437.03168
Awodey, Steve
3
2018
Homotopy-initial algebras in type theory. Zbl 1426.03016
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
6
2017
Structuralism, invariance, and univalence. Zbl 1496.18002
Awodey, Steve
1
2017
Homotopy type theory. Zbl 1304.03043
Awodey, Steve
2
2015
Structuralism, invariance, and univalence. Zbl 1310.03021
Awodey, Steve
14
2014
Relating first-order set theories, toposes and categories of classes. Zbl 1323.03073
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
10
2014
Topos semantics for higher-order modal logic. Zbl 1364.03092
Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph
7
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
272
2013
First-order logical duality. Zbl 1275.03169
Awodey, Steve; Forssell, Henrik
13
2013
Voevodsky’s univalence axiom in homotopy type theory. Zbl 1337.03014
Awodey, Steve; Pelayo, Álvaro; Warren, Michael A.
6
2013
Martin-Löf complexes. Zbl 1323.03012
Awodey, Steve; Hofstra, Pieter; Warren, Michael A.
2
2013
Inductive types in homotopy type theory. Zbl 1364.03014
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina
14
2012
Type theory and homotopy. Zbl 1314.03013
Awodey, Steve
13
2012
Topological completeness of first-order modal logic. Zbl 1291.03030
Awodey, Steve; Kishida, Kohei
4
2012
Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. Zbl 1242.00037
3
2011
Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007
Awodey, Steve; Rabe, Florian
3
2011
From sets to types, to categories, to sets. Zbl 1317.03016
Awodey, Steve
1
2011
Category theory. 2nd ed. Zbl 1194.18001
Awodey, Steve
114
2010
Gödel and Carnap. Zbl 1221.03002
Awodey, Steve; Carus, A. W.
3
2010
Homotopy theoretic models of identity types. Zbl 1205.03065
Awodey, Steve; Warren, Michael A.
88
2009
Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022
Awodey, Steve; Rabe, Florian
2
2009
Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068
Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A.
2
2009
Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023
Awodey, Steve; Kishida, Kohei
12
2008
A brief introduction to algebraic set theory. Zbl 1222.03056
Awodey, Steve
5
2008
Sheaf toposes for realizability. Zbl 1161.03036
Awodey, Steven; Bauer, Andrej
1
2008
Relating first-order set theories and elementary toposes. Zbl 1152.03043
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
8
2007
Carnap’s dream: Gödel, Wittgenstein, and Logical Syntax. Zbl 1126.03004
Awodey, S.; Carus, A. W.
5
2007
Category theory. Zbl 1100.18001
Awodey, Steve
76
2006
Continuity and logical completeness: an application of sheaf theory and topoi. Zbl 1129.03037
Awodey, Steve
3
2006
Predicative algebraic set theory. Zbl 1072.18004
Awodey, Steve; Warren, Michael A.
7
2005
Algebraic models of intuitionistic theories of sets and classes. Zbl 1085.18004
Awodey, S.; Forssell, H.
3
2005
Propositions as [types]. Zbl 1050.03016
Awodey, Steven; Bauer, Andrej
30
2004
An answer to Hellman’s question: “Does category theory provide a framework for mathematical structuralism?”. Zbl 1065.18002
Awodey, Steve
15
2004
Ultrasheaves and double negation. Zbl 1093.03041
Awodey, Steve; Eliasson, Jonas
4
2004
Modal operators and the formal dual of Birkhoff’s completeness theorem. Zbl 1040.18001
Awodey, Steve; Hughes, Jesse
7
2003
Elementary axioms for local maps of toposes. Zbl 1011.18002
Awodey, Steven; Birkedal, Lars
5
2003
Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. Zbl 1031.03002
Awodey, Steve; Reck, Erich H.
30
2002
Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003
Awodey, Steve; Reck, Erich H.
8
2002
Local realizability toposes and a modal logic for computability. Zbl 1007.03057
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
6
2002
Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928. Zbl 0988.03007
Awodey, S.; Carus, A. W.
18
2001
Topological completeness for higher-order logic. Zbl 0977.03010
Awodey, S.; Butz, C.
3
2000
Topological representation of the \(\lambda\)-calculus. Zbl 0942.03015
Awodey, Steven
3
2000
Sheaf representation for topoi. Zbl 0944.18003
Awodey, S.
2
2000
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
4
1999
Structure in mathematics and logic: A categorical perspective. Zbl 0874.00012
Awodey, S.
14
1996
all top 5

Cited by 569 Authors

21 Awodey, Steve
10 Gambino, Nicola
9 Licata, Daniel R.
8 Birkedal, Lars
8 Coquand, Thierry
8 Harper, Robert
7 Angiuli, Carlo
7 Endrullis, Jörg
7 Gratzer, Daniel
7 Kraus, Nicolai
7 Shulman, Michael A.
6 Garner, Richard
6 Li, Qingguo
6 Lumsdaine, Peter LeFanu
6 Schiemer, Georg
6 Warren, Michael Alton
5 Ahrens, Benedikt
5 Jacobs, Bart
5 Kavvos, G. A.
5 Møgelberg, Rasmus Ejlers
5 Overbeek, Roy
5 Rijke, Egbert
5 Rosset, Aloïs
5 Van den Berg, Benno
5 van der Weide, Niels
5 Wang, Longchun
5 Wißmann, Thorsten
4 Buchholtz, Ulrik
4 Hofstra, Pieter J. W.
4 Kishida, Kohei
4 Kosiol, Jens
4 Mörtberg, Anders
4 Reck, Erich H.
4 Silva, Alexandra
4 Sojakova, Kristina
4 Taentzer, Gabriele
4 Uemura, Taichi
3 Abramsky, Samson
3 Altenkirch, Thorsten
3 Bauer, Andrej
3 Bimbó, Katalin
3 Bonsangue, Marcello Maria
3 Butz, Carsten
3 Corey, Daniel
3 Ellerman, David P.
3 Emmenegger, Jacopo
3 Feintzeig, Benjamin H.
3 Frumin, Dan
3 Goncharov, Sergeĭ Savost’yanovich
3 Hasuo, Ichiro
3 Hötzel Escardó, Martín
3 Hou (Favonia), Kuen-Bang
3 Huber, Simon
3 Kapulkin, Krzysztof
3 Karakostas, Vassilios
3 Kock, Joachim
3 Krídlo, Ondrej
3 Kudryavtseva, Ganna
3 Maggesi, Marco
3 Marquis, Jean-Pierre
3 Maruyama, Yoshihiro
3 Mémoli, Facundo
3 Milius, Stefan
3 Mio, Matteo
3 Moerdijk, Ieke
3 Ojeda-Aciego, Manuel
3 Palmgren, Erik
3 Petrakis, Iosif
3 Pitts, Andrew M.
3 Rosolini, Giuseppe
3 Salamanca, Julian
3 Sarkis, Ralph
3 Sattler, Christian
3 Schreiber, Urs
3 Schröder, Lutz
3 Spitters, Bas
3 Sterling, Jonathan
3 Streicher, Thomas
3 Swan, Andrew W.
3 Tsementzis, Dimitris
3 van Doorn, Floris
3 Veltri, Niccolò
3 Vignudelli, Valeria
3 von Raumer, Jakob
3 Zafiris, Elias
2 Adámek, Jiří
2 Ameri, Reza
2 Aranda, Víctor
2 Başkent, Can
2 Bezem, Marc
2 Bizjak, Aleš
2 Bourke, John
2 Brogi, Cosimo Perini
2 Brunerie, Guillaume
2 Buldt, Bernd
2 Carter, Jessica
2 Corfield, David
2 Danielsson, Nils Anders
2 Dougherty, John J. III
2 Dunn, Jon Michael
...and 469 more Authors
all top 5

Cited in 111 Serials

31 Mathematical Structures in Computer Science
27 Synthese
27 Annals of Pure and Applied Logic
21 Logical Methods in Computer Science
15 The Review of Symbolic Logic
12 The Bulletin of Symbolic Logic
11 Journal of Pure and Applied Algebra
9 Theoretical Computer Science
9 Logica Universalis
8 Mathematical Logic Quarterly (MLQ)
7 The Journal of Symbolic Logic
7 Journal of Logical and Algebraic Methods in Programming
6 Journal of Functional Programming
5 Notre Dame Journal of Formal Logic
5 Studia Logica
5 History and Philosophy of Logic
5 Erkenntnis
5 Foundations of Physics
4 Communications in Mathematical Physics
4 Information and Computation
4 Bulletin of the American Mathematical Society. New Series
4 Theory and Applications of Categories
4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
3 Fortschritte der Physik
3 Algebra Universalis
3 Fuzzy Sets and Systems
3 Topology and its Applications
3 Journal of Automated Reasoning
3 International Journal of Approximate Reasoning
3 Archive for Mathematical Logic
3 Indagationes Mathematicae. New Series
3 Applied Categorical Structures
2 Information Processing Letters
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 Journal of Geometry and Physics
2 The Mathematical Intelligencer
2 Advances in Mathematics
2 Journal of Philosophical Logic
2 Semigroup Forum
2 Bulletin of the Section of Logic
2 European Journal of Combinatorics
2 Journal of Applied Non-Classical Logics
2 Applied and Computational Harmonic Analysis
2 Selecta Mathematica. New Series
2 Annals of Mathematics and Artificial Intelligence
2 Logic and Logical Philosophy
2 Journal of Applied Logic
2 Journal of Mathematics and Music
2 Forum of Mathematics, Sigma
2 European Journal of Mathematics
2 Journal of Applied and Computational Topology
1 International Journal of Theoretical Physics
1 Journal of Mathematical Analysis and Applications
1 Letters in Mathematical Physics
1 Mathematical Methods in the Applied Sciences
1 Mathematische Semesterberichte
1 Russian Mathematical Surveys
1 Reviews in Mathematical Physics
1 Archivum Mathematicum
1 Bulletin of the London Mathematical Society
1 Colloquium Mathematicum
1 Information Sciences
1 Publications Mathématiques
1 Journal of Computer and System Sciences
1 Journal of the London Mathematical Society. Second Series
1 Mathematica Scandinavica
1 Mathematica Slovaca
1 Mathematische Zeitschrift
1 Pacific Journal of Mathematics
1 Quaestiones Mathematicae
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Transactions of the American Mathematical Society
1 Mathematical Social Sciences
1 Order
1 Journal of Symbolic Computation
1 Discrete & Computational Geometry
1 SIAM Journal on Discrete Mathematics
1 Forum Mathematicum
1 Formal Aspects of Computing
1 Differential Geometry and its Applications
1 Games and Economic Behavior
1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
1 Filomat
1 Constraints
1 Topoi
1 Soft Computing
1 Journal of the European Mathematical Society (JEMS)
1 Journal of High Energy Physics
1 Algebraic & Geometric Topology
1 International Studies in the Philosophy of Science
1 Journal of the Australian Mathematical Society
1 Central European Journal of Mathematics
1 ACM Transactions on Computational Logic
1 Journal of Algebra and its Applications
1 Thai Journal of Mathematics
1 International Journal of Quantum Information
1 Mediterranean Journal of Mathematics
1 The Journal of Prime Research in Mathematics
1 Journal of Homotopy and Related Structures
1 Operators and Matrices
...and 11 more Serials
all top 5

Cited in 40 Fields

308 Mathematical logic and foundations (03-XX)
209 Category theory; homological algebra (18-XX)
117 Computer science (68-XX)
85 Algebraic topology (55-XX)
51 General and overarching topics; collections (00-XX)
33 History and biography (01-XX)
30 Order, lattices, ordered algebraic structures (06-XX)
25 Quantum theory (81-XX)
14 Group theory and generalizations (20-XX)
13 Combinatorics (05-XX)
13 General topology (54-XX)
12 Functional analysis (46-XX)
11 General algebraic systems (08-XX)
11 Algebraic geometry (14-XX)
8 Associative rings and algebras (16-XX)
7 Geometry (51-XX)
7 Relativity and gravitational theory (83-XX)
6 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
5 Convex and discrete geometry (52-XX)
5 Differential geometry (53-XX)
3 Number theory (11-XX)
3 Real functions (26-XX)
3 Global analysis, analysis on manifolds (58-XX)
3 Probability theory and stochastic processes (60-XX)
3 Mechanics of particles and systems (70-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Operations research, mathematical programming (90-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Topological groups, Lie groups (22-XX)
1 Measure and integration (28-XX)
1 Functions of a complex variable (30-XX)
1 Abstract harmonic analysis (43-XX)
1 Operator theory (47-XX)
1 Manifolds and cell complexes (57-XX)
1 Numerical analysis (65-XX)
1 Systems theory; control (93-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.