@article {Baez02,
	AUTHOR = {Baez, John C.},
	TITLE = {The octonions},
	JOURNAL = {Bull. Amer. Math. Soc. (N.S.)},
	FJOURNAL = {American Mathematical Society. Bulletin. New Series},
	VOLUME = {39},
	YEAR = {2002},
	NUMBER = {2},
	PAGES = {145--205},
	ISSN = {0273-0979},
	CODEN = {BAMOAD},
	MRCLASS = {17A35 (01A55 01A60 17C40 83A05)},
	MRNUMBER = {1886087},
	MRREVIEWER = {Helena Albuquerque},
	DOI = {10.1090/S0273-0979-01-00934-X},
	URL = {http://dx.doi.org/10.1090/S0273-0979-01-00934-X},
}

@book {Bor94-1,
    AUTHOR = {Borceux, Francis},
     TITLE = {Handbook of categorical algebra. 1},
    SERIES = {Encyclopedia of Mathematics and its Applications},
    VOLUME = {50},
      NOTE = {Basic category theory},
 PUBLISHER = {Cambridge University Press, Cambridge},
      YEAR = {1994},
     PAGES = {xvi+345},
      ISBN = {0-521-44178-1},
   MRCLASS = {18-02 (18Axx)},
  MRNUMBER = {1291599 (96g:18001a)},
MRREVIEWER = {Martin Hyland},
}

@book {Bor94-2,
    AUTHOR = {Borceux, Francis},
     TITLE = {Handbook of categorical algebra. 2},
    SERIES = {Encyclopedia of Mathematics and its Applications},
    VOLUME = {51},
      NOTE = {Categories and structures},
 PUBLISHER = {Cambridge University Press, Cambridge},
      YEAR = {1994},
     PAGES = {xviii+443},
      ISBN = {0-521-44179-X},
   MRCLASS = {18-02 (18Exx)},
  MRNUMBER = {1313497 (96g:18001b)},
MRREVIEWER = {Martin Hyland},
}

@book {Bou-Top1,
	AUTHOR = {Bourbaki, N.},
	TITLE = {\'{E}l\'ements de math\'ematique. {T}opologie g\'en\'erale.
	{C}hapitres 1 \`a 4},
	PUBLISHER = {Hermann, Paris},
	YEAR = {1971},
	PAGES = {xv+357 pp.},
	MRCLASS = {54-XX},
	MRNUMBER = {0358652 (50 \#11111)},
}

@book {Bou-Alg1,
    AUTHOR = {Bourbaki, N.},
     TITLE = {\'{E}l\'ements de math\'ematique. {A}lg\`ebre. {C}hapitres 1
              \`a 3},
 PUBLISHER = {Hermann, Paris},
      YEAR = {1970},
     PAGES = {xiii+635 pp.},
   MRCLASS = {00.00 (13.00)},
  MRNUMBER = {0274237 (43 \#2)},
MRREVIEWER = {P. Samuel},
}

@book {Bou-Alg2,
	AUTHOR = {Bourbaki, Nicolas},
	TITLE = {\'{E}l\'ements de math\'ematique},
	SERIES = {Lecture Notes in Mathematics},
	VOLUME = {864},
	NOTE = {Alg{\`e}bre. Chapitres 4 {\`a} 7.},
	PUBLISHER = {Masson, Paris},
	YEAR = {1981},
	PAGES = {vii+422},
	ISBN = {2-225-68574-6},
	MRCLASS = {00A05 (06F15 12Fxx 13C05)},
	MRNUMBER = {643362 (84d:00002)},
	MRREVIEWER = {Robert Gilmer},
}

@InCollection{BS11,
    Author = {John C. {Baez} and Mike {Stay}},
    Title = {{Physics, topology, logic and computation: a Rosetta Stone.}},
    BookTitle = {{New structures for physics}},
    ISBN = {978-3-642-12820-2/pbk; 978-3-642-12821-9/ebook},
    Pages = {95--172},
    Year = {2011},
    Publisher = {Berlin: Springer},
    Language = {English},
    DOI = {10.1007/978-3-642-12821-9_2},
    MSC2010 = {81P05 81T45 81P45 81P68 03G30 18D15},
    Zbl = {1218.81008},
    note = {\url{http://arxiv.org/abs/0903.0340}}
}

@Article{Cantor95,
    Author = {G. {Cantor}},
    Title = {{Beitrage zur Begr\"undung der transfiniten Mengenlehre. Art. I.}},
    FJournal = {{Mathematische Annalen}},
    Journal = {{Math. Ann.}},
    ISSN = {0025-5831; 1432-1807/e},
    Volume = {46},
    Pages = {481--512},
    Year = {1895},
    Publisher = {Springer-Verlag, Berlin},
    Language = {German},
    DOI = {10.1007/BF02124929},
    Zbl = {26.0081.01}
}

@Book{ChCh,
	title = {微分几何讲义},
	publisher = {北京: 北京大学出版社},
	year = {2001},
	author = {{陈省身, 陈维桓}},
	ISBN = {978-7-301-05151-1},
	note = {第二版}
}

@Book{Co11,
    Editor = {Bob {Coecke}},
    Title = {{New structures for physics.}},
    ISBN = {978-3-642-12820-2},
    Pages = {xviii + 1031},
    Year = {2011},
    Publisher = {Berlin: Springer},
    Language = {English},
    DOI = {10.1007/978-3-642-12821-9},
    MSC2010 = {00B10 00A79 81-06 18-06 03-06},
    Zbl = {1200.00038}
}

@article {De11,
    AUTHOR = {Dehn, M.},
     TITLE = {\"{U}ber unendliche diskontinuierliche {G}ruppen},
   JOURNAL = {Math. Ann.},
  FJOURNAL = {Mathematische Annalen},
    VOLUME = {71},
      YEAR = {1911},
    NUMBER = {1},
     PAGES = {116--144},
      ISSN = {0025-5831},
     CODEN = {MAANA},
   MRCLASS = {Contributed Item},
  MRNUMBER = {1511645},
       DOI = {10.1007/BF01456932},
       URL = {http://dx.doi.org/10.1007/BF01456932},
}

@Book{DN00,
  title = {代数学引论},
  publisher = {北京: 高等教育出版社},
  year = {2000},
  author = {{聂灵沼, 丁石孙}},
  note = {第二版}
}

@book {DW82,
	AUTHOR = {Dedekind, Richard and Weber, Heinrich},
	TITLE = {Theory of algebraic functions of one variable},
	SERIES = {History of Mathematics},
	VOLUME = {39},
	PUBLISHER = {American Mathematical Society, Providence, RI; London
	Mathematical Society, London},
	YEAR = {2012},
	PAGES = {viii+152},
	ISBN = {978-0-8218-8330-3},
	MRCLASS = {01A75 (01A55 01A60 14-03)},
	MRNUMBER = {2962951},
	MRREVIEWER = {Doru {\c{S}}tef{\u{a}}nescu},
}

@book {EGNO15,
	AUTHOR = {Etingof, Pavel and Gelaki, Shlomo and Nikshych, Dmitri and
	Ostrik, Victor},
	TITLE = {Tensor categories},
	SERIES = {Mathematical Surveys and Monographs},
	VOLUME = {205},
	PUBLISHER = {American Mathematical Society, Providence, RI},
	YEAR = {2015},
	PAGES = {xvi+343},
	ISBN = {978-1-4704-2024-6},
	MRCLASS = {18D10 (16T20)},
	MRNUMBER = {3242743},
}

@article {EM45,
    AUTHOR = {Eilenberg, Samuel and MacLane, Saunders},
     TITLE = {General theory of natural equivalences},
   JOURNAL = {Trans. Amer. Math. Soc.},
  FJOURNAL = {Transactions of the American Mathematical Society},
    VOLUME = {58},
      YEAR = {1945},
     PAGES = {231--294},
      ISSN = {0002-9947},
   MRCLASS = {09.1X},
  MRNUMBER = {0013131 (7,109d)},
MRREVIEWER = {P. A. Smith},
}

@book {EP07,
	AUTHOR = {Engler, Antonio J. and Prestel, Alexander},
	TITLE = {Valued fields},
	SERIES = {Springer Monographs in Mathematics},
	PUBLISHER = {Springer-Verlag, Berlin},
	YEAR = {2005},
	PAGES = {x+205},
	ISBN = {978-3-540-24221-5; 3-540-24221-X},
	MRCLASS = {12J20 (12F05 12J10 12J12 12J15)},
	MRNUMBER = {2183496 (2007a:12005)},
	MRREVIEWER = {Niels Schwartz},
}

@article {FT63,
	AUTHOR = {Feit, Walter and Thompson, John G.},
	TITLE = {Solvability of groups of odd order},
	JOURNAL = {Pacific J. Math.},
	FJOURNAL = {Pacific Journal of Mathematics},
	VOLUME = {13},
	YEAR = {1963},
	PAGES = {775--1029},
	ISSN = {0030-8730},
	MRCLASS = {20.40 (20.25)},
	MRNUMBER = {0166261 (29 \#3538)},
	MRREVIEWER = {M. Suzuki},
}

@book{Feng17,
	author = {冯琦},
	title = {数理逻辑导引},
	year = {2017},
	publisher = {北京: 科学出版社},
	isbn = {978-7-03-054579-4}
}


@Book{FL14,
  title = {拓扑群引论},
  publisher = {北京: 科学出版社},
  year = {2014},
  author = {{黎景辉, 冯绪宁}},
  isbn = {978-7-03-039779-9},
  note = {第二版}
}

@article {Go85,
	AUTHOR = {Goldfeld, Dorian},
	TITLE = {Gauss's class number problem for imaginary quadratic fields},
	JOURNAL = {Bull. Amer. Math. Soc. (N.S.)},
	FJOURNAL = {American Mathematical Society. Bulletin. New Series},
	VOLUME = {13},
	YEAR = {1985},
	NUMBER = {1},
	PAGES = {23--37},
	ISSN = {0273-0979},
	CODEN = {BAMOAD},
	MRCLASS = {11R29 (01A55 01A60 11-03 11G05)},
	MRNUMBER = {788386 (86k:11065)},
	MRREVIEWER = {William C. Waterhouse},
	DOI = {10.1090/S0273-0979-1985-15352-2},
	URL = {http://dx.doi.org/10.1090/S0273-0979-1985-15352-2},
}

@article {Gr57,
    AUTHOR = {Grothendieck, Alexander},
     TITLE = {Sur quelques points d'alg\`ebre homologique},
   JOURNAL = {T\^ohoku Math. J. (2)},
  FJOURNAL = {The Tohoku Mathematical Journal. Second Series},
    VOLUME = {9},
      YEAR = {1957},
     PAGES = {119--221},
      ISSN = {0040-8735},
   MRCLASS = {18.00},
  MRNUMBER = {0102537 (21 \#1328)},
MRREVIEWER = {D. Buchsbaum},
}

@article {GM12,
	AUTHOR = {Guralnick, Robert and Malle, Gunter},
	TITLE  = {Products of conjugacy classes and fixed point spaces},
   JOURNAL = {J. Amer. Math. Soc.},
  FJOURNAL = {Journal of the American Mathematical Society},
    VOLUME = {25},
      YEAR = {2012},
    NUMBER = {1},
     PAGES = {77--121},
   MRCLASS = {20D05 (20C20 20E45)},
  MRNUMBER = {2833479},
MRREVIEWER = {Hung Ngoc Nguyen},
       URL = {https://doi.org/10.1090/S0894-0347-2011-00709-1}
}

@article {Har08,
	AUTHOR = {Harrison, John},
	TITLE = {Formal proof---theory and practice},
	JOURNAL = {Notices Amer. Math. Soc.},
	FJOURNAL = {Notices of the American Mathematical Society},
	VOLUME = {55},
	YEAR = {2008},
	NUMBER = {11},
	PAGES = {1395--1406},
	ISSN = {0002-9920},
	CODEN = {AMNOAN},
	MRCLASS = {03B35 (68T15)},
	MRNUMBER = {2463992 (2010h:03013)},
	MRREVIEWER = {Jean-Fran{\c{c}}ois Dufourd},
}

@preamble{
	"\def\cprime{$'$} "
}
@book {Har00,
	AUTHOR = {Hartshorne, Robin},
	TITLE = {Geometry: {E}uclid and beyond},
	SERIES = {Undergraduate Texts in Mathematics},
	PUBLISHER = {Springer-Verlag, New York},
	YEAR = {2000},
	PAGES = {xii+526},
	ISBN = {0-387-98650-2},
	MRCLASS = {51-01 (01A20 01A55 51-02)},
	MRNUMBER = {1761093 (2001h:51001)},
	MRREVIEWER = {Serguey M. Pokas{\cprime}},
	DOI = {10.1007/978-0-387-22676-7},
	URL = {http://dx.doi.org/10.1007/978-0-387-22676-7},
}

@article {Hess15,
	AUTHOR = {Hesselholt, Lars},
	TITLE = {The big de {R}ham--{W}itt complex},
	JOURNAL = {Acta Math.},
	FJOURNAL = {Acta Mathematica},
	VOLUME = {214},
	YEAR = {2015},
	NUMBER = {1},
	PAGES = {135--207},
	ISSN = {0001-5962},
	MRCLASS = {13N05 (13D02 13F35)},
	MRNUMBER = {3316757},
	MRREVIEWER = {Claudio Pedrini},
	DOI = {10.1007/s11511-015-0124-y},
	URL = {http://dx.doi.org/10.1007/s11511-015-0124-y},
}

@article{Hilb94,
	author = {Hilbert, David},
	journal = {Jahresbericht der Deutschen Mathematiker-Vereinigung},
	pages = {175-535},
	title = {Die Theorie der algebraischen Zahlkörper.},
	url = {http://eudml.org/doc/144518},
	volume = {4},
	year = {1894},
}

@Book{HY14,
	title = {集合论：对无穷概念的探索},
	publisher = {上海: 复旦大学出版社},
	year = {2014},
	author = {{郝兆宽, 杨跃}},
	ISBN = {978-7-309-10710-4},
	series = {逻辑与形而上学教科书系列}
}

@Book{HYY14,
	title = {数理逻辑：证明及其限度},
	publisher = {上海: 复旦大学出版社},
	year = {2014},
	author = {{郝兆宽,  杨睿之, 杨跃}},
	ISBN = {978-7-309-11025-8},
	series = {逻辑与形而上学教科书系列}
}

@article {Is85,
	AUTHOR = {Isaacs, I. M.},
	TITLE = {Solution of polynomials by real radicals},
	JOURNAL = {Amer. Math. Monthly},
	FJOURNAL = {American Mathematical Monthly},
	VOLUME = {92},
	YEAR = {1985},
	NUMBER = {8},
	PAGES = {571--575},
	ISSN = {0002-9890},
	MRCLASS = {12F05 (51M15)},
	MRNUMBER = {812099},
	MRREVIEWER = {D. W. Erbach},
	URL = {https://doi.org/10.2307/2323164},
}

@article {Ja45,
    AUTHOR = {Jacobson, N.},
     TITLE = {The radical and semi-simplicity for arbitrary rings},
   JOURNAL = {Amer. J. Math.},
  FJOURNAL = {American Journal of Mathematics},
    VOLUME = {67},
      YEAR = {1945},
     PAGES = {300--320},
      ISSN = {0002-9327},
   MRCLASS = {09.1X},
  MRNUMBER = {0012271 (7,2f)},
MRREVIEWER = {C. Chevalley},
}

@article {Ja45-TAMS,
    AUTHOR = {Jacobson, N.},
     TITLE = {Structure theory of simple rings without finiteness
              assumptions},
   JOURNAL = {Trans. Amer. Math. Soc.},
  FJOURNAL = {Transactions of the American Mathematical Society},
    VOLUME = {57},
      YEAR = {1945},
     PAGES = {228--245},
      ISSN = {0002-9947},
   MRCLASS = {09.1X},
  MRNUMBER = {0011680 (6,200a)},
MRREVIEWER = {C. Chevalley},
}

@book {Ja85,
    AUTHOR = {Jacobson, Nathan},
     TITLE = {Basic algebra. {I}},
   EDITION = {Second edition},
 PUBLISHER = {W. H. Freeman and Company},
   ADDRESS = {New York},
      YEAR = {1985},
     PAGES = {xviii+499},
      ISBN = {0-7167-1480-9},
   MRCLASS = {00A05 (12-01)},
  MRNUMBER = {780184 (86d:00001)},
}

@book {Ja89,
    AUTHOR = {Jacobson, Nathan},
     TITLE = {Basic algebra. {II}},
   EDITION = {Second edition},
 PUBLISHER = {W. H. Freeman and Company},
   ADDRESS = {New York},
      YEAR = {1989},
     PAGES = {xviii+686},
      ISBN = {0-7167-1933-9},
   MRCLASS = {00A05 (12-01 15-01 16-01)},
  MRNUMBER = {1009787 (90m:00007)},
MRREVIEWER = {P. M. Cohn},
}

@book {Je03,
    AUTHOR = {Jech, Thomas},
     TITLE = {Set theory},
    SERIES = {Springer Monographs in Mathematics},
      NOTE = {The third millennium edition, revised and expanded},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin},
      YEAR = {2003},
     PAGES = {xiv+769},
      ISBN = {3-540-44085-2},
   MRCLASS = {03Exx (03-01 03-02)},
  MRNUMBER = {1940513 (2004g:03071)},
MRREVIEWER = {Eva Coplakova},
}

@article {JS93,
    AUTHOR = {Joyal, Andr{\'e} and Street, Ross},
     TITLE = {Braided tensor categories},
   JOURNAL = {Adv. Math.},
  FJOURNAL = {Advances in Mathematics},
    VOLUME = {102},
      YEAR = {1993},
    NUMBER = {1},
     PAGES = {20--78},
      ISSN = {0001-8708},
     CODEN = {ADMTA4},
   MRCLASS = {18D10 (19D23 20G05)},
  MRNUMBER = {1250465 (94m:18008)},
MRREVIEWER = {Daniel Conduch{\'e}},
       DOI = {10.1006/aima.1993.1055},
       URL = {http://dx.doi.org/10.1006/aima.1993.1055},
}

@article {Ke64,
    AUTHOR = {Kelly, G. M.},
     TITLE = {On {M}ac{L}ane's conditions for coherence of natural
              associativities, commutativities, etc},
   JOURNAL = {J. Algebra},
  FJOURNAL = {Journal of Algebra},
    VOLUME = {1},
      YEAR = {1964},
     PAGES = {397--402},
      ISSN = {0021-8693},
   MRCLASS = {18.10},
  MRNUMBER = {0182649 (32 \#132)},
MRREVIEWER = {M. Auslander},
}

@article {Ke05,
    AUTHOR = {Kelly, G. M.},
     TITLE = {Basic concepts of enriched category theory},
   JOURNAL = {Repr. Theory Appl. Categ.},
  FJOURNAL = {Reprints in Theory and Applications of Categories},
    NUMBER = {10},
      YEAR = {2005},
     PAGES = {vi+137},
   MRCLASS = {18-02 (00B60 18D10 18D20)},
  MRNUMBER = {2177301},
}

@article {KP82,
    AUTHOR = {Kirby, Laurie and Paris, Jeff},
     TITLE = {Accessible independence results for {P}eano arithmetic},
   JOURNAL = {Bull. London Math. Soc.},
  FJOURNAL = {The Bulletin of the London Mathematical Society},
    VOLUME = {14},
      YEAR = {1982},
    NUMBER = {4},
     PAGES = {285--293},
      ISSN = {0024-6093},
     CODEN = {LMSBBT},
   MRCLASS = {03F30 (03H15 10N05)},
  MRNUMBER = {663480 (83j:03096)},
MRREVIEWER = {Roman Murawski},
       DOI = {10.1112/blms/14.4.285},
       URL = {http://dx.doi.org/10.1112/blms/14.4.285},
}

@book {KS06,
    AUTHOR = {Kashiwara, Masaki and Schapira, Pierre},
     TITLE = {Categories and sheaves},
    SERIES = {Grundlehren der Mathematischen Wissenschaften},
    VOLUME = {332},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin},
      YEAR = {2006},
     PAGES = {x+497},
      ISBN = {978-3-540-27949-5; 3-540-27949-0},
   MRCLASS = {18-02 (14F05 18F20)},
  MRNUMBER = {2182076 (2006k:18001)},
MRREVIEWER = {Corrado Marastoni},
}

@Book{Lai16,
	title = {代数数论},
	publisher = {北京: 高等教育出版社},
	year = {2016},
	author = {{黎景辉}},
	ISBN = {978-7-04-046483-2}
}

@book {Lam99,
    AUTHOR = {Lam, T. Y.},
     TITLE = {Lectures on modules and rings},
    SERIES = {Graduate Texts in Mathematics},
    VOLUME = {189},
 PUBLISHER = {Springer-Verlag, New York},
      YEAR = {1999},
     PAGES = {xxiv+557},
      ISBN = {0-387-98428-3},
   MRCLASS = {16-01},
  MRNUMBER = {1653294 (99i:16001)},
MRREVIEWER = {Jonathan Golan},
       DOI = {10.1007/978-1-4612-0525-8},
       URL = {http://dx.doi.org/10.1007/978-1-4612-0525-8},
}

@book {Lam01,
    AUTHOR = {Lam, T. Y.},
     TITLE = {A first course in noncommutative rings},
    SERIES = {Graduate Texts in Mathematics},
    VOLUME = {131},
   EDITION = {Second edition},
 PUBLISHER = {Springer-Verlag, New York},
      YEAR = {2001},
     PAGES = {xx+385},
      ISBN = {0-387-95183-0},
   MRCLASS = {16-01},
  MRNUMBER = {1838439 (2002c:16001)},
       DOI = {10.1007/978-1-4419-8616-0},
       URL = {http://dx.doi.org/10.1007/978-1-4419-8616-0},
}


@book {Lang02,
    AUTHOR = {Lang, Serge},
     TITLE = {Algebra},
    SERIES = {Graduate Texts in Mathematics},
    VOLUME = {211},
   EDITION = {Third edition},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {New York},
      YEAR = {2002},
     PAGES = {xvi+914},
      ISBN = {0-387-95385-X},
   MRCLASS = {00A05 (15-02)},
  MRNUMBER = {1878556 (2003e:00003)},
       DOI = {10.1007/978-1-4613-0041-0},
       URL = {http://dx.doi.org/10.1007/978-1-4613-0041-0},
}

@book {May99,
    AUTHOR = {May, J. P.},
     TITLE = {A concise course in algebraic topology},
    SERIES = {Chicago Lectures in Mathematics},
 PUBLISHER = {University of Chicago Press, Chicago, IL},
      YEAR = {1999},
     PAGES = {x+243},
      ISBN = {0-226-51183-9},
   MRCLASS = {55-02 (18-02 57-02)},
  MRNUMBER = {1702278 (2000h:55002)},
MRREVIEWER = {R. M. Vogt},
}

@book {Mac95,
	AUTHOR = {Macdonald, I. G.},
	TITLE = {Symmetric functions and {H}all polynomials},
	SERIES = {Oxford Mathematical Monographs},
	EDITION = {Second edition},
	PUBLISHER = {The Clarendon Press, Oxford University Press, New York},
	YEAR = {1995},
	PAGES = {x+475},
	ISBN = {0-19-853489-2},
	MRCLASS = {05E05 (05-02 20C30 20C33 20K01 33C80 33D80)},
	MRNUMBER = {1354144 (96h:05207)},
	MRREVIEWER = {John R. Stembridge},
}

@incollection {ML69,
    AUTHOR = {Mac Lane, Saunders},
     TITLE = {One universe as a foundation for category theory},
 BOOKTITLE = {Reports of the {M}idwest {C}ategory {S}eminar. {III}},
     PAGES = {192--200},
 PUBLISHER = {Springer},
   ADDRESS = {Berlin},
      YEAR = {1969},
   MRCLASS = {18.10},
  MRNUMBER = {0249486 (40 \#2731)},
MRREVIEWER = {H. Gonshor},
}

@book {ML98,
    AUTHOR = {Mac Lane, Saunders},
     TITLE = {Categories for the working mathematician},
    SERIES = {Graduate Texts in Mathematics},
    VOLUME = {5},
   EDITION = {Second edition},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {New York},
      YEAR = {1998},
     PAGES = {xii+314},
      ISBN = {0-387-98403-8},
   MRCLASS = {18-02},
  MRNUMBER = {1712872 (2001j:18001)}
}

@article {MzkT3,
	AUTHOR = {Mochizuki, Shinichi},
	TITLE = {Topics in absolute anabelian geometry {III}: global
	reconstruction algorithms},
	JOURNAL = {J. Math. Sci. Univ. Tokyo},
	FJOURNAL = {The University of Tokyo. Journal of Mathematical Sciences},
	VOLUME = {22},
	YEAR = {2015},
	NUMBER = {4},
	PAGES = {939--1156},
	ISSN = {1340-5705},
	MRCLASS = {14G32 (14H30)},
	MRNUMBER = {3445958},
	MRREVIEWER = {Ariyan Javanpeykar}
}

@Book{Mei13,
  title = {流形与几何初步},
  publisher = {北京: 科学出版社},
  year = {2013},
  author = {{梅加强}}
}

@article {Na14,
	AUTHOR = {Nash, Oliver},
	TITLE = {On {K}lein's icosahedral solution of the quintic},
	JOURNAL = {Expo. Math.},
	FJOURNAL = {Expositiones Mathematicae},
	VOLUME = {32},
	YEAR = {2014},
	NUMBER = {2},
	PAGES = {99--120},
	ISSN = {0723-0869},
	MRCLASS = {12D10 (13A50 30C15 51M20)},
	MRNUMBER = {3206647},
	MRREVIEWER = {Vladimir P. Kostov},
	URL = {https://doi.org/10.1016/j.exmath.2013.09.003},
}

@book {Neu99,
	AUTHOR = {Neukirch, J{\"u}rgen},
	TITLE = {Algebraic number theory},
	SERIES = {Grundlehren der Mathematischen Wissenschaften},
	VOLUME = {322},
	PUBLISHER = {Springer-Verlag, Berlin},
	YEAR = {1999},
	PAGES = {xviii+571},
	ISBN = {3-540-65399-6},
	MRCLASS = {11Rxx (11-02 11S15 11S31 14C40)},
	MRNUMBER = {1697859 (2000m:11104)},
	MRREVIEWER = {Cornelius Greither},
	DOI = {10.1007/978-3-662-03983-0},
	URL = {http://dx.doi.org/10.1007/978-3-662-03983-0},
}

@book {Oxl11,
	AUTHOR = {Oxley, James},
	TITLE = {Matroid theory},
	SERIES = {Oxford Graduate Texts in Mathematics},
	VOLUME = {21},
	EDITION = {Second edition},
	PUBLISHER = {Oxford University Press, Oxford},
	YEAR = {2011},
	PAGES = {xiv+684},
	ISBN = {978-0-19-960339-8},
	MRCLASS = {05-01 (05B35 90C27)},
	MRNUMBER = {2849819 (2012k:05002)},
	MRREVIEWER = {Maruti M. Shikare},
	DOI = {10.1093/acprof:oso/9780198566946.001.0001},
	URL = {http://dx.doi.org/10.1093/acprof:oso/9780198566946.001.0001},
}

@book {Sag01,
	AUTHOR = {Sagan, Bruce E.},
	TITLE = {The symmetric group},
	SERIES = {Graduate Texts in Mathematics},
	VOLUME = {203},
	EDITION = {Second edition},
	NOTE = {Representations, combinatorial algorithms, and symmetric
	functions},
	PUBLISHER = {Springer-Verlag, New York},
	YEAR = {2001},
	PAGES = {xvi+238},
	ISBN = {0-387-95067-2},
	MRCLASS = {05E10 (05E05 20C30)},
	MRNUMBER = {1824028 (2001m:05261)},
	DOI = {10.1007/978-1-4757-6804-6},
	URL = {http://dx.doi.org/10.1007/978-1-4757-6804-6},
}

@InCollection{sep-category-theory,
	author       =	{Marquis, Jean-Pierre},
	title        =	{Category Theory},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	URL =	{http://plato.stanford.edu/archives/win2015/entries/category-theory/},
	edition      =	{Winter 2015 edition},
}

@InCollection{sep-set-theory,
	author       =	{Bagaria, Joan},
	title        =	{Set Theory},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	URL =	{http://plato.stanford.edu/archives/win2014/entries/set-theory/},
	edition      =	{Winter 2014 edition},
}

@book {Ser08,
	AUTHOR = {Serre, Jean-Pierre},
	TITLE = {Topics in {G}alois theory},
	SERIES = {Research Notes in Mathematics},
	VOLUME = {1},
	EDITION = {Second edition},
	NOTE = {With notes by Henri Darmon},
	PUBLISHER = {A K Peters, Ltd., Wellesley, MA},
	YEAR = {2008},
	PAGES = {xvi+120},
	ISBN = {978-1-56881-412-4},
	MRCLASS = {12F12},
	MRNUMBER = {2363329 (2008i:12010)},
}

@book {SGA4-1,
	AUTHOR = {Grothendieck, Alexander},
     TITLE = {Th\'eorie des topos et cohomologie \'etale des sch\'emas.
              {T}ome 1: {T}h\'eorie des topos},
    SERIES = {Lecture Notes in Mathematics, Vol. 269},
      NOTE = {S{\'e}minaire de G{\'e}om{\'e}trie Alg{\'e}brique du
              Bois-Marie 1963--1964 (SGA 4),
              Dirig{\'e} par M. Artin, A. Grothendieck, et J. L. Verdier.
              Avec la collaboration de N. Bourbaki, P. Deligne et B.
              Saint-Donat},
 PUBLISHER = {Springer-Verlag},
   ADDRESS = {Berlin},
      YEAR = {1972},
     PAGES = {xix+525},
   MRCLASS = {14-06},
  MRNUMBER = {0354652 (50 \#7130)},
}

@Book{Shi11,
  title = {代数模型论引论},
  publisher = {北京: 科学出版社},
  year = {2011},
  author = {{史念东}},
  isbn = {978-7-03-032408-5}
}

@ARTICLE{Shu08,
   author = {{Shulman}, M.~A.},
    title = {Set theory for category theory},
  journal = {ArXiv e-prints},
archivePrefix = {arXiv},
   eprint = {0810.1279},
 primaryClass = {math.CT},
 keywords = {Mathematics - Category Theory, Mathematics - Logic},
     year = {2008},
   adsurl = {http://adsabs.harvard.edu/abs/2008arXiv0810.1279S},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@incollection {Sok05,
	AUTHOR = {Sokal, Alan D.},
	TITLE = {The multivariate {T}utte polynomial (alias {P}otts model) for
	graphs and matroids},
	BOOKTITLE = {Surveys in combinatorics 2005},
	SERIES = {London Math. Soc. Lecture Note Ser.},
	VOLUME = {327},
	PAGES = {173--226},
	PUBLISHER = {Cambridge Univ. Press, Cambridge},
	YEAR = {2005},
	MRCLASS = {05B35 (05C15 82B20 82B23)},
	MRNUMBER = {2187739},
	MRREVIEWER = {Marc Noy},
	DOI = {10.1017/CBO9780511734885.009},
	URL = {http://dx.doi.org/10.1017/CBO9780511734885.009},
}

@Book{Stan09,
	title = {计数组合学 （第一卷）},
	publisher = {北京: 高等教育出版社},
	year = {2009},
	author = {{Richard P. Stanley}},
	series = {组合数学丛书},
	note = {译者: 付梅, 侯庆虎, 辛国策, 杨立波},
	isbn = {978-7-04-026548-4}
}

@book {Str06,
	AUTHOR = {Stroppel, Markus},
	TITLE = {Locally compact groups},
	SERIES = {EMS Textbooks in Mathematics},
	PUBLISHER = {European Mathematical Society (EMS), Z\"urich},
	YEAR = {2006},
	PAGES = {x+302},
	ISBN = {3-03719-016-7},
	MRCLASS = {22-01 (22Dxx)},
	MRNUMBER = {2226087 (2007d:22001)},
	MRREVIEWER = {Joachim Hilgert},
	DOI = {10.4171/016},
	URL = {http://dx.doi.org/10.4171/016},
}

@Book{SV13,
  title = {集合论基础},
  publisher = {北京: 高等教育出版社},
  year = {2013},
  author = {{A. Shen, N. K. Vereshchagin}},
  series = {大学生数学图书馆},
  number = {2},
  note = {译者: 陈光还},
}

@article {vdW34,
	AUTHOR = {van der Waerden, B. L.},
	TITLE = {Die {S}eltenheit der {G}leichungen mit {A}ffekt},
	JOURNAL = {Math. Ann.},
	FJOURNAL = {Mathematische Annalen},
	VOLUME = {109},
	YEAR = {1934},
	NUMBER = {1},
	PAGES = {13--16},
	ISSN = {0025-5831},
	MRCLASS = {DML},
	MRNUMBER = {1512878},
	DOI = {10.1007/BF01449123},
	URL = {http://dx.doi.org/10.1007/BF01449123},
}

@book {vdW1,
	AUTHOR = {van der Waerden, B. L.},
	TITLE = {Algebra. {V}ol. {I}},
	PUBLISHER = {Springer-Verlag, New York},
	YEAR = {1991},
	PAGES = {xiv+265},
	ISBN = {0-387-97424-5},
	MRCLASS = {00A05 (01A75 12-01 13-01 16-01 20-01)},
	MRNUMBER = {1080172},
	DOI = {10.1007/978-1-4612-4420-2},
	URL = {http://dx.doi.org/10.1007/978-1-4612-4420-2},
}


@book {vdW2,
	AUTHOR = {van der Waerden, B. L.},
	TITLE = {Algebra. {V}ol. {II}},
	PUBLISHER = {Springer-Verlag, New York},
	YEAR = {1991},
	PAGES = {xii+284},
	ISBN = {0-387-97425-3},
	MRCLASS = {00A05 (01A75 12-01 13-01 15-01 16-01)},
	MRNUMBER = {1080173},
}


@book {Was97,
	AUTHOR = {Washington, Lawrence C.},
	TITLE = {Introduction to cyclotomic fields},
	SERIES = {Graduate Texts in Mathematics},
	VOLUME = {83},
	EDITION = {Second edition},
	PUBLISHER = {Springer-Verlag, New York},
	YEAR = {1997},
	PAGES = {xiv+487},
	ISBN = {0-387-94762-0},
	MRCLASS = {11R18 (11-01 11-02 11R23)},
	MRNUMBER = {1421575},
	MRREVIEWER = {T. Mets{\"a}nkyl{\"a}},
	DOI = {10.1007/978-1-4612-1934-7},
	URL = {http://dx.doi.org/10.1007/978-1-4612-1934-7},
}

@article {We07,
    AUTHOR = {Wedderburn, J. H. MacLagan},
     TITLE = {On {H}ypercomplex {N}umbers},
   JOURNAL = {Proc. London Math. Soc.},
  FJOURNAL = {Proceedings of the London Mathematical Society},
    VOLUME = {S2-6},
    NUMBER = {1},
     PAGES = {77},
      ISSN = {0024-6115},
   MRCLASS = {Contributed Item},
  MRNUMBER = {1575142},
       DOI = {10.1112/plms/s2-6.1.77},
       URL = {http://dx.doi.org/10.1112/plms/s2-6.1.77},
      YEAR = {1907}
}

@article {Wh38,
	AUTHOR = {Whitney, Hassler},
	TITLE = {Tensor products of {A}belian groups},
	JOURNAL = {Duke Math. J.},
	FJOURNAL = {Duke Mathematical Journal},
	VOLUME = {4},
	YEAR = {1938},
	NUMBER = {3},
	PAGES = {495--528},
	ISSN = {0012-7094},
	CODEN = {DUMJAO},
	MRCLASS = {Contributed Item},
	MRNUMBER = {1546071},
	DOI = {10.1215/S0012-7094-38-00442-9},
	URL = {http://dx.doi.org/10.1215/S0012-7094-38-00442-9},
}

@article{Wil73,
	jstor_articletype = {research-article},
	title = {A Principal Ideal Ring That Is Not a Euclidean Ring},
	author = {Wilson, Jack C.},
	journal = {Mathematics Magazine},
	jstor_issuetitle = {},
	volume = {46},
	number = {1},
	jstor_formatteddate = {Jan., 1973},
	pages = {34-38},
	url = {http://www.jstor.org/stable/2688577},
	ISSN = {0025570X},
	language = {English},
	year = {1973},
	publisher = {Mathematical Association of America},
	copyright = {Copyright © 1973 Mathematical Association of America},
}

@book {Wil09,
	AUTHOR = {Wilson, Robert A.},
	TITLE = {The finite simple groups},
	SERIES = {Graduate Texts in Mathematics},
	VOLUME = {251},
	PUBLISHER = {Springer-Verlag London, Ltd., London},
	YEAR = {2009},
	PAGES = {xvi+298},
	ISBN = {978-1-84800-987-5},
	MRCLASS = {20D05},
	MRNUMBER = {2562037 (2011e:20018)},
	MRREVIEWER = {Gernot Stroth},
	DOI = {10.1007/978-1-84800-988-2},
	URL = {http://dx.doi.org/10.1007/978-1-84800-988-2},
}

@article {Witt37,
	AUTHOR = {Witt, Ernst},
	TITLE = {Zyklische {K}örper und {A}lgebren der {C}harakteristik {$p$}
	vom {G}rad {$p^n$}. {S}truktur diskret bewerteter perfekter
	{K}örper mit vollkommenem {R}estklassenkörper der
	{C}harakteristik {$p$}},
	JOURNAL = {J. Reine Angew. Math.},
	FJOURNAL = {Journal für die Reine und Angewandte Mathematik.},
	VOLUME = {176},
	YEAR = {1937},
	PAGES = {126--140},
	ISSN = {0075-4102},
	MRCLASS = {Contributed Item},
	MRNUMBER = {1581526},
	DOI = {10.1515/crll.1937.176.126},
	URL = {http://dx.doi.org/10.1515/crll.1937.176.126},
}

@Book{Xiong,
  title = {点集拓扑讲义},
  publisher = {北京: 高等教育出版社},
  year = {2011},
  author = {{熊金城}},
  note = {第四版}
}

@Book{Xi16,
	title = {基础代数（第一卷）},
	publisher = {北京: 科学出版社},
	year = {2016},
	author = {{席南华}},
	isbn = {978-7-03-049843-4}
}

@Book{Xi18,
	title = {基础代数（第二卷）},
	publisher = {北京: 科学出版社},
	year = {2018},
	author = {{席南华}},
	isbn = {978-7-03-056033-9}
}

@Book{You,
  title = {基础拓扑学讲义},
  publisher = {北京: 北京大学出版社},
  year = {1997},
  author = {{尤承业}}
}

@Book{ZhP,
	title = {伽罗瓦理论：天才的激情},
	publisher = {北京: 高等教育出版社},
	year = {2013},
	author = {{章璞}},
	ISBN = {978-7-04-037252-6}
}

@Book{ZHR,
	title = {近世代数基础（修订本）},
	publisher = {北京: 高等教育出版社},
	year = {2010},
	author = {{张禾瑞}},
	series = {高等学校教材},
	ISBN = {978-7-04-001222-4}
}

@Book{Zh1,
  title = {泛函分析讲义（上）},
  publisher = {北京: 北京大学出版社},
  year = {1987},
  author = {{张恭庆, 林源渠}}
}

@Book{Zh2,
  title = {泛函分析讲义（下）},
  publisher = {北京: 北京大学出版社},
  year = {1990},
  author = {{张恭庆, 郭懋正}}
}

@Book{ZG,
	title = {英汉数学词汇（第二版）},
	publisher = {北京: 清华大学出版社},
	year = {2010},
	author = {{张鸿林, 葛显良}}
}