Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Krzysztof Kapulkin"'
Publikováno v:
Journal of the European Mathematical Society. 23:2071-2126
Publikováno v:
Advances in Mathematics. 416:108902
Autor:
Krzysztof Kapulkin, Vladimir Voevodsky
Publikováno v:
Journal of Topology. 13:1682-1700
View the abstract.
Publikováno v:
Advances in Mathematics. 337:1-38
We construct a left semi-model structure on the category of intensional type theories (precisely, on CxlCat_{Id,1,Σ(,Πext)}). This presents an infinity-category of such type theories; we show moreo ...
Autor:
Krzysztof Kapulkin
Publikováno v:
Journal of Topology. 10:1029-1049
We prove that the quasicategories arising from models of Martin-L\"of type theory via simplicial localization are locally cartesian closed.
Comment: 21 pages; to appear in J. Topology
Comment: 21 pages; to appear in J. Topology
Publikováno v:
Journal of Pure and Applied Algebra. 225:106563
We define and develop the infrastructure of homotopical inverse diagrams in categories with attributes. Specifically, given a category with attributes C and an ordered homotopical inverse category I , we construct the category with attributes C I of
Autor:
Krzysztof Kapulkin, Karol Szumiło
Publikováno v:
Applied Categorical Structures. 25:323-347
We show that the quasicategory of frames of a cofibration category, introduced by the second-named author, is equivalent to its simplicial localization.
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319769523
CT-RSA
CT-RSA
We present a semantically secure somewhat homomorphic public-key cryptosystem working in sub-groups of \(\mathbb {Z}_{n}^{*}\) of prime power order. Our scheme introduces a novel threshold homomorphic property, which we use to build a two-party proto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19fa890e887bea1310fd5bb0b1c3e91f
https://doi.org/10.1007/978-3-319-76953-0_8
https://doi.org/10.1007/978-3-319-76953-0_8
Publikováno v:
Trends in Mathematics ISBN: 9783319212838
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e87abda8c99c6a89e26178f01a16c7df
https://doi.org/10.1007/978-3-319-21284-5_14
https://doi.org/10.1007/978-3-319-21284-5_14