Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles by
Steve Awodey
The equivariant model structure on cartesian cubical sets
26 June 2024 by
Steve Awodey
and
others
Algebraic Topology
,
Logic in Computer Science
Kripke-Joyal forcing for type theory and uniform fibrations
8 May 2024 by
S. Awodey
and
others
Logic
,
Category Theory
Cartesian cubical model categories
14 July 2023 by
Steve Awodey
Category Theory
,
Algebraic Topology
On Hofmann-Streicher universes
15 December 2022 by
Steve Awodey
Category Theory
,
Logic
Sheaf Representations and Duality in Logic
24 January 2020 by
Steve Awodey
Logic
,
Category Theory
Impredicative Encodings of (Higher) Inductive Types
8 February 2018 by
Steve Awodey
and
others
Logic in Computer Science
,
Category Theory
Polynomial pseudomonads and dependent type theory
3 February 2018 by
Steve Awodey
and
Clive Newstead
Category Theory
,
Logic
A proposition is the (homotopy) type of its proofs
8 January 2017 by
Steve Awodey
Logic
,
Category Theory
A cubical model of homotopy type theory
21 July 2016 by
Steve Awodey
Category Theory
,
Logic
Homotopy-initial algebras in type theory
21 April 2015 by
Steve Awodey
and
others
Logic
,
Category Theory
Natural models of homotopy type theory
19 March 2015 by
Steve Awodey
Category Theory
,
Logic
Topos Semantics for Higher-Order Modal Logic
28 February 2014 by
Steve Awodey
and
others
Logic
,
Category Theory
First-Order Logical Duality
28 June 2013 by
Steve Awodey
and
Henrik Forssell
Logic
,
Category Theory
Voevodsky's Univalence Axiom in homotopy type theory
19 February 2013 by
Steve Awodey
and
others
History and Overview
,
Logic
Martin-Löf Complexes
24 May 2012 by
Steve Awodey
and
others
Logic
,
Category Theory
Inductive types in homotopy type theory
2 May 2012 by
Steve Awodey
and
others
Logic
,
Logic in Computer Science
Kripke Semantics for Martin-Löf's Extensional Type Theory
26 September 2011 by
Steve Awodey
and
Florian Rabe
at
Carnegie Mellon University
Logic in Computer Science
,
Category Theory
Type theory and homotopy
9 October 2010 by
Steve Awodey
Category Theory
,
Logic
A general construction of internal sheaves in algebraic set theory
11 November 2007 by
Steve Awodey
and
others
Logic
,
Category Theory
Homotopy theoretic models of identity types
3 September 2007 by
Steve Awodey
and
Michael Warren
Logic
,
Algebraic Topology
Topological Completeness for Higher-Order Logic
24 July 1997 by
Steve Awodey
and
Carsten Butz
Logic
,
Category Theory