Steve Awodey - PDFSEARCH.IO - Document Search Engine

Steve Awodey
Results: 20

#	Item
1	A proposition is the (homotopy) type of its proofs Steve Awodey∗ January 8, 2016 There are, at first blush, two kinds Add to Reading List Source URL: www.andrew.cmu.edu - Date: 2018-02-12 22:13:01
2	Univalence as a Principle of Logic Steve Awodey October 2016 Abstract It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundat Add to Reading List Source URL: www.andrew.cmu.edu - Date: 2018-02-12 22:13:01
3	A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c Add to Reading List Source URL: www.andrew.cmu.edu - Date: 2018-02-12 22:13:01
4	Notes on Algebraic Set Theory Steve Awodey Haute-Bodeux, June 2005 Add to Reading List Source URL: www.phil.cmu.edu Language: English - Date: 2014-01-17 11:57:24
5	Algebraic models of sets and classes in categories of ideals Steve Awodey and Henrik Forssell and Michael A. Warren May 31, 2006 Revised: November 2006 Add to Reading List Source URL: www.phil.cmu.edu Language: English - Date: 2014-01-17 11:57:24
6	Homotopy-initial W-types Nicola Gambino University of Palermo Joint work with Steve Awodey and Kristina Sojakova Manchester, Logic Colloquium 2012 Add to Reading List Source URL: www.cl.eps.manchester.ac.uk Language: English - Date: 2014-06-13 10:48:35
7	Propositions as [Types] Steve Awodey∗ Andrej Bauer† Institut Mittag-Leffler Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:17:44 Proof theory Deduction Algebraic topology Curry–Howard correspondence Philosophy of computer science Type theory Entailment Sheaf Natural deduction Logic Abstract algebra Mathematics
8	Academic Report / “Sachbericht” ([removed]–[removed]Hannes Leitgeb, April 23rd 2013 The Munich Center for Mathematical Philosophy (MCMP) enjoyed another lovely and exciting year[removed]From October 2012, Stephan Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English Mathematics Deontic logic Formal epistemology Steve Awodey Norm Modal fictionalism Linguistic modality Formal ethics Homotopy type theory Logic Mathematical logic Modal logic
9	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
10	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology

UPDATE