Kapulkin, Krzysztof; Voevodsky, Vladimir A cubical approach to straightening. (English) Zbl 1470.18028 J. Topol. 13, No. 4, 1682-1700 (2020). Reviewer: Ittay Weiss (Portsmouth) MSC: 18N50 18F20 55U35 55U40 PDFBibTeX XMLCite \textit{K. Kapulkin} and \textit{V. Voevodsky}, J. Topol. 13, No. 4, 1682--1700 (2020; Zbl 1470.18028) Full Text: DOI
Ahrens, Benedikt; Lumsdaine, Peter Lefanu; Voevodsky, Vladimir Categorical structures for type theory in univalent foundations. (English) Zbl 1496.03053 Log. Methods Comput. Sci. 14, No. 3, Paper No. 18, 18 p. (2018). MSC: 03B38 03F50 18C50 03B70 55U40 68V15 PDFBibTeX XMLCite \textit{B. Ahrens} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 18, 18 p. (2018; Zbl 1496.03053) Full Text: DOI arXiv
Ahrens, Benedikt; Lumsdaine, Peter LeFanu; Voevodsky, Vladimir Categorical structures for type theory in univalent foundations. (English) Zbl 1528.03100 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 8, 16 p. (2017). MSC: 03B38 03F50 03B70 18C50 55U40 68V15 PDFBibTeX XMLCite \textit{B. Ahrens} et al., LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 8, 16 p. (2017; Zbl 1528.03100) Full Text: DOI
The Univalent Foundations Program [Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten; Awodey, Steve; Barras, Bruno; Bauer, Andrej; Bertot, Yves; Bezem, Marc; Coquand, Thierry; Finster, Eric; Grayson, Daniel; Herbelin, Hugo; Joyal, Andre; Licata, Dan; Lumsdaine, Peter; Mahboubi, Assia; Martin-Lof, Per; Melikhov, Sergey; Pelayo, Alvaro; Polonsky, Andrew; Shulman, Michael; Sozeau, Matthieu; Spitters, Bas; van den Berg, Benno; Voevodsky, Vladimir; Warren, Michael; Zeilberger, Noam; Angiuli, Carlo; Bordg, Anthony; Brunerie, Guillaume; Kapulkin, Chris; Rijke, Egbert; Sojakova, Kristina; Avigad, Jeremy; Cohen, Cyril; Constable, Robert; Curien, Pierre-Louis; Dybjer, Peter; Escardo, Martín; Hou, Kuen-Bang; Gambino, Nicola; Garner, Richard; Gonthier, Georges; Hales, Thomas; Harper, Robert; Hofmann, Martin; Hofstra, Pieter; Kock, Joachim; Kraus, Nicolai; Li, Nuo; Luo, Zhaohui; Nahas, Michael; Palmgren, Erik; Riehl, Emily; Scott, Dana; Scott, Philip; Soloviev, Sergei] Homotopy type theory. Univalent foundations of mathematics. (English) Zbl 1298.03002 Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press. ix, 468 p. (2013). Reviewer: Marco Benini (Buccinasco) MSC: 03-02 55-02 03B15 03G30 18A15 18B05 55U40 PDFBibTeX XMLCite \textit{The Univalent Foundations Program}, Homotopy type theory. Univalent foundations of mathematics. Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press (2013; Zbl 1298.03002) Full Text: arXiv Link
Kapulkin, Chris; Lumsdaine, Peter LeFanu; Voevodsky, Vladimir Univalence in Simplicial Sets. arXiv:1203.2553 Preprint, arXiv:1203.2553 [math.AT] (2012). MSC: 55U10 55U35 BibTeX Cite \textit{C. Kapulkin} et al., ``Univalence in Simplicial Sets'', Preprint, arXiv:1203.2553 [math.AT] (2012) Full Text: arXiv OA License
Awodey, Steve (ed.); Garner, Richard (ed.); Martin-Löf, Per (ed.); Voevodsky, Vladimir (ed.) Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. (English) Zbl 1242.00037 Oberwolfach Rep. 8, No. 1, 609-638 (2011). MSC: 00B05 03-06 55-06 03B15 55Pxx PDFBibTeX XMLCite \textit{S. Awodey} (ed.) et al., Oberwolfach Rep. 8, No. 1, 609--638 (2011; Zbl 1242.00037) Full Text: DOI
Voevodsky, Vladimir Univalent semantics of constructive type theories. (English) Zbl 1250.03121 Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 70 (2011). MSC: 03F50 03B15 55U40 68T15 PDFBibTeX XMLCite \textit{V. Voevodsky}, Lect. Notes Comput. Sci. 7086, 70 (2011; Zbl 1250.03121) Full Text: DOI
Voevodsky, Vladimir On motivic cohomology with \(\mathbb{Z}/l\)-coefficients. (English) Zbl 1236.14026 Ann. Math. (2) 174, No. 1, 401-438 (2011). Reviewer: Claudio Pedrini (Genova) MSC: 14F42 PDFBibTeX XMLCite \textit{V. Voevodsky}, Ann. Math. (2) 174, No. 1, 401--438 (2011; Zbl 1236.14026) Full Text: DOI arXiv
Voevodsky, Vladimir Univalent foundations of mathematics. (English) Zbl 1371.03097 Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 4 (2011). MSC: 03F50 03B15 55U35 55U40 68T15 PDFBibTeX XMLCite \textit{V. Voevodsky}, Lect. Notes Comput. Sci. 6642, 4 (2011; Zbl 1371.03097) Full Text: DOI
Voevodsky, Vladimir Cancellation theorem. (English) Zbl 1202.14022 Doc. Math. Extra Vol., Andrei A. Suslin’s Sixtieth Birthday, 671-685 (2010). MSC: 14F42 19E15 PDFBibTeX XMLCite \textit{V. Voevodsky}, Doc. Math. Extra Vol., 671--685 (2010; Zbl 1202.14022) Full Text: arXiv EuDML EMIS
Voevodsky, Vladimir Simplicial radditive functors. (English) Zbl 1194.55021 J. \(K\)-Theory 5, No. 2, 201-244 (2010). Reviewer: Friedrich Wilhelm Bauer (Frankfurt a. M.) MSC: 55U35 18G55 PDFBibTeX XMLCite \textit{V. Voevodsky}, J. \(K\)-Theory 5, No. 2, 201--244 (2010; Zbl 1194.55021) Full Text: DOI arXiv
Voevodsky, Vladimir Motives over simplicial schemes. (English) Zbl 1194.14029 J. \(K\)-Theory 5, No. 1, 1-38 (2010). Reviewer: Piotr Krasoń (Szczecin) MSC: 14F42 19E15 14C15 PDFBibTeX XMLCite \textit{V. Voevodsky}, J. \(K\)-Theory 5, No. 1, 1--38 (2010; Zbl 1194.14029) Full Text: DOI arXiv
Voevodsky, Vladimir Unstable motivic homotopy categories in Nisnevich and cdh-topologies. (English) Zbl 1187.14025 J. Pure Appl. Algebra 214, No. 8, 1399-1406 (2010). Reviewer: Oliver Petras (Bonn) MSC: 14F42 PDFBibTeX XMLCite \textit{V. Voevodsky}, J. Pure Appl. Algebra 214, No. 8, 1399--1406 (2010; Zbl 1187.14025) Full Text: DOI arXiv
Voevodsky, Vladimir Homotopy theory of simplicial sheaves in completely decomposable topologies. (English) Zbl 1194.55020 J. Pure Appl. Algebra 214, No. 8, 1384-1398 (2010). Reviewer: J. Remedios (La Laguna) MSC: 55U35 18F20 54B40 PDFBibTeX XMLCite \textit{V. Voevodsky}, J. Pure Appl. Algebra 214, No. 8, 1384--1398 (2010; Zbl 1194.55020) Full Text: DOI arXiv
Voevodsky, Vladimir Lectures on motivic cohomology 2000/2001 (written by Pierre Deligne). arXiv:0805.4436 Preprint, arXiv:0805.4436 [math.AG] (2008). MSC: 14F42 BibTeX Cite \textit{V. Voevodsky}, ``Lectures on motivic cohomology 2000/2001 (written by Pierre Deligne)'', Preprint, arXiv:0805.4436 [math.AG] (2008) Full Text: arXiv OA License
Orlov, D.; Vishik, A.; Voevodsky, V. An exact sequence for \(K^M_*/2\) with applications to quadratic forms. (English) Zbl 1124.14017 Ann. Math. (2) 165, No. 1, 1-13 (2007). Reviewer: Werner Kleinert (Berlin) MSC: 14C35 14F42 19D45 11E04 11E70 13K05 PDFBibTeX XMLCite \textit{D. Orlov} et al., Ann. Math. (2) 165, No. 1, 1--13 (2007; Zbl 1124.14017) Full Text: DOI arXiv
Dundas, Bjørn Ian; Levine, Marc; Østvær, Paul Arne; Röndigs, Oliver; Voevodsky, V. Motivic homotopy theory. Lectures at a summer school in Nordfjordeid, Norway, August 2002. (English) Zbl 1118.14001 Universitext. Berlin: Springer (ISBN 978-3-540-45895-1/pbk). x, 220 p. (2007). Reviewer: Kirill Zainoulline (München) MSC: 14-01 18-01 55-01 19-01 14F42 55P42 18E30 PDFBibTeX XMLCite \textit{B. I. Dundas} et al., Motivic homotopy theory. Lectures at a summer school in Nordfjordeid, Norway, August 2002. Berlin: Springer (2007; Zbl 1118.14001)
Mazza, Carlo; Voevodsky, Vladimir; Weibel, Charles Lecture notes on motivic cohomology. (English) Zbl 1115.14010 Clay Mathematics Monographs 2. Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute (ISBN 0-8218-3847-4/hbk). xiv, 216 p. (2006). Reviewer: Claudio Pedrini (Genova) MSC: 14F42 19E15 14C25 14-01 14F20 PDFBibTeX XMLCite \textit{C. Mazza} et al., Lecture notes on motivic cohomology. Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute (2006; Zbl 1115.14010)
Voevodsky, V. On the zero slice of the sphere spectrum. (English) Zbl 1182.14012 Proc. Steklov Inst. Math. 246, 93-102 (2004) and Tr. Mat. Inst. Steklova 246, 106-115 (2004). MSC: 14F42 55P42 PDFBibTeX XMLCite \textit{V. Voevodsky}, in: Algebraic geometry. Methods, relations, and applications. Collected papers. Dedicated to the memory of Andrei Nikolaevich Tyurin. Moscow: Maik Nauka/Interperiodica. 93--102 (2004; Zbl 1182.14012) Full Text: arXiv MNR
Voevodsky, Vladimir Motivic cohomology with \(\mathbb Z/2\)-coefficients. (English) Zbl 1057.14028 Publ. Math., Inst. Hautes Étud. Sci. 98, 59-104 (2003). Reviewer: Werner Kleinert (Berlin) MSC: 14F42 19E15 55S10 PDFBibTeX XMLCite \textit{V. Voevodsky}, Publ. Math., Inst. Hautes Étud. Sci. 98, 59--104 (2003; Zbl 1057.14028) Full Text: DOI Numdam EuDML
Voevodsky, Vladimir Reduced power operations in motivic cohomology. (English) Zbl 1057.14027 Publ. Math., Inst. Hautes Étud. Sci. 98, 1-57 (2003). Reviewer: Werner Kleinert (Berlin) MSC: 14F42 19E15 55S10 55S05 14F05 14F45 PDFBibTeX XMLCite \textit{V. Voevodsky}, Publ. Math., Inst. Hautes Étud. Sci. 98, 1--57 (2003; Zbl 1057.14027) Full Text: DOI arXiv Numdam EuDML
Voevodsky, Vladimir Open problems in the motivic stable homotopy theory. I. (English) Zbl 1047.14012 Bogomolov, Fedor (ed.) et al., Motives, polylogarithms and Hodge theory. Part I: Motives and polylogarithms. Papers from the International Press conference, Irvine, CA, USA, June 1998. Somerville, MA: International Press (ISBN 1-57146-090-X). Int. Press Lect. Ser. 3, No. I, 3-34 (2002). Reviewer: Werner Kleinert (Berlin) MSC: 14F42 14F35 14F25 19E15 19D45 18G55 PDFBibTeX XMLCite \textit{V. Voevodsky}, Int. Press Lect. Ser. 3, 3--34 (2002; Zbl 1047.14012)
Voevodsky, Vladimir A possible new approach to the motivic spectral sequence for algebraic \(K\)-theory. (English) Zbl 1009.19003 Davis, Donald M. (ed.) et al., Recent progress in homotopy theory. Proceedings of a conference, Baltimore, MD, USA, March 17-27, 2000. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 293, 371-379 (2002). Reviewer: Rick Jardine (London, Ontario) MSC: 19E15 55P42 PDFBibTeX XMLCite \textit{V. Voevodsky}, Contemp. Math. 293, 371--379 (2002; Zbl 1009.19003)
Voevodsky, Vladimir Motivic cohomology groups are isomorphic to higher Chow groups in any characteristic. (English) Zbl 1057.14026 Int. Math. Res. Not. 2002, No. 7, 351-355 (2002). Reviewer: Werner Kleinert (Berlin) MSC: 14F42 14C15 19E15 PDFBibTeX XMLCite \textit{V. Voevodsky}, Int. Math. Res. Not. 2002, No. 7, 351--355 (2002; Zbl 1057.14026) Full Text: DOI
Voevodsky, Vladimir Triangulated categories of motives over a field. (English) Zbl 1019.14009 Voevodsky, Vladimir et al., Cycles, transfers, and motivic homology theories. Princeton, NJ: Princeton University Press. Ann. Math. Stud. 143, 188-238 (2000). Reviewer: Werner Kleinert (Berlin) MSC: 14F42 14F43 18E30 PDFBibTeX XMLCite \textit{V. Voevodsky}, Ann. Math. Stud. 143, 188--238 (2000; Zbl 1019.14009)
Friedlander, Eric M.; Voevodsky, Vladimir Bivariant cycle cohomology. (English) Zbl 1019.14011 Voevodsky, Vladimir et al., Cycles, transfers, and motivic homology theories. Princeton, NJ: Princeton University Press. Ann. Math. Stud. 143, 138-187 (2000). Reviewer: Werner Kleinert (Berlin) MSC: 14F43 14F42 14C15 14C25 PDFBibTeX XMLCite \textit{E. M. Friedlander} and \textit{V. Voevodsky}, Ann. Math. Stud. 143, 138--187 (2000; Zbl 1019.14011)
Voevodsky, Vladimir Cohomological theory of presheaves with transfers. (English) Zbl 1019.14010 Voevodsky, Vladimir et al., Cycles, transfers, and motivic homology theories. Princeton, NJ: Princeton University Press. Ann. Math. Stud. 143, 87-137 (2000). Reviewer: Werner Kleinert (Berlin) MSC: 14F43 18C10 18F20 55N35 14F42 PDFBibTeX XMLCite \textit{V. Voevodsky}, Ann. Math. Stud. 143, 87--137 (2000; Zbl 1019.14010)
Friedlander, Eric M.; Suslin, A.; Voevodsky, V. Introduction. (English) Zbl 1019.14008 Voevodsky, Vladimir et al., Cycles, transfers, and motivic homology theories. Princeton, NJ: Princeton University Press. Ann. Math. Stud. 143, 3-9 (2000). Reviewer: Werner Kleinert (Berlin) MSC: 14F42 14C25 14C35 PDFBibTeX XMLCite \textit{E. M. Friedlander} et al., Ann. Math. Stud. 143, 3--9 (2000; Zbl 1019.14008)
Suslin, Andrei; Voevodsky, Vladimir Bloch-Kato conjecture and motivic cohomology with finite coefficients. (English) Zbl 1005.19001 Gordon, B. Brent (ed.) et al., The arithmetic and geometry of algebraic cycles. Proceedings of the NATO Advanced Study Institute, Banff, Canada, June 7-19, 1998. Vol. 1. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 548, 117-189 (2000). Reviewer: Piotr Krasoń (Szczecin) MSC: 19E15 14F42 14C35 PDFBibTeX XMLCite \textit{A. Suslin} and \textit{V. Voevodsky}, NATO ASI Ser., Ser. C, Math. Phys. Sci. 548, 117--189 (2000; Zbl 1005.19001)
Voevodsky, Vladimir; Suslin, Andrei; Friedlander, Eric M. Cycles, transfers, and motivic homology theories. (English) Zbl 1021.14006 Annals of Mathematics Studies. 143. Princeton, NJ: Princeton University Press. v, 254 p. (2000). Reviewer: Werner Kleinert (Berlin) MSC: 14F42 14-02 14C25 14C35 PDFBibTeX XMLCite \textit{V. Voevodsky} et al., Cycles, transfers, and motivic homology theories. Princeton, NJ: Princeton University Press (2000; Zbl 1021.14006) Full Text: DOI
Morel, Fabien; Voevodsky, Vladimir \(\mathbb{A}^1\)-homotopy theory of schemes. (English) Zbl 0983.14007 Publ. Math., Inst. Hautes Étud. Sci. 90, 45-143 (1999). Reviewer: Corina Mohorianu (Iaşi) MSC: 14F35 55P43 18G55 PDFBibTeX XMLCite \textit{F. Morel} and \textit{V. Voevodsky}, Publ. Math., Inst. Hautes Étud. Sci. 90, 45--143 (1999; Zbl 0983.14007) Full Text: DOI Numdam EuDML Backlinks: MO MO
Voevodsky, V. Weibel, C. (ed.) Voevodsky’s Seattle lectures: \(K\)-theory and motivic cohomology. (Notes by C. Weibel). (English) Zbl 0941.19001 Raskind, Wayne (ed.) et al., Algebraic \(K\)-theory. Proceedings of an AMS-IMS-SIAM summer research conference, Seattle, WA, USA, July 13-24, 1997. Providence, RI: American Mathematical Society. Proc. Symp. Pure Math. 67, 283-303 (1999). MSC: 19-02 14F42 14C35 19E20 19D55 PDFBibTeX XMLCite \textit{V. Voevodsky} and \textit{C. Weibel} (ed.), Proc. Symp. Pure Math. 67, 283--303 (1999; Zbl 0941.19001)
Voevodsky, Vladimir \(\mathbb{A}^1\)-homotopy theory. (English) Zbl 0907.19002 Doc. Math., Extra Vol. ICM Berlin 1998, vol. I, 579-604 (1998). Reviewer: Bjørn Dundas (Trondheim) MSC: 19E15 55P42 14F20 18G55 14C35 PDFBibTeX XMLCite \textit{V. Voevodsky}, Doc. Math. Extra Vol., 579--604 (1998; Zbl 0907.19002) Full Text: EMIS
Kapranov, M. M.; Voevodskij, V. A. \(\infty\)-groupoids and homotopy types. (English) Zbl 0754.18008 Cah. Topologie Géom. Différ. Catég. 32, No. 1, 29-46 (1991). MSC: 18G30 18D05 55U35 PDFBibTeX XMLCite \textit{M. M. Kapranov} and \textit{V. A. Voevodskij}, Cah. Topologie Géom. Différ. Catégoriques 32, No. 1, 29--46 (1991; Zbl 0754.18008) Full Text: Numdam EuDML
Voevodskij, V. A.; Kapranov, M. M. \(\infty\)-groupoids as a model for a homotopy category. (English. Russian original) Zbl 0721.55015 Russ. Math. Surv. 45, No. 5, 239-240 (1990); translation from Usp. Mat. Nauk 45, No. 5(275), 183-184 (1990). Reviewer: I.Pop (Iaşi) MSC: 55U35 18G35 18B40 PDFBibTeX XMLCite \textit{V. A. Voevodskij} and \textit{M. M. Kapranov}, Russ. Math. Surv. 45, No. 5, 239--240 (1990; Zbl 0721.55015); translation from Usp. Mat. Nauk 45, No. 5(275), 183--184 (1990) Full Text: DOI