Krzysztof Kapulkin

Available identifiers

zbMath Open kapulkin.krzysztofMaRDI QIDQ1785777

List of research outcomes

Publication	Date of Publication	Type
Homotopy groups of cubical sets	2024-02-05	Paper
The Hurewicz theorem for cubical homology	2023-11-17	Paper
Synthetic approach to the Quillen model structure on topological spaces	2023-10-22	Paper
Nonexistence of colimits in naive discrete homotopy theory	2023-10-18	Paper
Extensional concepts in intensional type theory, revisited	2023-10-09	Paper
Closed symmetric monoidal structures on the category of graphs	2023-09-30	Paper
Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories	2023-06-03	Paper
Calculus of Fractions for Quasicategories	2023-06-03	Paper
The fundamental group(oid) in discrete homotopy theory	2023-03-10	Paper
Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories	2023-03-02	Paper
Cubical setting for discrete homotopy theory, revisited	2022-02-07	Paper
Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories	2021-06-17	Paper
The simplicial model of univalent foundations (after Voevodsky)	2021-06-10	Paper
A cubical approach to straightening	2021-02-17	Paper
Homotopical inverse diagrams in categories with attributes	2020-10-22	Paper
2-adjoint equivalences in homotopy type theory	2020-08-27	Paper
A cubical model for $(\infty, n)$-categories	2020-05-15	Paper
Cubical models of $(\infty, 1)$-categories	2020-05-10	Paper
Threshold properties of prime power subgroups with application to secure integer comparisons	2020-01-21	Paper
A co-reflection of cubical sets into simplicial sets with applications to model structures	2019-10-17	Paper
Internal languages of finitely complete \((\infty , 1)\)-categories	2019-05-17	Paper
The homotopy theory of type theories	2018-10-01	Paper
Locally cartesian closed quasi‐categories from type theory	2018-01-19	Paper
Quasicategories of frames of cofibration categories	2017-08-10	Paper
Univalent categories and the Rezk completion	2016-07-27	Paper
Homotopy limits in type theory	2016-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q5419889	2014-06-11	Paper
Univalence in Simplicial Sets	2012-03-12	Paper
Homotopy-Theoretic Models of Type Theory	2011-06-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Krzysztof Kapulkin