The Univalence Axiom

Update: 2019-04-18

Description

Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philosophical.

Comments

Top Podcasts

The Best New Comedy Podcast Right Now – June 2024 The Best News Podcast Right Now – June 2024 The Best New Business Podcast Right Now – June 2024 The Best New Sports Podcast Right Now – June 2024 The Best New True Crime Podcast Right Now – June 2024 The Best New Joe Rogan Experience Podcast Right Now – June 20 The Best New Dan Bongino Show Podcast Right Now – June 20 The Best New Mark Levin Podcast – June 2024

In Channel

Recent metamathematical wonders and the question of arithmetical realism

2019-04-1801:02:16

The Univalence Axiom

2019-04-1856:22

In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.

2019-04-1801:07:17

Learning Experiences, Expected Inaccuracy, and the Value of Knowledge

2019-04-1856:33

Anti-Mathematicism and Formal Philosophy

2019-04-1849:32

Geometrical Roots of Model Theory: Duality and Relative Consistency

2015-07-1401:09:25

A Hypothetical Conception of Mathematics in Practice

2015-06-3057:01

On the Contingency of Predicativism

2015-05-1149:02

A Computational Perspective on Metamathematics

2015-02-1001:02:58

Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields

2015-02-1051:28

Symmetry and Mathematicians' Aesthetic Preferences: a Case Study

2015-01-1644:10

An Aristotelian continuum

2014-12-3146:56

Neuropsychology of numbers

2014-12-2029:41

IF epistemic logic and mathematical knowledge

2014-12-1801:07:16

Natural numbers in philosophy of mathematics and in cognitive science

2014-12-1857:13

On Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures

2014-12-1801:12:59

What are the challenges of Benacerrafs Dilemma? A Reinterpretation

2014-12-1856:23

Discernibility from a countable perspective

2014-12-1832:32

Three ways in which logic might be normative

2014-12-1801:04:17

A useful method for obtaining alternative formulations of the analytical hierarchy

2014-12-1201:14:05

00:00

1.0x

#box-pro-ellipsis-173237500514711{-webkit-line-clamp:2;}The Univalence Axiom

The Univalence Axiom

Steve Awodey (CMU)

The Univalence Axiom