Christian Sattler

Mathematical Physics · with Gambino · 2015

A researcher in the Science corpus: 1 paper; trusts 7 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Mathematical Physics — 13 citations into it
• Geometry and Topology — 10 citations into it
• Algebra and Number Theory — 5 citations into it

Whom Christian Sattler trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. M. Warren
2. Denis-Charles Cisinski
3. S. Awodey
4. Peter LeFanu Lumsdaine
5. Michael Shulman

Papers from Christian Sattler's perspective

Ordered by how strongly the researchers Christian Sattler trusts endorse each paper. Same corpus, a different order for every researcher.

1. Homotopy Theoretic Aspects of Constructive Type Theory
2. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)
3. THE SIMPLICIAL MODEL OF UNIVALENT FOUNDATIONS
4. The simplicial model of Univalent Foundations (after Voevodsky) (Journal of the European Mathematical Society (Print))
5. Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom (Types for Proofs and Programs)
6. Types are weak ω‐groupoids
7. The univalence axiom for elegant Reedy presheaves
8. On an extension of the notion of Reedy category
9. Polynomial functors and polynomial monads (Mathematical Proceedings of the Cambridge Philosophical Society)
10. Les préfaisceaux comme modèles des types d'homotopie (Astérisque)

Their papers

• The Frobenius condition, right properness, and uniform fibrations (2015) — 54 citations