- "equivalence is equality"; this was
later proven by
Benedikt Ahrens,
Krzysztof Kapulkin, and
Michael Shulman. The
first higher-dimensional
models of intensional...
-
theory with
values in Kan
simplicial sets can be
found in a
paper by
Chris Kapulkin,
Peter LeFanu Lumsdaine and
Vladimir Voevodsky.
Univalent models with values...
- (PP) – 24:49 2–0 Anić (Dragović, M. Popović) (SH) – 33:59 3–0 3–1 34:33 –
Kapulkin (Khubashvili) (PP) Vučurević (Subotić, Racić) – 47:20 4–1 Racić (M. Mladenović...
- (2005-05-23) 23 May 2005 (age 19)
Rishon Devils U20 [cs; de; fr; he; ru] 3
Ariel Kapulkin R 176 cm 77 kg (1998-09-19) 19
September 1998 (age 26) HC Tel Aviv 22 Maxim...
-
Merkulov (Aharonovich, Mostovoy) – 27:58 1–0
Levin (Halpert, Ignatovich) – 36:00 2–0
Kapulkin (PP) – 46:47 3–0...
- "TRANSNISTRIA: THE PAIN OF OUR MEMORY". ZN, UA.
Retrieved 23
March 2018.
Kapulkin, B. "GVOZDAVKA-2: "RANDOM" CEMETERY" (PDF). THE W****LY
NEWSPAPER OF THE...
- (Eaden, Henderson) Sp****r (Klein) (SH) – 18:24 1–3 1–4 27:34 –
Ratcliffe (Eaden, Craig) (PP) 1–5 36:41 – Heyd (Ratcliffe) Sp****r (
Kapulkin) – 44:56 2–5...
- 3–1 41:02 –
Orongan (Kristveigarson, G. Arason)
Mostovoy (Aharonovich,
Kapulkin) – 43:22 4–1
Revniaga (Aharonovich) (PP) – 48:44 5–1 5–2 51:35 – Kristveigarson...
-
circle in
homotopy type theory.
January 15, 2013.
Benedikt Ahrens,
Chris Kapulkin, and
Michael Shulman;
Univalent categories and the Rezk completion. March...
- Bat Yam
Icebergs 16 Ori
Kafri D 13
March 1997 Kfar Saba
Horses 22
Ariel Kapulkin F 19
September 1998 CIH
Academy Rockland 3 Amit
Lazmi D 21
December 1996...
