Concepedia

Krzysztof Kapulkin

KK

9

Publications

328

Citations

9

H-Index

2012

Active since

Affiliations

Western University(Current)

Institute for Advanced Study

University of Pittsburgh

Krzysztof Kapulkin is an author at Western University specializing in natural sciences, architectural design, and graph theory.

Top concepts

Natural SciencesGeometryGraph TheoryGeometry ModelingGeometry ProcessingMultiscale ModelingArchitectural DesignComputer-aided DesignComputational GeometryMathematical Foundations

Publications per year

2012–2023

9

Publications

9

THE SIMPLICIAL MODEL OF UNIVALENT FOUNDATIONS

Krzysztof Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky · arXiv (Cornell University) · 2014 · 76 citations · Full text

Architectural Design, Univalence Axiom, Natural Sciences +10

Univalent categories and the Rezk completion

Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman · Mathematical Structures in Computer Science · 2015 · 74 citations · Full text

Rezk Completion, Univalence Axiom, Type Theory +6

The simplicial model of Univalent Foundations (after Voevodsky)

Krzysztof Kapulkin, Peter LeFanu Lumsdaine · Journal of the European Mathematical Society · 2021 · 74 citations · Full text

Type Theory, Higher Category Theory, Univalent Type Theory +7

Homotopy limits in type theory

Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine · 2018 · 27 citations · Full text

Coq Proof Assistant, Homotopy Limits, Graph Theory +6

The homotopy theory of type theories

Krzysztof Kapulkin, Peter LeFanu Lumsdaine · Advances in Mathematics · 2018 · 21 citations

Type Theory, Higher Category Theory, Homotopy Theory +1

Rows per page

1–5 of 9