Higher Structures in Homotopy Type Theory

In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

original Buchholtz, Ulrik (2019) "Higher Structures in Homotopy Type Theory". In Centrone, Stefania, Kant, Deborah, Sarikaya, Deniz, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, pp. 151-172: Springer Verlag (2019)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,576

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Formalising Mathematics in Simple Type Theory.Lawrence Paulson - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Naïve Type Theory.Thorsten Altenkirch - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Univalent Foundations and the Equivalence Principle.Paige North & Benedikt Ahrens - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Does Mathematics Need Foundations?Roy Wagner - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
From the Foundations of Mathematics to Mathematical Pluralism.Graham Priest - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Introduction.Stefania Centrone - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
How to Choose New Axioms for Set Theory?Laura Fontanella - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.

Analytics

Added to PP
n/a

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Ulrik Buchholtz
Nottingham University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references