BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Steve Awodey
SearchCollections
Map detail
Steve Awodey11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSteve AwodeyASteve AwodeyResearcherSheaf Representations and Duality in LogicWSheaf Representations a...preprint / 2020Path Types in Algebraic Type TheoryWPath Types in Algebraic...preprint / 2026Toward the effective 2-toposWToward the effective 2-...preprint / 2025Type theory and homotopyWType theory and homotopypreprint / 2010Martin-Löf ComplexesWMartin-Löf Complexespreprint / 2012Voevodsky's Univalence Axiom in homotopy type theoryWVoevodsky's Univalence ...preprint / 2013First-Order Logical DualityWFirst-Order Logical Dua...preprint / 2013Lawvere-Tierney sheaves in algebraic set theoryWLawvere-Tierney sheaves...preprint / 2008Homotopy-initial algebras in type theoryWHomotopy-initial algebr...preprint / 2015A cubical model of homotopy type theoryWA cubical model of homo...preprint / 2016
Person10 links

Steve Awodey

Researcher

PaperSheaf Representations and Duality in LogicAuthorship / preprint / 2020PaperPath Types in Algebraic Type TheoryAuthorship / preprint / 2026PaperToward the effective 2-toposAuthorship / preprint / 2025PaperType theory and homotopyAuthorship / preprint / 2010PaperMartin-Löf ComplexesAuthorship / preprint / 2012PaperVoevodsky's Univalence Axiom in homotopy type theoryAuthorship / preprint / 2013PaperFirst-Order Logical DualityAuthorship / preprint / 2013PaperLawvere-Tierney sheaves in algebraic set theoryAuthorship / preprint / 2008

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)