nlab_stats.json

{
  "spacy_version": "3.0.6",
  "spacy_model": "en_core_web_trf",
  "date": "2021-06-04 14:03:04.604943",
  "corpus": "nlab",
  "documents": 11653,
  "sentences": 175151,
  "sentence_lengths": {
    "1": 6751,
    "2": 6842,
    "3": 6039,
    "4": 3020,
    "5": 2470,
    "6": 2525,
    "7": 2625,
    "8": 2659,
    "9": 2836,
    "10": 2954,
    "11": 3023,
    "12": 3386,
    "13": 3895,
    "14": 3420,
    "15": 3196,
    "16": 3046,
    "17": 3358,
    "18": 3328,
    "19": 3485,
    "20": 3305,
    "21": 3122,
    "22": 2899,
    "23": 2924,
    "24": 2818,
    "25": 2755,
    "26": 2655,
    "27": 2467,
    "28": 2515,
    "29": 2470,
    "30": 2361,
    "31": 2286,
    "32": 2129,
    "33": 2020,
    "34": 1995,
    "35": 1957,
    "36": 1861,
    "37": 1727,
    "38": 1709,
    "39": 1610,
    "40": 1560,
    "41": 1458,
    "42": 1401,
    "43": 1358,
    "44": 1351,
    "45": 1328,
    "46": 1279,
    "47": 1186,
    "48": 1110,
    "49": 1121,
    "50": 1077,
    "51": 1010,
    "52": 1020,
    "53": 980,
    "54": 873,
    "55": 918,
    "56": 833,
    "57": 787,
    "58": 732,
    "59": 762,
    "60": 743,
    "61": 724,
    "62": 751,
    "63": 664,
    "64": 661,
    "65": 642,
    "66": 617,
    "67": 578,
    "68": 604,
    "69": 598,
    "70": 590,
    "71": 561,
    "72": 522,
    "73": 511,
    "74": 494,
    "75": 484,
    "76": 476,
    "77": 458,
    "78": 467,
    "79": 437,
    "80": 466,
    "81": 404,
    "82": 436,
    "83": 376,
    "84": 375,
    "85": 397,
    "86": 386,
    "87": 359,
    "88": 344,
    "89": 344,
    "90": 335,
    "91": 325,
    "92": 324,
    "93": 294,
    "94": 331,
    "95": 294,
    "96": 293,
    "97": 318,
    "98": 294,
    "99": 250,
    "100": 268,
    "101": 272,
    "102": 261,
    "103": 261,
    "104": 272,
    "105": 267,
    "106": 249,
    "107": 246,
    "108": 225,
    "109": 249,
    "110": 229,
    "111": 203,
    "112": 210,
    "113": 200,
    "114": 212,
    "115": 211,
    "116": 182,
    "117": 193,
    "118": 199,
    "119": 190,
    "120": 192,
    "121": 167,
    "122": 169,
    "123": 177,
    "124": 166,
    "125": 167,
    "126": 166,
    "127": 186,
    "128": 175,
    "129": 130,
    "130": 160,
    "131": 146,
    "132": 169,
    "133": 157,
    "134": 143,
    "135": 131,
    "136": 143,
    "137": 146,
    "138": 124,
    "139": 130,
    "140": 109,
    "141": 119,
    "142": 123,
    "143": 130,
    "144": 147,
    "145": 146,
    "146": 101,
    "147": 114,
    "148": 107,
    "149": 122,
    "150": 107,
    "151": 100,
    "152": 115,
    "153": 92,
    "154": 106,
    "155": 110,
    "156": 89,
    "157": 87,
    "158": 93,
    "159": 98,
    "160": 114,
    "161": 93,
    "162": 95,
    "163": 108,
    "164": 74,
    "165": 79,
    "166": 85,
    "167": 88,
    "168": 95,
    "169": 66,
    "170": 90,
    "171": 84,
    "172": 78,
    "173": 79,
    "174": 71,
    "175": 79,
    "176": 60,
    "177": 81,
    "178": 81,
    "179": 75,
    "180": 70,
    "181": 85,
    "182": 64,
    "183": 57,
    "184": 67,
    "185": 63,
    "186": 72,
    "187": 57,
    "188": 41,
    "189": 68,
    "190": 64,
    "191": 68,
    "192": 61,
    "193": 69,
    "194": 58,
    "195": 57,
    "196": 53,
    "197": 53,
    "198": 51,
    "199": 64,
    "200": 51,
    "201": 60,
    "202": 64,
    "203": 50,
    "204": 62,
    "205": 54,
    "206": 59,
    "207": 51,
    "208": 40,
    "209": 49,
    "210": 44,
    "211": 40,
    "212": 49,
    "213": 39,
    "214": 50,
    "215": 45,
    "216": 32,
    "217": 37,
    "218": 41,
    "219": 39,
    "220": 35,
    "221": 39,
    "222": 32,
    "223": 46,
    "224": 35,
    "225": 31,
    "226": 36,
    "227": 41,
    "228": 29,
    "229": 35,
    "230": 36,
    "231": 38,
    "232": 37,
    "233": 36,
    "234": 33,
    "235": 35,
    "236": 34,
    "237": 35,
    "238": 38,
    "239": 36,
    "240": 19,
    "241": 33,
    "242": 32,
    "243": 31,
    "244": 36,
    "245": 29,
    "246": 22,
    "247": 17,
    "248": 28,
    "249": 36,
    "250": 42,
    "251": 26,
    "252": 28,
    "253": 22,
    "254": 25,
    "255": 28,
    "256": 26,
    "257": 32,
    "258": 28,
    "259": 23,
    "260": 41,
    "261": 32,
    "262": 30,
    "263": 25,
    "264": 23,
    "265": 23,
    "266": 28,
    "267": 27,
    "268": 14,
    "269": 30,
    "270": 20,
    "271": 27,
    "272": 25,
    "273": 27,
    "274": 29,
    "275": 20,
    "276": 20,
    "277": 16,
    "278": 28,
    "279": 20,
    "280": 19,
    "281": 17,
    "282": 15,
    "283": 24,
    "284": 26,
    "285": 14,
    "286": 18,
    "287": 19,
    "288": 9,
    "289": 25,
    "290": 17,
    "291": 23,
    "292": 23,
    "293": 19,
    "294": 18,
    "295": 18,
    "296": 28,
    "297": 14,
    "298": 20,
    "299": 19,
    "300": 19,
    "301": 18,
    "302": 19,
    "303": 10,
    "304": 14,
    "305": 10,
    "306": 11,
    "307": 19,
    "308": 15,
    "309": 10,
    "310": 21,
    "311": 16,
    "312": 18,
    "313": 19,
    "314": 16,
    "315": 14,
    "316": 23,
    "317": 13,
    "318": 13,
    "319": 12,
    "320": 12,
    "321": 12,
    "322": 14,
    "323": 21,
    "324": 10,
    "325": 12,
    "326": 15,
    "327": 12,
    "328": 16,
    "329": 10,
    "330": 7,
    "331": 9,
    "332": 12,
    "333": 13,
    "334": 11,
    "335": 17,
    "336": 19,
    "337": 17,
    "338": 8,
    "339": 11,
    "340": 17,
    "341": 6,
    "342": 6,
    "343": 10,
    "344": 10,
    "345": 8,
    "346": 8,
    "347": 9,
    "348": 4,
    "349": 13,
    "350": 10,
    "351": 8,
    "352": 9,
    "353": 8,
    "354": 4,
    "355": 5,
    "356": 12,
    "357": 15,
    "358": 8,
    "359": 10,
    "360": 8,
    "361": 6,
    "362": 9,
    "363": 15,
    "364": 12,
    "365": 11,
    "366": 3,
    "367": 8,
    "368": 4,
    "369": 3,
    "370": 6,
    "371": 7,
    "372": 16,
    "373": 8,
    "374": 8,
    "375": 8,
    "376": 4,
    "377": 8,
    "378": 13,
    "379": 12,
    "380": 5,
    "381": 7,
    "382": 9,
    "383": 8,
    "384": 6,
    "385": 12,
    "386": 8,
    "387": 8,
    "388": 8,
    "389": 7,
    "390": 9,
    "391": 10,
    "392": 11,
    "393": 12,
    "394": 5,
    "395": 4,
    "396": 12,
    "397": 5,
    "398": 9,
    "399": 1,
    "400": 9,
    "401": 7,
    "402": 8,
    "403": 9,
    "404": 6,
    "405": 6,
    "406": 7,
    "407": 6,
    "408": 8,
    "409": 6,
    "410": 5,
    "411": 6,
    "412": 7,
    "413": 4,
    "414": 4,
    "415": 4,
    "416": 4,
    "417": 7,
    "418": 10,
    "419": 7,
    "420": 10,
    "421": 6,
    "422": 11,
    "423": 4,
    "424": 5,
    "425": 3,
    "426": 4,
    "427": 8,
    "428": 1,
    "429": 2,
    "430": 4,
    "431": 2,
    "432": 5,
    "433": 8,
    "434": 5,
    "436": 5,
    "437": 3,
    "438": 4,
    "439": 8,
    "440": 5,
    "441": 5,
    "442": 8,
    "444": 14,
    "445": 6,
    "446": 2,
    "447": 3,
    "448": 2,
    "449": 7,
    "450": 5,
    "451": 5,
    "452": 3,
    "453": 6,
    "454": 3,
    "455": 4,
    "456": 3,
    "457": 4,
    "458": 3,
    "459": 1,
    "460": 2,
    "461": 3,
    "462": 4,
    "463": 5,
    "464": 2,
    "465": 6,
    "466": 1,
    "467": 4,
    "468": 2,
    "469": 6,
    "470": 3,
    "471": 2,
    "472": 4,
    "473": 2,
    "474": 4,
    "475": 2,
    "476": 4,
    "477": 4,
    "478": 5,
    "479": 7,
    "480": 6,
    "481": 4,
    "482": 1,
    "483": 2,
    "484": 3,
    "486": 3,
    "487": 2,
    "488": 1,
    "489": 4,
    "490": 2,
    "491": 2,
    "492": 3,
    "493": 3,
    "494": 2,
    "495": 2,
    "496": 3,
    "497": 4,
    "498": 1,
    "499": 5,
    "500": 1,
    "502": 2,
    "503": 5,
    "504": 6,
    "505": 3,
    "506": 4,
    "507": 5,
    "509": 1,
    "510": 2,
    "511": 1,
    "512": 5,
    "513": 2,
    "514": 2,
    "515": 4,
    "516": 3,
    "517": 3,
    "518": 1,
    "519": 2,
    "520": 1,
    "521": 2,
    "522": 5,
    "523": 1,
    "524": 1,
    "525": 3,
    "526": 2,
    "527": 2,
    "528": 2,
    "529": 1,
    "530": 4,
    "531": 5,
    "532": 4,
    "533": 2,
    "534": 1,
    "535": 3,
    "537": 2,
    "538": 1,
    "539": 3,
    "540": 1,
    "541": 5,
    "542": 1,
    "543": 2,
    "544": 1,
    "545": 3,
    "546": 2,
    "547": 1,
    "548": 3,
    "549": 1,
    "550": 1,
    "551": 1,
    "552": 1,
    "553": 3,
    "554": 3,
    "555": 3,
    "556": 5,
    "557": 3,
    "558": 2,
    "559": 1,
    "560": 2,
    "561": 6,
    "562": 1,
    "563": 1,
    "565": 3,
    "566": 2,
    "568": 4,
    "569": 4,
    "570": 4,
    "571": 4,
    "573": 1,
    "574": 2,
    "575": 2,
    "577": 4,
    "579": 3,
    "580": 2,
    "581": 1,
    "582": 4,
    "584": 2,
    "585": 1,
    "586": 1,
    "587": 2,
    "588": 2,
    "589": 1,
    "590": 4,
    "591": 1,
    "593": 1,
    "594": 2,
    "595": 1,
    "596": 2,
    "597": 4,
    "598": 2,
    "600": 1,
    "601": 3,
    "602": 3,
    "603": 1,
    "604": 2,
    "605": 2,
    "606": 4,
    "607": 2,
    "608": 5,
    "610": 2,
    "611": 1,
    "612": 2,
    "613": 2,
    "614": 2,
    "615": 2,
    "616": 1,
    "618": 1,
    "619": 1,
    "620": 2,
    "621": 1,
    "624": 1,
    "625": 1,
    "626": 3,
    "628": 2,
    "629": 1,
    "630": 2,
    "633": 2,
    "634": 1,
    "635": 2,
    "636": 1,
    "637": 2,
    "638": 1,
    "639": 4,
    "640": 1,
    "641": 1,
    "642": 1,
    "643": 2,
    "644": 1,
    "645": 3,
    "646": 2,
    "647": 2,
    "649": 2,
    "650": 2,
    "651": 2,
    "655": 3,
    "656": 1,
    "657": 2,
    "658": 2,
    "659": 1,
    "660": 4,
    "661": 1,
    "662": 1,
    "663": 1,
    "664": 2,
    "665": 1,
    "666": 2,
    "667": 1,
    "668": 2,
    "669": 2,
    "673": 2,
    "675": 1,
    "676": 1,
    "677": 1,
    "678": 2,
    "679": 2,
    "680": 1,
    "681": 3,
    "683": 1,
    "685": 1,
    "686": 3,
    "687": 2,
    "688": 2,
    "689": 1,
    "691": 2,
    "693": 4,
    "694": 2,
    "700": 2,
    "702": 2,
    "706": 2,
    "707": 1,
    "711": 2,
    "718": 1,
    "720": 3,
    "722": 2,
    "724": 1,
    "725": 2,
    "726": 1,
    "727": 1,
    "728": 1,
    "729": 1,
    "730": 1,
    "731": 1,
    "738": 1,
    "741": 1,
    "743": 2,
    "745": 3,
    "746": 1,
    "747": 1,
    "748": 1,
    "749": 1,
    "753": 1,
    "754": 1,
    "756": 1,
    "757": 1,
    "760": 1,
    "761": 1,
    "762": 2,
    "763": 2,
    "767": 1,
    "768": 1,
    "769": 1,
    "773": 1,
    "774": 1,
    "775": 2,
    "776": 1,
    "777": 2,
    "780": 1,
    "783": 3,
    "784": 1,
    "787": 1,
    "788": 1,
    "790": 1,
    "797": 1,
    "802": 1,
    "804": 1,
    "810": 1,
    "811": 1,
    "812": 1,
    "814": 1,
    "818": 1,
    "819": 1,
    "820": 2,
    "821": 1,
    "825": 1,
    "830": 1,
    "833": 1,
    "838": 1,
    "839": 1,
    "841": 2,
    "843": 1,
    "851": 1,
    "853": 2,
    "856": 1,
    "859": 1,
    "860": 1,
    "865": 1,
    "867": 1,
    "868": 1,
    "869": 1,
    "870": 1,
    "871": 1,
    "872": 1,
    "873": 1,
    "875": 1,
    "878": 1,
    "880": 1,
    "884": 1,
    "891": 1,
    "893": 1,
    "894": 1,
    "898": 1,
    "901": 1,
    "908": 1,
    "910": 2,
    "913": 1,
    "919": 1,
    "920": 1,
    "923": 1,
    "928": 1,
    "932": 1,
    "934": 1,
    "949": 1,
    "981": 1,
    "984": 2,
    "986": 1,
    "995": 1,
    "1006": 1,
    "1009": 1,
    "1011": 1,
    "1013": 1,
    "1014": 1,
    "1018": 1,
    "1022": 1,
    "1030": 1,
    "1034": 2,
    "1037": 1,
    "1038": 1,
    "1045": 1,
    "1051": 1,
    "1085": 1,
    "1101": 1,
    "1113": 1,
    "1118": 1,
    "1142": 1,
    "1146": 1,
    "1150": 1,
    "1184": 1,
    "1186": 1,
    "1194": 1,
    "1208": 1,
    "1212": 1,
    "1216": 1,
    "1224": 1,
    "1268": 1,
    "1282": 1,
    "1301": 1,
    "1315": 1,
    "1351": 1,
    "1381": 1,
    "1418": 1,
    "1497": 1,
    "1514": 1,
    "1599": 1,
    "1614": 1,
    "1707": 1,
    "1787": 1,
    "1997": 1,
    "2175": 1,
    "3673": 1
  },
  "tokens": 7882452,
  "lemmas": 139498,
  "pos": {
    "PUNCT": 1297042,
    "NOUN": 1610545,
    "X": 323025,
    "ADJ": 505591,
    "SPACE": 1082127,
    "DET": 614870,
    "ADP": 649579,
    "VERB": 423999,
    "SYM": 17842,
    "AUX": 190178,
    "SCONJ": 72261,
    "ADV": 197285,
    "CCONJ": 119155,
    "PRON": 100237,
    "PROPN": 458381,
    "NUM": 177602,
    "PART": 42005,
    "INTJ": 728
  },
  "tag": {
    "NFP": 54604,
    "NN": 1287588,
    "LS": 23191,
    "JJ": 491026,
    "_SP": 1082127,
    "DT": 579665,
    "IN": 718347,
    "VBZ": 219047,
    "JJR": 12115,
    "NNS": 324706,
    ".": 192291,
    "SYM": 17836,
    "HYPH": 94563,
    ",": 343725,
    "VB": 101213,
    "RB": 186288,
    "``": 210722,
    "-RRB-": 221122,
    "VBG": 35704,
    "CC": 119160,
    "PRP": 68296,
    "WDT": 28424,
    "-LRB-": 137075,
    "VBN": 127821,
    "FW": 246034,
    "NNP": 442858,
    "CD": 177607,
    "VBP": 71472,
    "NNPS": 15548,
    "XX": 38146,
    "VBD": 10020,
    ":": 63997,
    "WRB": 14339,
    "PRP$": 15693,
    "MD": 26227,
    "TO": 24756,
    "RP": 3606,
    "JJS": 2459,
    "RBS": 1168,
    "WP": 3247,
    "EX": 11611,
    "WP$": 3911,
    "ADD": 15996,
    "RBR": 7205,
    "PDT": 2917,
    "POS": 5798,
    "UH": 730,
    "''": 445,
    "$": 6
  },
  "deps": {
    "nmod": 66724,
    "punct": 2234459,
    "amod": 496479,
    "ROOT": 175151,
    "compound": 443070,
    "appos": 356500,
    "dep": 45608,
    "det": 527528,
    "nsubj": 364707,
    "prep": 633790,
    "pobj": 573912,
    "prt": 9498,
    "attr": 141862,
    "ccomp": 145703,
    "mark": 76844,
    "advcl": 88398,
    "advmod": 206263,
    "dobj": 314113,
    "npadvmod": 33651,
    "cc": 118731,
    "acl": 46459,
    "relcl": 34149,
    "nummod": 98308,
    "conj": 189356,
    "acomp": 41373,
    "pcomp": 28979,
    "auxpass": 47573,
    "parataxis": 15425,
    "csubjpass": 384,
    "poss": 25345,
    "nsubjpass": 45397,
    "agent": 16310,
    "aux": 106344,
    "xcomp": 23671,
    "intj": 2831,
    "preconj": 1602,
    "neg": 12231,
    "case": 25976,
    "dative": 8521,
    "expl": 12292,
    "csubj": 5078,
    "meta": 15730,
    "oprd": 20538,
    "quantmod": 2642,
    "predet": 2947
  },
  "compounds": 443070,
  "entities": {
    "ORDINAL": 7672,
    "CARDINAL": 56088,
    "PERSON": 83152,
    "WORK_OF_ART": 6226,
    "DATE": 26093,
    "GPE": 1921,
    "ORG": 8821,
    "FAC": 143,
    "EVENT": 227,
    "TIME": 114,
    "LOC": 336,
    "LAW": 387,
    "NORP": 1532,
    "LANGUAGE": 332,
    "PRODUCT": 274,
    "QUANTITY": 274,
    "MONEY": 16,
    "PERCENT": 51
  },
  "removed": 862,
  "pos_stats": {
    "PUNCT": {
      ",": 344162,
      ")": 215948,
      ".": 174108,
      "(": 132468,
      "-": 95644,
      "#": 49083,
      ":": 45693,
      "→": 28433,
      "\"": 25430,
      ";": 14528,
      "∈": 13427,
      "−": 12207,
      "–": 6250,
      "'": 6051,
      "×": 5163,
      "}": 5094,
      "≃": 3924,
      "]": 3907,
      "…": 3788,
      "⊗": 3391,
      "∞": 3195,
      "∘": 2891,
      "):": 2878,
      "↪": 2624,
      "𝒞": 2486,
      "*": 2458,
      "{": 2384,
      "≔": 2124,
      "ℝ": 1953,
      "≤": 1935,
      "⊂": 1919,
      "ω": 1751,
      "↦": 1746,
      "?": 1734,
      "∧": 1715,
      "⋅": 1575,
      "ℕ": 1553,
      "Σ": 1503,
      "ϕ": 1421,
      "α": 1345,
      "⋯": 1258,
      "!": 1228,
      "_": 1219,
      "ℤ": 1219,
      "≥": 1117,
      "X.": 1094,
      "[": 1084,
      "σ": 1070,
      "⊣": 1015,
      "Γ": 993
    },
    "NOUN": {
      "category": 41456,
      "theory": 39657,
      "space": 27719,
      "x": 25733,
      "group": 21965,
      "algebra": 20597,
      "object": 17435,
      ".": 17247,
      "field": 15187,
      "structure": 14861,
      "morphism": 14555,
      "set": 14297,
      "model": 13994,
      "definition": 13818,
      "homotopy": 13751,
      "functor": 13445,
      "-": 12948,
      "n": 11142,
      "function": 10830,
      "type": 10458,
      "a": 10182,
      "theorem": 9919,
      "example": 9877,
      "f": 9658,
      "map": 9609,
      "bundle": 9511,
      "context": 9425,
      "k": 9418,
      "form": 9356,
      "cohomology": 8969,
      "c": 8623,
      "reference": 8225,
      "geometry": 8191,
      "product": 7968,
      "equivalence": 7611,
      "idea": 7519,
      "b": 7195,
      "g": 7185,
      "section": 7118,
      "concept": 7064,
      "p": 7039,
      "pdf": 6930,
      "manifold": 6856,
      "case": 6841,
      "point": 6816,
      "property": 6748,
      "vector": 6505,
      "y": 6482,
      "ring": 6422,
      "number": 6101
    },
    "X": {
      ")": 32801,
      "=": 18782,
      "(": 15074,
      ".": 12313,
      ":": 12190,
      "#": 10951,
      "[": 7843,
      "]": 7535,
      "+": 7338,
      "1": 6755,
      "*": 5255,
      "a": 5123,
      "def": 3516,
      "-": 3494,
      "2": 3487,
      "0": 3476,
      "x": 3238,
      "{": 2856,
      ",": 2825,
      "i.e.": 2668,
      "_": 2534,
      "f": 2449,
      "n": 2278,
      "y": 2204,
      "/": 2120,
      "i": 2108,
      "g": 1931,
      "b": 1788,
      "hep": 1719,
      "e.g.": 1657,
      "arxiv": 1594,
      "3": 1498,
      "<": 1427,
      "}": 1281,
      "eq": 1189,
      "c": 1110,
      "etc": 897,
      ">": 862,
      "d": 829,
      "ℝ^(n": 827,
      "z": 814,
      "k": 800,
      "e": 763,
      "j": 736,
      "q": 705,
      "4": 646,
      "h": 638,
      "c^(op": 620,
      "f^": 611,
      "r": 608
    },
    "ADJ": {
      "such": 10509,
      "-": 9658,
      "topological": 7571,
      "differential": 7232,
      "smooth": 6842,
      "general": 6569,
      "high": 6271,
      "monoidal": 5989,
      "finite": 5980,
      "simplicial": 5868,
      "related": 5769,
      "quantum": 5729,
      "algebraic": 5206,
      "other": 4813,
      "geometric": 4265,
      "local": 4180,
      "linear": 4139,
      "abelian": 4136,
      "dimensional": 4091,
      "natural": 4071,
      "weak": 3998,
      "equivalent": 3970,
      "complex": 3945,
      "commutative": 3622,
      "first": 3577,
      "non": 3575,
      "free": 3436,
      "particular": 3378,
      "ordinary": 3351,
      "symmetric": 3338,
      "open": 3318,
      "left": 3271,
      "compact": 3225,
      "real": 3201,
      "canonical": 3199,
      "stable": 3186,
      "same": 3143,
      "right": 3138,
      "small": 3127,
      "cartesian": 2934,
      "more": 2908,
      "classical": 2860,
      "formal": 2815,
      "universal": 2722,
      "internal": 2718,
      "exact": 2565,
      "standard": 2557,
      "special": 2540,
      "full": 2533,
      "above": 2388
    },
    "SPACE": {
      "\n": 252728,
      " ": 223644,
      "\n\n": 213397,
      " ": 97429,
      "\n    ": 81196,
      "\n\n    ": 77376,
      " ": 60348,
      "\n  ": 14041,
      "\n\n\n\n": 13170,
      " ": 11760,
      " ": 10182,
      "\n\n        ": 3875,
      "\n\n  ": 2847,
      "\n        ": 1733,
      "  ": 1296,
      "\n ": 1188,
      "  ": 1124,
      "\n      ": 944,
      "  ": 846,
      "  ": 812,
      "  ": 681,
      "\n     ": 605,
      "\n\n    \n\n    ": 598,
      "\n\n            ": 564,
      "\n\n\n": 404,
      "    ": 398,
      "\n\n    \n\n": 371,
      "\n\n \n\n": 344,
      "   ": 318,
      "\n    \n    ": 269,
      "       ": 219,
      "     ": 215,
      "      ": 188,
      "        ": 187,
      "          ": 185,
      "  ": 178,
      "         ": 171,
      "   ": 168,
      "\n            ": 157,
      "  ": 147,
      "  ": 137,
      "\n\n  \n  ": 135,
      "\n ": 107,
      "            ": 106,
      "           ": 105,
      "\n   ": 102,
      " ": 99,
      "\n                                                                ": 98,
      "\n\n     ": 97,
      "\n\n                ": 95
    },
    "DET": {
      "the": 286862,
      "a": 147863,
      "this": 41901,
      "an": 34092,
      "which": 17692,
      "that": 15162,
      "all": 10842,
      "any": 8629,
      "these": 7312,
      "some": 7292,
      "every": 6449,
      "each": 4544,
      "whose": 3904,
      "die": 2217,
      "those": 2005,
      "no": 1734,
      "both": 1450,
      "another": 1347,
      "such": 1335,
      "das": 1165,
      "der": 1108,
      "(": 879,
      "g": 784,
      "using": 520,
      "being": 468,
      "den": 402,
      ")": 355,
      "either": 215,
      "dem": 202,
      "dies": 188,
      "was": 181,
      "taking": 174,
      "diese": 169,
      "ein": 166,
      "satisfying": 146,
      "𝔤": 133,
      "forming": 126,
      "what": 117,
      "c": 116,
      "whatever": 113,
      "applying": 110,
      "{": 104,
      "eine": 99,
      "having": 86,
      "giving": 81,
      "along": 79,
      "alles": 75,
      "wenn": 73,
      "making": 68,
      "a₁": 68
    },
    "ADP": {
      "of": 209638,
      "in": 108698,
      "for": 55310,
      "to": 47230,
      "on": 41120,
      "as": 33656,
      "by": 33298,
      "with": 32862,
      "from": 15392,
      "at": 11963,
      "over": 10861,
      "between": 6329,
      "under": 4369,
      "into": 3931,
      "via": 2829,
      "about": 2328,
      "up": 2051,
      "along": 1919,
      "out": 1758,
      "like": 1701,
      "through": 1270,
      "without": 1154,
      "after": 970,
      "de": 926,
      "around": 889,
      "der": 835,
      "des": 641,
      "iff": 618,
      "due": 609,
      "inside": 558,
      "von": 536,
      "towards": 487,
      "als": 466,
      "according": 399,
      "g": 389,
      "among": 358,
      "within": 335,
      "=": 325,
      "für": 325,
      "down": 281,
      "against": 266,
      "auf": 263,
      "before": 262,
      "mit": 260,
      "i": 255,
      "m": 250,
      "beyond": 244,
      "above": 243,
      "off": 239,
      "zu": 231
    },
    "VERB": {
      "be": 69437,
      "have": 15919,
      "see": 13955,
      "give": 13722,
      "let": 8472,
      "call": 8312,
      "define": 7549,
      "follow": 6528,
      "use": 5594,
      "say": 4589,
      "=": 4339,
      "consider": 4331,
      "write": 4166,
      "discuss": 4039,
      "induce": 3756,
      "take": 3599,
      "make": 3596,
      "close": 3521,
      "correspond": 3491,
      "mean": 3336,
      "exist": 3211,
      "generalize": 3195,
      "include": 3178,
      "equip": 2980,
      "derive": 2930,
      "preserve": 2817,
      "show": 2783,
      "regard": 2731,
      "denote": 2522,
      "form": 2313,
      "enrich": 2299,
      "think": 2287,
      "satisfy": 2239,
      "ist": 2238,
      "connect": 2237,
      "relate": 2113,
      "appear": 2076,
      "generate": 2049,
      "obtain": 2009,
      "need": 1858,
      "know": 1851,
      "describe": 1838,
      "find": 1833,
      "imply": 1770,
      "apply": 1768,
      "fix": 1705,
      "extend": 1705,
      "twist": 1695,
      "grade": 1682,
      "remark": 1629
    },
    "SYM": {
      "-": 8051,
      "/": 7256,
      "=": 1634,
      ":": 593,
      "+": 50,
      ">": 45,
      "*": 34,
      "(": 26,
      "x": 25,
      "a": 23,
      ";": 16,
      "ℝ/ℤ": 9,
      "g": 7,
      "{": 5,
      "$": 4,
      ")": 4,
      "<": 4,
      "ℝ⁵/ℤ₂": 4,
      "ℚ/ℤ": 3,
      "ℂ/λ": 3,
      "ℤ/ℓℤ": 3,
      "|": 2,
      "𝒞=": 2,
      "ℳ/𝒩": 2,
      "~": 2,
      "ℤ/nℤ": 2,
      "£": 2,
      "_": 2,
      "σ/𝒩": 2,
      "ϵ′/ϵ": 2,
      "c": 2,
      "γ/": 2,
      "μ⁺μ^(−": 1,
      "july": 1,
      "ℤ/k": 1,
      "i": 1,
      "g_(α": 1,
      "(=": 1,
      "/4": 1,
      "ℤ/(2": 1,
      ".": 1,
      "ω₂/ω₁": 1,
      "#": 1,
      "^{-": 1,
      "ℤ/n": 1,
      "^": 1,
      "ℤ/p": 1,
      "ℂ/ℤ": 1,
      "ℒ=": 1,
      "ℛ=": 1
    },
    "AUX": {
      "be": 133286,
      "can": 9636,
      "may": 6641,
      "→": 4516,
      "do": 3671,
      "have": 3279,
      "∈": 2467,
      "−": 2182,
      "will": 2118,
      "should": 1816,
      "would": 1665,
      "must": 1222,
      "×": 931,
      "might": 868,
      "could": 808,
      "⊗": 619,
      "≃": 535,
      "∘": 524,
      "≤": 393,
      "↪": 350,
      "⊂": 318,
      "⋅": 312,
      "not": 311,
      "need": 298,
      "idea": 271,
      "∧": 257,
      "≔": 245,
      "↦": 236,
      "shall": 190,
      "≅": 186,
      "≥": 182,
      "⊕": 175,
      "zu": 159,
      "let": 141,
      "⊆": 141,
      "–": 138,
      "σ": 133,
      "g": 131,
      "…": 129,
      "𝒞": 126,
      "∩": 125,
      "-": 122,
      "daß": 116,
      "a": 114,
      "⊣": 112,
      "kann": 111,
      "ℝ": 104,
      "⇒": 102,
      "ought": 101,
      ")": 100
    },
    "SCONJ": {
      "that": 37679,
      "if": 19109,
      "since": 4953,
      "than": 1826,
      "while": 1712,
      "because": 1646,
      "so": 1474,
      "out": 795,
      "although": 695,
      "whether": 553,
      "though": 389,
      "except": 375,
      "whereas": 238,
      "unless": 164,
      "once": 148,
      "upon": 139,
      "despite": 94,
      "besides": 88,
      "near": 72,
      "whilst": 47,
      "but": 35,
      "albeit": 23,
      "till": 7
    },
    "ADV": {
      "then": 16623,
      "also": 11848,
      "where": 8370,
      "hence": 7493,
      "more": 5858,
      "here": 5141,
      "only": 4240,
      "so": 3934,
      "locally": 3929,
      "now": 3467,
      "just": 3332,
      "when": 3191,
      "precisely": 2803,
      "well": 2743,
      "equivalently": 2698,
      "generally": 2504,
      "above": 2489,
      "thus": 2348,
      "below": 2276,
      "even": 2137,
      "however": 2095,
      "there": 2093,
      "therefore": 2014,
      "often": 1703,
      "how": 1701,
      "first": 1547,
      "indeed": 1492,
      "as": 1474,
      "simply": 1413,
      "moreover": 1353,
      "instead": 1334,
      "still": 1226,
      "similarly": 1216,
      "essentially": 1210,
      "far": 1200,
      "sometimes": 1199,
      "naturally": 1182,
      "together": 1163,
      "again": 1142,
      "very": 1128,
      "is": 1113,
      "that": 1104,
      "finitely": 987,
      "usually": 982,
      "rather": 950,
      "most": 933,
      "namely": 899,
      "fully": 877,
      "already": 877,
      "specifically": 860
    },
    "CCONJ": {
      "and": 90105,
      "or": 11319,
      "but": 9468,
      "so": 1783,
      "und": 1716,
      "&": 912,
      "both": 898,
      "either": 674,
      "et": 485,
      "oder": 242,
      "+": 183,
      "aber": 173,
      "nor": 156,
      "for": 120,
      "plus": 117,
      "and/or": 112,
      "g": 106,
      "yet": 88,
      "neither": 81,
      "minus": 31,
      "=": 26,
      "times": 24,
      "𝔤": 23,
      "string": 16,
      "(": 14,
      "bg": 12,
      "ring": 11,
      "e": 11,
      ")": 11,
      "an": 9,
      "as": 8,
      "c": 8,
      "y": 7,
      "not": 6,
      "being": 5,
      "of": 5,
      "n": 5,
      "aka": 5,
      "i": 5,
      "/": 4,
      "ordering": 4,
      "starting": 4,
      "whether": 4,
      "breaking": 4,
      "grading": 3,
      "ou": 3,
      "increasing": 3,
      "vanishing": 3,
      "crossing": 3,
      "programming": 3
    },
    "PRON": {
      "we": 25122,
      "it": 21518,
      "there": 11601,
      "its": 9982,
      "one": 5699,
      "they": 4748,
      "their": 3528,
      "what": 2856,
      "I": 2835,
      "itself": 2470,
      "you": 1330,
      "his": 854,
      "our": 807,
      "he": 781,
      "sich": 635,
      "something": 581,
      "themselves": 427,
      "sie": 420,
      "er": 381,
      "es": 372,
      "who": 330,
      "nothing": 304,
      "my": 282,
      "wir": 281,
      "ich": 269,
      "everything": 201,
      "anything": 151,
      "your": 146,
      "man": 97,
      "ihm": 78,
      "’s": 71,
      "ourselves": 44,
      "someone": 39,
      "u": 39,
      "anyone": 37,
      "mir": 37,
      "mich": 37,
      "himself": 36,
      "making": 33,
      "ihn": 33,
      "uns": 30,
      "somebody": 29,
      "she": 27,
      "nobody": 23,
      "her": 20,
      "myself": 20,
      "everyone": 18,
      "was": 16,
      "taking": 15,
      "along": 15
    },
    "PROPN": {
      ".": 6858,
      "Lie": 6683,
      "C": 4153,
      "Theory": 3516,
      "J.": 3073,
      "Math": 2870,
      "Phys": 2781,
      "Chern": 2765,
      "Kan": 2244,
      "Simons": 2243,
      "Grothendieck": 2205,
      "A": 2002,
      "Witten": 1978,
      "Mathematics": 1805,
      "A.": 1734,
      "Springer": 1697,
      "M.": 1663,
      "Quillen": 1585,
      "M": 1577,
      "Hopf": 1554,
      "Physics": 1553,
      "Wikipedia": 1527,
      "Lurie": 1489,
      "K": 1472,
      "Yang": 1455,
      "Poisson": 1354,
      "John": 1337,
      "Michael": 1314,
      "de": 1312,
      "Lawvere": 1296,
      "Mills": 1280,
      "G": 1274,
      "Quantum": 1258,
      "Mathematical": 1244,
      "Peter": 1212,
      "Eilenberg": 1212,
      "D": 1131,
      "C.": 1101,
      "Rham": 1096,
      "David": 1093,
      "Set": 1071,
      "S.": 1045,
      "Press": 1033,
      "Soc": 1009,
      "Minkowski": 993,
      "University": 978,
      "Schreiber": 975,
      "R.": 972,
      "Dirac": 967,
      "Geometry": 953
    },
    "NUM": {
      "2": 14640,
      "1": 14596,
      "two": 6737,
      "one": 6711,
      "0": 5468,
      "3": 4942,
      "-": 2774,
      "4": 2634,
      "6": 1330,
      "5": 1330,
      "11": 1248,
      "zero": 1186,
      "7": 1115,
      "10": 1101,
      "ii": 1035,
      "three": 985,
      "13": 909,
      "12": 877,
      "2009": 849,
      "8": 833,
      "2002": 773,
      "2012": 771,
      "2010": 760,
      "n": 733,
      "2011": 729,
      "2008": 700,
      "2000": 693,
      "2013": 685,
      "9": 668,
      "2018": 650,
      "16": 644,
      "2003": 644,
      "14": 634,
      "2001": 629,
      "2007": 626,
      "2014": 625,
      "1999": 616,
      "1996": 615,
      "2004": 612,
      "2006": 599,
      "1998": 595,
      "2005": 570,
      "1995": 566,
      "1997": 548,
      "17": 546,
      "15": 530,
      "1994": 508,
      "18": 500,
      ".": 498,
      "19": 477
    },
    "PART": {
      "to": 24486,
      "not": 10416,
      "’s": 5476,
      "n’t": 780,
      "'s": 301,
      "n't": 256,
      "zu": 76,
      "daß": 58,
      "trying": 35,
      "going": 25,
      "'": 11,
      "g": 10,
      "having": 8,
      "s": 8,
      "following": 5,
      "willing": 3,
      "wishing": 2,
      "allowing": 2,
      "using": 2,
      "wanting": 2,
      "failing": 2,
      "gon": 2,
      "na": 2,
      "choosing": 2,
      "pairing": 2,
      "waiting": 2,
      "coming": 2,
      "wg": 2,
      "attempting": 1,
      ")": 1,
      "howto": 1,
      "thing": 1,
      "beginning": 1,
      "thinking": 1,
      "too": 1,
      "planning": 1,
      "revealing": 1,
      "hoping": 1,
      "tending": 1,
      "be": 1,
      "helping": 1,
      "needing": 1,
      "-to": 1,
      "something": 1,
      "tempting": 1,
      "𝔤": 1,
      "illuminating": 1,
      "being": 1,
      "confusing": 1,
      "meaning": 1
    },
    "INTJ": {
      "say": 127,
      "yes": 103,
      "now": 63,
      "no": 51,
      "well": 51,
      "please": 43,
      "dies": 29,
      "okay": 19,
      "um": 19,
      "ok": 17,
      "daß": 14,
      "ah": 11,
      "blah": 11,
      "hi": 10,
      "def": 10,
      "right": 8,
      "yeah": 7,
      "eg": 7,
      "hm": 6,
      "hmm": 6,
      "da": 6,
      "sure": 5,
      "oh": 5,
      "like": 5,
      "thanks": 4,
      "sorry": 4,
      "je": 4,
      "das": 4,
      "hello": 3,
      "gulp": 3,
      "-": 3,
      "eack": 2,
      "fine": 2,
      "anyway": 2,
      "heh": 2,
      "phew": 2,
      "hmmm": 2,
      "ihm": 2,
      "was": 2,
      "uns": 2,
      "darum": 2,
      "mir": 2,
      "aha": 1,
      "<": 1,
      "my": 1,
      "gh": 1,
      "alright": 1,
      "huh": 1,
      "presto": 1,
      "quote": 1
    }
  },
  "tag_stats": {
    "NFP": {
      "#": 48826,
      "*": 980,
      ";": 470,
      "_": 440,
      "<": 331,
      "=": 328,
      "\\\\": 324,
      "|": 206,
      "&": 186,
      "𝔤": 175,
      ")": 146,
      "(": 139,
      "---": 135,
      "{": 133,
      "}": 130,
      "\\": 118,
      "a": 115,
      "...": 96,
      "0": 93,
      "»": 83,
      "G": 76,
      ">": 73,
      "[": 72,
      "]": 68,
      "\"": 68,
      ":": 66,
      "-": 62,
      "/": 48,
      "^": 48,
      "g": 39,
      ",": 36,
      "?": 30,
      "+": 25,
      "𝔤^": 22,
      "!": 20,
      "..": 14,
      "|ω|": 10,
      "1": 10,
      "¬": 9,
      "geometry": 9,
      "G₂": 8,
      "A": 7,
      "gravity": 7,
      "|𝒞|": 6,
      "|Ψ⟩": 6,
      "C₍": 6,
      "|ψ⟩": 6,
      "|X|": 5,
      "00": 5,
      "geometric": 5
    },
    "NN": {
      "theory": 36825,
      "category": 30667,
      "x": 25671,
      "space": 17522,
      ".": 17246,
      "group": 15277,
      "algebra": 14261,
      "homotopy": 13750,
      "definition": 12661,
      "structure": 12044,
      "field": 11967,
      "model": 11508,
      "n": 11087,
      "-": 10433,
      "a": 10141,
      "object": 9941,
      "f": 9648,
      "functor": 9542,
      "set": 9432,
      "k": 9380,
      "theorem": 9158,
      "context": 9117,
      "cohomology": 8970,
      "c": 8611,
      "morphism": 8375,
      "type": 8219,
      "geometry": 8056,
      "idea": 7466,
      "b": 7192,
      "g": 7169,
      "p": 7011,
      "pdf": 6928,
      "form": 6752,
      "bundle": 6516,
      "y": 6475,
      "product": 6450,
      "function": 6392,
      "map": 6136,
      "d": 5999,
      "vector": 5956,
      "section": 5875,
      "equivalence": 5815,
      "case": 5815,
      "example": 5723,
      "proof": 5351,
      "string": 5326,
      "v": 5308,
      "r": 4990,
      "proposition": 4885,
      "point": 4817
    },
    "LS": {
      ".": 6806,
      "#": 5062,
      "1": 3427,
      "2": 3269,
      "3": 1467,
      "4": 627,
      "5": 339,
      "ii": 216,
      "6": 206,
      "7": 132,
      "i": 120,
      "8": 102,
      "iii": 85,
      "0": 82,
      "9": 74,
      "b": 71,
      "a": 68,
      "i.": 68,
      "10": 60,
      "11": 47,
      "iv": 30,
      "12": 25,
      "c": 20,
      "b.": 20,
      "13": 19,
      "2d": 18,
      "vii": 18,
      "1d": 17,
      "3d": 16,
      "14": 14,
      "15": 14,
      "16": 14,
      "17": 14,
      "a.": 14,
      "viii": 14,
      "*": 14,
      "4d": 12,
      "2.1": 11,
      "vi": 11,
      "18": 10,
      "19": 10,
      "2.2": 10,
      "7d": 10,
      "d": 9,
      "20": 8,
      "1.2": 8,
      "3.3": 8,
      "5d": 8,
      "2.3": 8,
      "11d": 8
    },
    "JJ": {
      "such": 10509,
      "-": 9658,
      "topological": 7571,
      "differential": 7232,
      "smooth": 6837,
      "general": 6569,
      "monoidal": 5989,
      "finite": 5980,
      "simplicial": 5868,
      "related": 5769,
      "quantum": 5729,
      "algebraic": 5206,
      "other": 4813,
      "geometric": 4265,
      "local": 4180,
      "linear": 4139,
      "abelian": 4136,
      "dimensional": 4091,
      "natural": 4071,
      "equivalent": 3970,
      "complex": 3945,
      "weak": 3750,
      "commutative": 3622,
      "first": 3577,
      "non": 3575,
      "free": 3436,
      "particular": 3378,
      "ordinary": 3351,
      "symmetric": 3338,
      "open": 3318,
      "left": 3271,
      "compact": 3225,
      "real": 3201,
      "canonical": 3199,
      "stable": 3186,
      "same": 3143,
      "right": 3138,
      "cartesian": 2934,
      "classical": 2860,
      "formal": 2815,
      "small": 2740,
      "universal": 2722,
      "internal": 2718,
      "exact": 2565,
      "standard": 2557,
      "special": 2540,
      "full": 2525,
      "above": 2388,
      "super": 2356,
      "continuous": 2341
    },
    "_SP": {
      "\n": 252728,
      " ": 223644,
      "\n\n": 213397,
      " ": 97429,
      "\n    ": 81196,
      "\n\n    ": 77376,
      " ": 60348,
      "\n  ": 14041,
      "\n\n\n\n": 13170,
      " ": 11760,
      " ": 10182,
      "\n\n        ": 3875,
      "\n\n  ": 2847,
      "\n        ": 1733,
      "  ": 1296,
      "\n ": 1188,
      "  ": 1124,
      "\n      ": 944,
      "  ": 846,
      "  ": 812,
      "  ": 681,
      "\n     ": 605,
      "\n\n    \n\n    ": 598,
      "\n\n            ": 564,
      "\n\n\n": 404,
      "    ": 398,
      "\n\n    \n\n": 371,
      "\n\n \n\n": 344,
      "   ": 318,
      "\n    \n    ": 269,
      "       ": 219,
      "     ": 215,
      "      ": 188,
      "        ": 187,
      "          ": 185,
      "  ": 178,
      "         ": 171,
      "   ": 168,
      "\n            ": 157,
      "  ": 147,
      "  ": 137,
      "\n\n  \n  ": 135,
      "\n ": 107,
      "            ": 106,
      "           ": 105,
      "\n   ": 102,
      " ": 99,
      "\n                                                                ": 98,
      "\n\n     ": 97,
      "\n\n                ": 95
    },
    "DT": {
      "the": 286866,
      "a": 147874,
      "this": 41902,
      "an": 34092,
      "all": 9405,
      "any": 8629,
      "these": 7312,
      "some": 7292,
      "every": 6449,
      "that": 5758,
      "each": 4544,
      "those": 2005,
      "die": 1989,
      "no": 1735,
      "both": 1386,
      "another": 1347,
      "das": 1089,
      "der": 1041,
      "(": 880,
      "g": 770,
      "using": 519,
      "being": 470,
      "den": 388,
      ")": 355,
      "either": 215,
      "dem": 186,
      "dies": 177,
      "taking": 174,
      "diese": 170,
      "ein": 167,
      "satisfying": 146,
      "𝔤": 127,
      "forming": 126,
      "c": 116,
      "applying": 110,
      "{": 104,
      "eine": 99,
      "having": 86,
      "giving": 81,
      "alles": 76,
      "along": 73,
      "making": 68,
      "a₁": 68,
      "defining": 62,
      "containing": 61,
      "regarding": 54,
      "following": 52,
      "adding": 48,
      "sending": 46,
      "alle": 46
    },
    "IN": {
      "of": 209638,
      "in": 108522,
      "for": 55310,
      "to": 47239,
      "on": 40983,
      "that": 37679,
      "as": 33655,
      "by": 33291,
      "with": 32837,
      "if": 19111,
      "from": 15392,
      "at": 11963,
      "over": 10777,
      "between": 6329,
      "since": 4953,
      "under": 4369,
      "into": 3931,
      "via": 2829,
      "about": 2291,
      "along": 1906,
      "than": 1826,
      "while": 1712,
      "like": 1701,
      "because": 1646,
      "so": 1474,
      "through": 1252,
      "up": 1210,
      "without": 1154,
      "after": 970,
      "de": 926,
      "around": 876,
      "der": 835,
      "out": 795,
      "although": 695,
      "des": 642,
      "iff": 618,
      "due": 609,
      "inside": 558,
      "whether": 553,
      "von": 536,
      "towards": 487,
      "als": 472,
      "according": 399,
      "g": 389,
      "though": 389,
      "except": 375,
      "among": 358,
      "within": 335,
      "für": 326,
      "=": 325
    },
    "VBZ": {
      "be": 136896,
      "have": 9163,
      "=": 4300,
      "follow": 2931,
      "mean": 2430,
      "do": 2420,
      "ist": 2202,
      "exist": 2126,
      "give": 1699,
      "say": 1623,
      "preserve": 1593,
      "imply": 1425,
      "make": 1378,
      "appear": 1184,
      "induce": 1179,
      "include": 1066,
      "yield": 1017,
      "satisfy": 963,
      "send": 957,
      "define": 957,
      "become": 898,
      "take": 871,
      "hold": 858,
      "denote": 795,
      "go": 775,
      "correspond": 754,
      "show": 709,
      "contain": 699,
      "admit": 694,
      "consist": 687,
      "exhibit": 593,
      "come": 593,
      "seem": 527,
      "vanish": 511,
      "’": 476,
      "turn": 474,
      "generalize": 464,
      "use": 463,
      "extend": 428,
      "need": 423,
      "commute": 422,
      "provide": 402,
      "act": 400,
      "allow": 398,
      "apply": 387,
      "carry": 380,
      "remain": 364,
      "require": 340,
      "assign": 340,
      "arise": 338
    },
    "JJR": {
      "high": 6012,
      "more": 2908,
      "More": 360,
      "low": 316,
      "strong": 230,
      "weak": 228,
      "large": 220,
      "small": 175,
      "well": 164,
      "less": 149,
      "simple": 141,
      "early": 126,
      "easy": 116,
      "great": 103,
      "big": 75,
      "old": 71,
      "broad": 55,
      "deep": 48,
      "rich": 46,
      "wide": 45,
      "fine": 44,
      "hard": 38,
      "long": 35,
      "few": 31,
      "close": 30,
      "short": 28,
      "latt": 23,
      "clear": 22,
      "strict": 20,
      "nice": 19,
      "bad": 15,
      "fancy": 12,
      "coarse": 11,
      "heavy": 10,
      "upp": 9,
      "slow": 9,
      "full": 8,
      "tricky": 8,
      "quick": 8,
      "verdi": 7,
      "late": 7,
      "subtle": 7,
      "young": 6,
      "fast": 6,
      "new": 6,
      "frölich": 6,
      "smooth": 5,
      "messy": 5,
      "furth": 5,
      "pretty": 4
    },
    "NNS": {
      "category": 10790,
      "space": 10197,
      "object": 7494,
      "reference": 7490,
      "group": 6688,
      "algebra": 6336,
      "morphism": 6180,
      "concept": 5250,
      "set": 4865,
      "function": 4438,
      "property": 4313,
      "example": 4154,
      "functor": 3903,
      "term": 3783,
      "map": 3473,
      "field": 3220,
      "element": 3046,
      "bundle": 2995,
      "manifold": 2897,
      "theory": 2832,
      "structure": 2817,
      "number": 2729,
      "form": 2604,
      "-": 2515,
      "model": 2486,
      "module": 2386,
      "complex": 2302,
      "type": 2239,
      "sheaf": 2123,
      "class": 2082,
      "spectrum": 2076,
      "limit": 2056,
      "point": 1999,
      "brane": 1830,
      "colimit": 1822,
      "groupoid": 1812,
      "equivalence": 1796,
      "mathematic": 1765,
      "pp": 1700,
      "ring": 1691,
      "system": 1581,
      "presheave": 1540,
      "product": 1518,
      "condition": 1476,
      "representation": 1456,
      "diagram": 1388,
      "scheme": 1370,
      "note": 1363,
      "value": 1361,
      "equation": 1331
    },
    ".": {
      ".": 160432,
      ")": 18049,
      "?": 1371,
      "X.": 1092,
      "!": 808,
      "]": 595,
      "A.": 429,
      "}": 427,
      "C.": 400,
      "=": 383,
      ",": 299,
      "x.": 284,
      "n.": 259,
      "𝒞.": 252,
      "B.": 236,
      "G.": 228,
      "Y.": 228,
      "k.": 193,
      "ℕ.": 165,
      "ℝ.": 165,
      "f.": 147,
      "Σ.": 143,
      "M.": 140,
      "S.": 131,
      "I.": 130,
      "F.": 128,
      "U.": 123,
      "V.": 120,
      "y.": 116,
      "K.": 115,
      "a.": 100,
      "ℤ.": 99,
      "..": 98,
      "E.": 97,
      "*": 90,
      "𝔤.": 88,
      "ℂ.": 85,
      "ℰ.": 83,
      "…": 82,
      "P.": 82,
      "W.": 79,
      "D.": 77,
      "N.": 76,
      "𝒜.": 74,
      "Γ.": 73,
      "T.": 69,
      "R.": 69,
      "∞.": 67,
      "b.": 65,
      "i.": 62
    },
    "SYM": {
      "-": 8051,
      "/": 7256,
      "=": 1634,
      ":": 593,
      "+": 50,
      ">": 45,
      "*": 34,
      "(": 26,
      "x": 25,
      "a": 23,
      ";": 16,
      "ℝ/ℤ": 9,
      "g": 7,
      "{": 5,
      ")": 4,
      "<": 4,
      "ℝ⁵/ℤ₂": 4,
      "ℚ/ℤ": 3,
      "ℂ/λ": 3,
      "ℤ/ℓℤ": 3,
      "|": 2,
      "𝒞=": 2,
      "ℳ/𝒩": 2,
      "~": 2,
      "ℤ/nℤ": 2,
      "_": 2,
      "σ/𝒩": 2,
      "ϵ′/ϵ": 2,
      "c": 2,
      "γ/": 2,
      "μ⁺μ^(−": 1,
      "july": 1,
      "ℤ/k": 1,
      "i": 1,
      "g_(α": 1,
      "(=": 1,
      "/4": 1,
      "ℤ/(2": 1,
      ".": 1,
      "ω₂/ω₁": 1,
      "#": 1,
      "^{-": 1,
      "ℤ/n": 1,
      "^": 1,
      "ℤ/p": 1,
      "ℂ/ℤ": 1,
      "ℒ=": 1,
      "ℛ=": 1,
      "c=": 1,
      "ℂ/τ": 1
    },
    "HYPH": {
      "-": 94454,
      ":": 46,
      "(": 26,
      "_": 12,
      "+": 5,
      "*": 3,
      "C": 3,
      "ϵ-δ": 2,
      "ρ-": 2,
      "[": 2,
      "σ-": 1,
      "ω-": 1,
      "ℝ-": 1,
      ")": 1,
      "=": 1,
      "Hin-": 1,
      "Σ-": 1,
      "𝒯-": 1
    },
    ",": {
      ",": 330574,
      ")": 10661,
      ".": 1290,
      "}": 275,
      "]": 245,
      "/": 206,
      "?": 199,
      "!": 80,
      "*": 55,
      "=": 24,
      "-": 8,
      "(": 8,
      "+": 8,
      "⊗,⊤": 7,
      "\"": 7,
      "−,−": 7,
      ":": 5,
      "_": 5,
      "∧,𝕊": 5,
      ">": 4,
      "Н.": 4,
      ";": 4,
      "М.": 4,
      "⊗,I": 3,
      "'": 2,
      "\\\\": 2,
      "⟨,⟩": 2,
      "⊳,σ": 1,
      "−,+,⋯": 1,
      "being": 1,
      "~": 1,
      "∧,∨,→": 1,
      "⟨ξ₁⊗η₁,ξ₂⊗η₂⟩": 1,
      "⟨η₁,⟨ξ₁,ξ₂⟩⋅η₂⟩": 1,
      "⟨−,⟩": 1,
      "𝒞₁,⊗₁,τ₁": 1,
      "𝒞₂,⊗₂,τ₂": 1,
      "Д.": 1,
      "G": 1,
      "⋅,b": 1,
      "−,⋅": 1,
      "⊗,ℤ": 1,
      "⟨ω₁,ω": 1,
      "⟨−,−⟩": 1,
      "∧,∨,⇒": 1,
      "⟨−,−,−": 1,
      "⟨−,−,⋯": 1,
      "ℝ₊,⋅": 1,
      "−,C": 1,
      "∨,∧": 1
    },
    "VB": {
      "be": 26895,
      "see": 12787,
      "let": 8494,
      "write": 2463,
      "consider": 2261,
      "define": 1819,
      "have": 1795,
      "remark": 1563,
      "notice": 1367,
      "note": 1334,
      "say": 1249,
      "show": 944,
      "make": 900,
      "use": 849,
      "take": 798,
      "suppose": 792,
      "think": 731,
      "recall": 688,
      "get": 626,
      "give": 594,
      "denote": 567,
      "prove": 524,
      "assume": 518,
      "form": 491,
      "do": 468,
      "check": 464,
      "construct": 459,
      "find": 440,
      "observe": 426,
      "exist": 394,
      "mean": 389,
      "call": 363,
      "regard": 359,
      "obtain": 350,
      "work": 345,
      "apply": 287,
      "understand": 285,
      "choose": 278,
      "satisfy": 254,
      "describe": 248,
      "ask": 244,
      "compute": 242,
      "look": 230,
      "know": 228,
      "identify": 227,
      "compare": 225,
      "speak": 217,
      "beware": 215,
      "appear": 209,
      "need": 209
    },
    "RB": {
      "then": 16624,
      "also": 11848,
      "not": 10420,
      "hence": 7494,
      "here": 5141,
      "only": 4240,
      "so": 3934,
      "locally": 3929,
      "now": 3467,
      "just": 3332,
      "precisely": 2803,
      "equivalently": 2698,
      "well": 2507,
      "generally": 2504,
      "above": 2489,
      "thus": 2348,
      "below": 2276,
      "even": 2137,
      "there": 2093,
      "however": 2073,
      "therefore": 2014,
      "often": 1703,
      "first": 1547,
      "indeed": 1492,
      "as": 1475,
      "simply": 1413,
      "moreover": 1353,
      "instead": 1334,
      "still": 1226,
      "similarly": 1217,
      "essentially": 1210,
      "sometimes": 1199,
      "naturally": 1182,
      "together": 1163,
      "again": 1142,
      "very": 1128,
      "is": 1118,
      "that": 1089,
      "far": 1088,
      "finitely": 987,
      "usually": 982,
      "rather": 950,
      "namely": 899,
      "fully": 877,
      "already": 877,
      "specifically": 860,
      "actually": 847,
      "necessarily": 827,
      "always": 803,
      "respectively": 797
    },
    "``": {
      "→": 32949,
      "\"": 25234,
      "∈": 15894,
      "−": 14389,
      "–": 6388,
      "×": 6094,
      "'": 6011,
      "≃": 4459,
      "⊗": 4010,
      "…": 3834,
      "∘": 3415,
      "∞": 3255,
      "↪": 2974,
      "𝒞": 2612,
      "≔": 2369,
      "≤": 2328,
      "⊂": 2237,
      "ℝ": 2057,
      "↦": 1982,
      "∧": 1972,
      "⋅": 1887,
      "ω": 1828,
      "ℕ": 1617,
      "Σ": 1503,
      "ϕ": 1499,
      "α": 1436,
      "⋯": 1352,
      "ℤ": 1311,
      "≥": 1299,
      "σ": 1203,
      "⊣": 1127,
      "Γ": 993,
      "⊕": 988,
      "ℂ": 958,
      "μ": 949,
      "≅": 944,
      "κ": 938,
      "⊆": 900,
      "η": 857,
      "ρ": 845,
      "∩": 810,
      "𝒜": 799,
      "ℰ": 788,
      "⇒": 778,
      "π": 760,
      "∨": 749,
      "λ": 736,
      "ϵ": 722,
      "Δ": 720,
      "β": 702
    },
    "-RRB-": {
      ")": 185913,
      ",": 12810,
      ".": 12171,
      "}": 4244,
      "]": 2847,
      "*": 1252,
      ";": 906,
      "!": 319,
      "):": 267,
      "?": 132,
      "/": 107,
      "8)": 48,
      "(": 26,
      "...": 11,
      ":)": 10,
      "[": 9,
      "{": 8,
      "|": 7,
      ":": 4,
      ">": 4,
      "∞.": 4,
      ":}": 2,
      "ℤ)↦": 1,
      "ℂ.": 1,
      "δ)δ": 1,
      "π)))π": 1,
      "−.": 1,
      "𝒞₂.": 1,
      "…": 1,
      "𝒞.": 1,
      "Ψ))Ψ": 1,
      "/ℝ": 1,
      "g": 1,
      "ϕ.": 1,
      "ϕ)₀": 1,
      "∇.": 1,
      "ℤ.": 1,
      "G": 1,
      "\"": 1,
      "P)|": 1,
      "Ω.": 1,
      "/)→": 1,
      "≈.": 1
    },
    "VBG": {
      "follow": 2997,
      "correspond": 2108,
      "be": 1876,
      "use": 1784,
      "underlie": 1306,
      "classify": 672,
      "take": 616,
      "satisfy": 508,
      "define": 472,
      "preserve": 452,
      "accord": 441,
      "include": 440,
      "consist": 399,
      "form": 378,
      "apply": 370,
      "result": 340,
      "make": 324,
      "say": 291,
      "have": 289,
      "involve": 259,
      "contain": 256,
      "represent": 252,
      "cover": 237,
      "commute": 236,
      "intersect": 232,
      "regard": 230,
      "send": 227,
      "go": 226,
      "act": 218,
      "assume": 218,
      "pass": 214,
      "consider": 201,
      "vanish": 201,
      "work": 192,
      "generate": 180,
      "look": 173,
      "give": 171,
      "mean": 169,
      "speak": 164,
      "start": 160,
      "generalize": 160,
      "map": 157,
      "construct": 156,
      "exhibit": 155,
      "interact": 151,
      "relate": 151,
      "describe": 151,
      "compute": 144,
      "depend": 143,
      "identify": 141
    },
    "CC": {
      "and": 90109,
      "or": 11319,
      "but": 9468,
      "so": 1783,
      "und": 1716,
      "&": 912,
      "both": 899,
      "either": 674,
      "et": 485,
      "oder": 242,
      "+": 183,
      "aber": 173,
      "nor": 156,
      "for": 120,
      "plus": 117,
      "and/or": 112,
      "g": 106,
      "yet": 88,
      "neither": 81,
      "minus": 31,
      "=": 26,
      "times": 24,
      "𝔤": 23,
      "string": 16,
      "(": 14,
      "bg": 12,
      "ring": 11,
      "e": 11,
      ")": 11,
      "an": 9,
      "as": 8,
      "c": 8,
      "y": 7,
      "not": 6,
      "being": 5,
      "of": 5,
      "n": 5,
      "aka": 5,
      "i": 5,
      "/": 4,
      "ordering": 4,
      "starting": 4,
      "whether": 4,
      "breaking": 4,
      "grading": 3,
      "ou": 3,
      "increasing": 3,
      "vanishing": 3,
      "crossing": 3,
      "programming": 3
    },
    "PRP": {
      "we": 25122,
      "it": 21517,
      "one": 5699,
      "they": 4748,
      "I": 2835,
      "itself": 2470,
      "you": 1330,
      "he": 781,
      "sich": 635,
      "themselves": 428,
      "sie": 422,
      "er": 381,
      "es": 372,
      "wir": 283,
      "ich": 269,
      "man": 97,
      "ihm": 78,
      "’s": 71,
      "ourselves": 44,
      "u": 39,
      "mir": 37,
      "mich": 37,
      "himself": 36,
      "making": 33,
      "ihn": 33,
      "uns": 30,
      "she": 27,
      "myself": 20,
      "along": 15,
      "s": 11,
      "connecting": 9,
      "defining": 9,
      "g": 8,
      "taking": 8,
      "oneself": 8,
      "ihr": 8,
      "du": 8,
      "following": 7,
      "containing": 7,
      "m": 7,
      "giving": 7,
      "regarding": 6,
      "y": 6,
      "'s": 6,
      "using": 5,
      "𝔤": 5,
      "allowing": 5,
      "yourself": 5,
      "k": 5,
      "applying": 5
    },
    "WDT": {
      "which": 17693,
      "that": 9404,
      "die": 230,
      "was": 181,
      "what": 117,
      "whatever": 113,
      "das": 77,
      "wenn": 75,
      "wie": 69,
      "der": 67,
      "welche": 60,
      "weil": 44,
      "welches": 33,
      "indem": 21,
      "qui": 17,
      "g": 16,
      "dem": 16,
      "den": 14,
      "worin": 14,
      "denen": 13,
      "es": 12,
      "daß": 10,
      "welchem": 10,
      "dies": 8,
      "whichever": 6,
      "along": 6,
      "welchen": 6,
      "bg": 5,
      "wich": 5,
      "𝔤": 5,
      "something": 5,
      "que": 4,
      "dass": 4,
      "deren": 4,
      "ring": 3,
      "dessen": 3,
      "wo": 3,
      "welcher": 3,
      "space(which": 2,
      "ℝalg": 2,
      "womit": 2,
      "whic": 2,
      "ehe": 2,
      "damit": 2,
      "wer": 2,
      "als": 2,
      "being": 1,
      "among": 1,
      "sending": 1,
      "following": 1
    },
    "-LRB-": {
      "(": 132038,
      "{": 2241,
      "[": 911,
      "_": 728,
      "(=": 115,
      ")": 87,
      "*": 74,
      "<": 34,
      "𝒢_(•": 34,
      "𝔤": 32,
      "G": 26,
      "𝒞_(𝕋": 15,
      "π_(•": 14,
      "Γ′_(Σ": 14,
      ":": 14,
      ";": 12,
      "ℳ(𝒪": 12,
      "𝒦(𝒜": 10,
      "β_(λ": 9,
      "Π_(𝔞": 9,
      "ε(σ": 7,
      "α(ϵ": 7,
      "ℬ(ℋ": 7,
      "π₁(𝔼": 7,
      "φ(α": 7,
      "#": 6,
      "⊗_(𝒞": 6,
      "ω(κ": 6,
      "ω(ϕ": 6,
      "𝔸_(ℤ": 6,
      "π₁(X": 6,
      "Σ_(k": 6,
      "π₃(𝕊": 5,
      "𝔸_(ℚ": 5,
      "Π_(∞": 5,
      "Π(Σ": 5,
      "+": 5,
      "g": 5,
      "π₀(X": 5,
      "⋆_(π": 5,
      "Γ_(Σ)(E": 4,
      "Δ_(−": 4,
      "𝒪_(𝒳": 4,
      "BG": 4,
      "𝒳_(•": 4,
      "𝒟(𝒜": 4,
      "π_(•)(𝕊": 4,
      "𝒲_(λ": 4,
      "𝔞_(•": 4,
      "Λ(ℤ": 3
    },
    "VBN": {
      "give": 10730,
      "call": 7235,
      "define": 3612,
      "close": 3472,
      "equip": 2785,
      "discuss": 2768,
      "derive": 2709,
      "generalize": 2304,
      "induce": 2278,
      "enrich": 2258,
      "connect": 2086,
      "regard": 1918,
      "be": 1767,
      "relate": 1722,
      "use": 1715,
      "grade": 1669,
      "twist": 1630,
      "generate": 1598,
      "fix": 1372,
      "associate": 1351,
      "know": 1313,
      "value": 1186,
      "obtain": 1076,
      "consider": 1056,
      "describe": 1019,
      "base": 1011,
      "point": 929,
      "think": 915,
      "extend": 912,
      "cross": 880,
      "take": 871,
      "bound": 828,
      "filter": 822,
      "denote": 822,
      "identify": 816,
      "leave": 785,
      "order": 775,
      "understand": 722,
      "direct": 712,
      "find": 709,
      "present": 676,
      "introduce": 670,
      "represent": 662,
      "show": 658,
      "write": 647,
      "see": 644,
      "reduce": 598,
      "make": 587,
      "require": 563,
      "orient": 555
    },
    "FW": {
      ")": 32388,
      "=": 18006,
      "(": 14832,
      "+": 7224,
      ":": 7150,
      ".": 5070,
      "*": 5042,
      "a": 4828,
      "def": 3472,
      "1": 2910,
      "x": 2864,
      "i.e.": 2669,
      ",": 2458,
      "0": 2283,
      "_": 2249,
      "{": 2206,
      "f": 2124,
      "y": 1984,
      "n": 1905,
      "g": 1886,
      "i": 1748,
      "e.g.": 1658,
      "b": 1567,
      "eq": 1185,
      "<": 1071,
      "]": 1060,
      "c": 990,
      "etc": 898,
      "}": 893,
      "ℝ^(n": 772,
      "/": 750,
      "z": 724,
      "d": 669,
      "j": 655,
      "e": 640,
      "q": 603,
      "de": 595,
      "𝔤": 572,
      "h": 571,
      "k": 553,
      "r": 548,
      "):": 523,
      "f^": 521,
      "u": 511,
      "c^(op": 504,
      "#": 500,
      "v": 485,
      "s": 482,
      "x_(n": 478,
      "[": 466
    },
    "NNP": {
      ".": 6858,
      "Lie": 6683,
      "C": 4153,
      "Theory": 3516,
      "J.": 3073,
      "Math": 2870,
      "Phys": 2781,
      "Chern": 2765,
      "Kan": 2244,
      "Simons": 2230,
      "Grothendieck": 2205,
      "A": 2002,
      "Witten": 1978,
      "Mathematics": 1736,
      "A.": 1734,
      "Springer": 1697,
      "M.": 1663,
      "Quillen": 1585,
      "M": 1577,
      "Hopf": 1554,
      "Physics": 1553,
      "Wikipedia": 1527,
      "Lurie": 1489,
      "K": 1472,
      "Yang": 1455,
      "Poisson": 1354,
      "John": 1337,
      "Michael": 1314,
      "de": 1312,
      "Lawvere": 1296,
      "G": 1273,
      "Quantum": 1258,
      "Mathematical": 1244,
      "Mills": 1236,
      "Peter": 1212,
      "Eilenberg": 1212,
      "D": 1131,
      "C.": 1101,
      "Rham": 1096,
      "David": 1093,
      "Set": 1071,
      "S.": 1045,
      "Press": 1033,
      "Soc": 1009,
      "Minkowski": 993,
      "University": 978,
      "Schreiber": 975,
      "R.": 972,
      "Dirac": 967,
      "Geometry": 952
    },
    "CD": {
      "2": 14640,
      "1": 14596,
      "two": 6737,
      "one": 6712,
      "0": 5468,
      "3": 4942,
      "-": 2774,
      "4": 2634,
      "6": 1330,
      "5": 1330,
      "11": 1248,
      "zero": 1186,
      "7": 1115,
      "10": 1101,
      "ii": 1035,
      "three": 985,
      "13": 909,
      "12": 877,
      "2009": 849,
      "8": 833,
      "2002": 773,
      "2012": 771,
      "2010": 760,
      "n": 733,
      "2011": 729,
      "2008": 700,
      "2000": 693,
      "2013": 685,
      "9": 668,
      "2018": 650,
      "16": 644,
      "2003": 644,
      "14": 634,
      "2001": 629,
      "2007": 626,
      "2014": 625,
      "1999": 616,
      "1996": 615,
      "2004": 612,
      "2006": 599,
      "1998": 595,
      "2005": 570,
      "1995": 566,
      "1997": 548,
      "17": 546,
      "15": 530,
      "1994": 508,
      "18": 500,
      ".": 498,
      "19": 477
    },
    "VBP": {
      "be": 30889,
      "have": 7479,
      "do": 1575,
      "include": 1391,
      "form": 987,
      "need": 976,
      "discuss": 951,
      "say": 818,
      "write": 718,
      "define": 609,
      "exist": 604,
      "get": 571,
      "correspond": 533,
      "use": 491,
      "call": 464,
      "consider": 460,
      "appear": 411,
      "give": 408,
      "think": 404,
      "take": 396,
      "want": 394,
      "obtain": 389,
      "satisfy": 384,
      "sind": 349,
      "make": 337,
      "see": 302,
      "find": 295,
      "commute": 286,
      "preserve": 285,
      "coincide": 281,
      "denote": 264,
      "hold": 248,
      "arise": 246,
      "come": 230,
      "show": 221,
      "know": 197,
      "become": 189,
      "vanish": 189,
      "play": 183,
      "wird": 181,
      "mean": 174,
      "induce": 167,
      "describe": 163,
      "follow": 162,
      "start": 158,
      "assume": 156,
      "compute": 155,
      "apply": 154,
      "agree": 153,
      "claim": 153
    },
    "NNPS": {
      "Notes": 710,
      "Categories": 521,
      "Proceedings": 484,
      "Theories": 449,
      "Lectures": 438,
      "Foundations": 401,
      "Structures": 338,
      "Groups": 325,
      "Applications": 322,
      "Spaces": 294,
      "Annals": 272,
      "Fields": 235,
      "Models": 213,
      "Monographs": 211,
      "Studies": 190,
      "Branes": 189,
      "Advances": 185,
      "Manifolds": 177,
      "Letters": 172,
      "Sketches": 150,
      "Methods": 137,
      "Aspects": 131,
      "Sequences": 121,
      "Surveys": 120,
      "Sciences": 117,
      "Stacks": 117,
      "Strings": 115,
      "Transactions": 112,
      "Orbifolds": 104,
      "Dynamics": 100,
      "Texts": 99,
      "algebras": 99,
      "Dimensions": 98,
      "Communications": 97,
      "Superstrings": 92,
      "Mechanics": 84,
      "Toposes": 82,
      "Semantics": 80,
      "Notices": 79,
      "Systems": 78,
      "Algebras": 76,
      "Sheaves": 76,
      "Invariants": 76,
      "Functions": 74,
      "Reports": 73,
      "branes": 73,
      "Anomalies": 73,
      "Mathematics": 69,
      "Surfaces": 65,
      "Knots": 63
    },
    "XX": {
      "[": 7386,
      "]": 6479,
      "#": 5384,
      "0": 1102,
      "=": 781,
      "{": 651,
      "1": 418,
      ")": 416,
      ">": 388,
      "}": 388,
      "x": 372,
      "n": 369,
      ",": 365,
      "f": 325,
      "<": 315,
      "a": 295,
      "_": 281,
      "lemma": 275,
      "k": 247,
      "(": 246,
      "i": 244,
      "y": 219,
      "set": 205,
      "*": 189,
      "sset": 158,
      "d": 152,
      "b": 151,
      "&": 148,
      "/": 144,
      "m": 141,
      ".": 120,
      "e": 120,
      "c^(op": 116,
      "+": 115,
      "δ[n": 112,
      "δ[1": 112,
      "arxiv": 110,
      "c": 104,
      ":": 101,
      "sset]_(proj": 99,
      "p": 98,
      "contents": 97,
      "q": 95,
      "g": 93,
      "t": 91,
      "f^": 90,
      "z": 90,
      "j": 80,
      "\\to": 78,
      "\\array": 72
    },
    "VBD": {
      "be": 4397,
      "have": 458,
      "use": 292,
      "do": 221,
      "introduce": 147,
      "show": 138,
      "give": 120,
      "appear": 104,
      "prove": 104,
      "come": 98,
      "write": 81,
      "lead": 80,
      "say": 80,
      "define": 80,
      "make": 71,
      "start": 71,
      "see": 69,
      "become": 68,
      "call": 68,
      "consider": 64,
      "find": 62,
      "develop": 50,
      "propose": 49,
      "take": 47,
      "war": 45,
      "think": 43,
      "suggest": 39,
      "describe": 38,
      "begin": 35,
      "study": 33,
      "observe": 31,
      "=": 31,
      "hat": 30,
      "construct": 28,
      "identify": 27,
      "arise": 26,
      "mean": 25,
      "discuss": 24,
      "work": 24,
      "hatte": 24,
      "motivate": 23,
      "want": 23,
      "know": 23,
      "notice": 22,
      "get": 22,
      "discover": 22,
      "go": 21,
      "argue": 21,
      "need": 21,
      "extend": 20
    },
    ":": {
      ":": 45496,
      ";": 13103,
      "):": 2601,
      "-": 1029,
      ")": 900,
      "#": 213,
      "]": 133,
      "=": 107,
      "a": 87,
      ".": 85,
      "A": 43,
      "/": 32,
      "[": 19,
      "...": 16,
      "|": 14,
      "}": 14,
      "'": 13,
      ">": 11,
      "---": 10,
      "--": 9,
      ":)": 8,
      "G": 6,
      "⋄:𝒞": 5,
      "C=": 4,
      ",": 3,
      "(-:": 3,
      ":]": 3,
      "+": 2,
      "Applications": 2,
      "𝒞=": 2,
      "?": 2,
      "jene": 2,
      "𝒮=": 1,
      "~": 1,
      "𝒯=": 1,
      "scattering": 1,
      "⊗:𝒜": 1,
      "·": 1,
      ":}": 1,
      "g": 1,
      "𝒞:=": 1,
      "Teaching": 1,
      "becoming": 1,
      "BG": 1,
      "∞-": 1,
      ";)": 1,
      ":O": 1,
      ":-)": 1,
      "М.": 1,
      "alle": 1
    },
    "WRB": {
      "where": 8352,
      "when": 3189,
      "how": 1701,
      "whenever": 450,
      "why": 374,
      "whence": 92,
      "wenn": 41,
      "wo": 28,
      "however": 22,
      "whereby": 16,
      "that": 15,
      "wherever": 11,
      "worin": 7,
      "wie": 7,
      "g": 6,
      "whereupon": 3,
      "saying": 3,
      "showing": 2,
      "whereas": 2,
      "wherein": 2,
      "were": 2,
      "describing": 1,
      "indicating": 1,
      "𝔤": 1,
      "stating": 1,
      "recording": 1,
      "meaning": 1,
      "whenver": 1,
      "doing": 1,
      "considering": 1,
      "analyzing": 1,
      "mg": 1,
      "whereof": 1,
      "weil": 1,
      "deren": 1
    },
    "PRP$": {
      "its": 9980,
      "their": 3528,
      "his": 854,
      "our": 807,
      "my": 282,
      "your": 146,
      "her": 20,
      "using": 7,
      "taking": 7,
      "bg": 6,
      "changing": 4,
      "forgetting": 3,
      "regarding": 3,
      "switching": 2,
      "completing": 2,
      "writing": 2,
      "𝔤": 2,
      "forming": 2,
      "studying": 1,
      "fg": 1,
      "g": 1,
      "obtaining": 1,
      "determining": 1,
      "extending": 1,
      "pairing": 1,
      "during": 1,
      "declaring": 1,
      "computing": 1,
      "translating": 1,
      "ℬg": 1,
      "representing": 1,
      "leaving": 1,
      "giving": 1,
      "it": 1,
      "thy": 1,
      "having": 1,
      "defining": 1,
      "mapping": 1,
      "witnessing": 1,
      "𝔰𝔱𝔯𝔦𝔫𝔤": 1,
      "applying": 1,
      "including": 1,
      "wher": 1,
      "setting": 1,
      "producing": 1,
      "yours": 1,
      "developing": 1,
      "das": 1,
      "following": 1,
      "controlling": 1
    },
    "MD": {
      "can": 9520,
      "may": 6641,
      "will": 2118,
      "should": 1815,
      "would": 1665,
      "must": 1222,
      "might": 868,
      "could": 807,
      "not": 303,
      "need": 285,
      "shall": 190,
      "kann": 111,
      "ought": 101,
      "’ll": 94,
      "ca": 76,
      "soll": 60,
      "daß": 58,
      "’d": 48,
      "wo": 38,
      "'ll": 29,
      "wird": 24,
      "würde": 21,
      "g": 20,
      "'d": 15,
      "könnte": 13,
      "n’t": 7,
      "werde": 6,
      "hätte": 5,
      "wenn": 5,
      "konnte": 4,
      "dass": 3,
      "following": 3,
      "sollte": 3,
      "könne": 3,
      "sollen": 3,
      "müssen": 3,
      "d": 2,
      "müsse": 2,
      "an": 2,
      "sollten": 2,
      "𝔤": 2,
      "bg": 2,
      "muss": 2,
      "mag": 2,
      "muß": 2,
      "darf": 2,
      "canst": 1,
      "w": 1,
      "wen": 1,
      "-": 1
    },
    "TO": {
      "to": 24486,
      "zu": 76,
      "daß": 58,
      "trying": 35,
      "going": 25,
      "g": 10,
      "having": 8,
      "following": 5,
      "willing": 3,
      "wishing": 2,
      "allowing": 2,
      "using": 2,
      "wanting": 2,
      "failing": 2,
      "gon": 2,
      "na": 2,
      "choosing": 2,
      "pairing": 2,
      "waiting": 2,
      "coming": 2,
      "wg": 2,
      "attempting": 1,
      "howto": 1,
      "thing": 1,
      "beginning": 1,
      "thinking": 1,
      "too": 1,
      "planning": 1,
      "revealing": 1,
      "hoping": 1,
      "tending": 1,
      "be": 1,
      "helping": 1,
      "needing": 1,
      "-to": 1,
      "something": 1,
      "tempting": 1,
      "𝔤": 1,
      "illuminating": 1,
      "being": 1,
      "confusing": 1,
      "meaning": 1,
      "ring": 1,
      "computing": 1,
      "asking": 1,
      "working": 1,
      "talking": 1
    },
    "RP": {
      "out": 1758,
      "up": 841,
      "down": 259,
      "in": 179,
      "on": 137,
      "off": 114,
      "over": 84,
      "back": 46,
      "about": 37,
      "with": 26,
      "through": 18,
      "away": 15,
      "around": 13,
      "along": 13,
      "by": 7,
      "for": 7,
      "together": 6,
      "rise": 6,
      "forward": 5,
      "writing": 4,
      "forth": 4,
      "upon": 3,
      "pointing": 3,
      "laying": 1,
      "pushing": 1,
      "to": 1,
      "adding": 1,
      "filling": 1,
      "building": 1,
      "something": 1,
      "composing": 1,
      "commuting": 1,
      "in^": 1,
      "finding": 1,
      "taking": 1,
      "spelling": 1,
      "as": 1,
      "going": 1,
      "leaving": 1,
      "working": 1,
      "across": 1,
      "making": 1,
      "apart": 1,
      "aside": 1
    },
    "JJS": {
      "least": 1025,
      "most": 374,
      "small": 212,
      "simple": 158,
      "good": 107,
      "Most": 90,
      "large": 80,
      "low": 66,
      "high": 33,
      "early": 33,
      "great": 29,
      "easy": 25,
      "weak": 20,
      "close": 19,
      "late": 17,
      "fine": 14,
      "strong": 14,
      "old": 13,
      "strict": 12,
      "coarse": 12,
      "near": 9,
      "light": 8,
      "big": 7,
      "bad": 6,
      "short": 5,
      "long": 5,
      "dense": 5,
      "new": 4,
      "rich": 4,
      "rightmost": 3,
      "heigh": 3,
      "slow": 3,
      "beste": 3,
      "fast": 2,
      "deep": 2,
      "bright": 2,
      "broad": 2,
      "quick": 2,
      "tricky": 2,
      "foremost": 2,
      "wide": 2,
      "clear": 2,
      "young": 2,
      "hard": 2,
      "steep": 1,
      "gross": 1,
      "tough": 1,
      "r": 1,
      "dirty": 1,
      "common": 1
    },
    "RBS": {
      "most": 932,
      "least": 155,
      "well": 72,
      "lowest": 4,
      "farthest": 2,
      "early": 1,
      "cleanest": 1,
      "close": 1
    },
    "WP": {
      "what": 2856,
      "who": 330,
      "was": 16,
      "whom": 11,
      "whatever": 4,
      "whoever": 4,
      "welche": 3,
      "seeing": 3,
      "welchem": 3,
      "welchen": 2,
      "der": 2,
      "welcher": 2,
      "speaking": 1,
      "proving": 1,
      "asking": 1,
      "saying": 1,
      "considering": 1,
      "discovering": 1,
      "checking": 1,
      "whch": 1,
      "using": 1,
      "copying": 1,
      "wich": 1
    },
    "EX": {
      "there": 11602,
      "meaning": 2,
      "g": 2,
      "𝔤": 2,
      "being": 1,
      "bg": 1,
      "here": 1
    },
    "WP$": {
      "whose": 3906,
      "g": 3,
      "𝔤": 1,
      "dessen": 1
    },
    "ADD": {
      ":": 4961,
      "-": 3360,
      "hep": 1716,
      "arxiv": 1374,
      "/": 1225,
      ".": 323,
      "doi:10.1007": 86,
      "doi:10.1016": 65,
      "<": 41,
      "doi:10.1090": 35,
      "doi:10.1093": 35,
      "doi:10.1002": 33,
      "doi:10.1017": 31,
      "doi:10.1103": 27,
      "doi:10.1142": 15,
      ">": 13,
      "astro": 13,
      "math": 12,
      "doi:10.4310": 11,
      "*": 10,
      "0": 10,
      "doi:10.1007/978": 9,
      "doi:10.1112": 9,
      "doi:10.1143": 8,
      "ptep": 8,
      "wiki": 7,
      "acprof": 7,
      "q": 7,
      "arxiv:1106.4068": 7,
      "gr": 7,
      "_": 6,
      "doi:10.1140": 6,
      "epjc": 6,
      "doi:10.1051": 6,
      "doi:/10.1017": 6,
      "jstor": 6,
      "dg": 6,
      "(": 6,
      "jtopol": 6,
      "#": 6,
      "arxiv:0905.0462": 5,
      "arxiv:1002.3004": 5,
      "doi:10.2140": 5,
      "arxiv:1701.06238": 5,
      "doi:10.3390": 5,
      "alg": 5,
      "mnras": 5,
      "doi:10.1038": 5,
      "http://arxiv.org": 4,
      "arxiv:1603.09626": 4
    },
    "RBR": {
      "more": 5858,
      "higher": 406,
      "less": 296,
      "well": 164,
      "long": 143,
      "far": 112,
      "early": 98,
      "lower": 39,
      "close": 12,
      "furthermore": 12,
      "later": 12,
      "deeply": 9,
      "fast": 9,
      "morever": 5,
      "worse": 4,
      "lesser": 4,
      "quick": 3,
      "futher": 3,
      "tighter": 2,
      "simpler": 2,
      "slow": 2,
      "hard": 2,
      "making": 1,
      "near": 1,
      "g": 1,
      "nicer": 1,
      "easier": 1,
      "futhermore": 1,
      "finer": 1,
      "hier": 1
    },
    "PDT": {
      "all": 1437,
      "such": 1333,
      "both": 64,
      "half": 39,
      "quite": 27,
      "twice": 8,
      "dies": 3,
      "allmost": 1,
      "double": 1,
      "checking": 1,
      "attaching": 1,
      "translating": 1,
      "putting": 1
    },
    "POS": {
      "’s": 5477,
      "'s": 301,
      "'": 11,
      "s": 8,
      ")": 1
    },
    "UH": {
      "say": 127,
      "yes": 103,
      "now": 63,
      "no": 51,
      "well": 51,
      "please": 44,
      "dies": 29,
      "okay": 19,
      "um": 19,
      "ok": 17,
      "daß": 15,
      "ah": 11,
      "blah": 11,
      "hi": 10,
      "def": 10,
      "right": 8,
      "yeah": 7,
      "eg": 7,
      "hm": 6,
      "hmm": 6,
      "da": 6,
      "sure": 5,
      "oh": 5,
      "like": 5,
      "thanks": 4,
      "sorry": 4,
      "je": 4,
      "das": 4,
      "hello": 3,
      "gulp": 3,
      "-": 3,
      "eack": 2,
      "fine": 2,
      "anyway": 2,
      "heh": 2,
      "phew": 2,
      "hmmm": 2,
      "ihm": 2,
      "was": 2,
      "uns": 2,
      "darum": 2,
      "mir": 2,
      "aha": 1,
      "<": 1,
      "my": 1,
      "gh": 1,
      "alright": 1,
      "huh": 1,
      "presto": 1,
      "quote": 1
    },
    "''": {
      "«": 288,
      "\"": 84,
      "'": 21,
      ",": 16,
      ".": 14,
      "»": 10,
      ")": 4,
      "#": 4,
      "`": 1,
      "!": 1,
      "_": 1,
      "L": 1
    },
    "$": {
      "$": 4,
      "£": 2
    }
  },
  "dep_stats": {
    "nmod": {
      "# theory": 4706,
      "context theory": 1649,
      "# algebra": 1163,
      "# geometry": 990,
      "# cohomology": 939,
      "# physics": 747,
      "# topology": 733,
      "context geometry": 501,
      "context algebra": 410,
      "# gravity": 390,
      "de Rham": 317,
      "Math Soc": 314,
      "context cohomology": 307,
      "Amer Soc": 281,
      "AdS CFT": 247,
      "Adams sequence": 220,
      "theory theory": 174,
      "context topology": 167,
      "# idea": 159,
      "Amer Math": 136,
      "context physics": 135,
      "Lie algebra": 129,
      "circle bundle": 122,
      "# bundle": 119,
      "# analysis": 119,
      "p group": 118,
      "Eilenberg Steenrod": 112,
      "type theory": 110,
      "algebra form": 100,
      "Chern Simons": 99,
      "curvature form": 97,
      "context category": 97,
      "type string": 97,
      "# category": 94,
      "# definition": 88,
      "# structure": 79,
      "lie algebra": 77,
      "Hausdorff space": 75,
      "context gravity": 73,
      "# context": 72,
      "l-∞ algebra": 71,
      "\n theory": 70,
      ". Math": 67,
      "et al": 64,
      "p integer": 62,
      "n  ": 61,
      "# system": 61,
      "g h": 60,
      "Steenrod cohomology": 59,
      "# duality": 57
    },
    "punct": {
      "be .": 50826,
      "be \n": 42923,
      "be \n\n": 37232,
      "be  ": 30445,
      "# #": 18575,
      ", be": 17892,
      "be ,": 17207,
      "be  ": 14126,
      "be )": 13556,
      "\n\n be": 13381,
      "be \n\n    ": 10862,
      "  be": 8515,
      "see \n\n": 8510,
      "see .": 7511,
      ", \n": 7496,
      "be \n    ": 6761,
      "be (": 6473,
      "be :": 5729,
      "context #": 5686,
      "( )": 5631,
      "let  ": 5494,
      "\n be": 5288,
      "be  ": 5260,
      "be →": 4820,
      "see \n": 4792,
      "- theory": 4679,
      "see \n\n    ": 4267,
      "- category": 4260,
      "1 )": 4180,
      "let .": 4031,
      ". ,": 3883,
      "have .": 3881,
      "have  ": 3817,
      "have \n\n": 3620,
      "definition \n\n": 3600,
      "let \n\n": 3595,
      "# theory": 3560,
      "have \n": 3556,
      "theory #": 3519,
      "call .": 3515,
      "see )": 3389,
      "be =": 3145,
      "let \n": 3065,
      ". )": 3052,
      "write  ": 2990,
      "define  ": 2978,
      "concept \n\n    ": 2930,
      "write \n\n": 2856,
      "be \n\n\n\n": 2806,
      "- brane": 2803
    },
    "amod": {
      "related concept": 4448,
      "topological space": 3328,
      "monoidal category": 2732,
      "in particular": 2447,
      "such that": 2140,
      "such as": 1873,
      "weak equivalence": 1860,
      "simplicial set": 1688,
      "abelian group": 1587,
      "quantum field": 1508,
      "differential form": 1442,
      "special case": 1349,
      "smooth manifold": 1302,
      "spectral sequence": 1231,
      "differential geometry": 1059,
      "real number": 968,
      "in general": 965,
      "algebraic theory": 932,
      "enrich category": 929,
      "smooth function": 907,
      "differential cohomology": 873,
      "such \n": 871,
      "natural transformation": 855,
      "exact sequence": 848,
      "commutative ring": 824,
      "left adjoint": 821,
      "algebraic geometry": 813,
      "due to": 803,
      "natural number": 756,
      "such be": 740,
      "principal bundle": 738,
      "high category": 727,
      "geometric morphism": 722,
      "abelian category": 711,
      "right adjoint": 694,
      "stable homotopy": 691,
      "high geometry": 678,
      "full subcategory": 677,
      "symmetric category": 616,
      "compact space": 616,
      "related entry": 604,
      "other word": 597,
      "first order": 588,
      "finite dimensional": 581,
      "quantum mechanic": 578,
      "small category": 567,
      "continuous function": 561,
      "direct sum": 552,
      "simplicial presheave": 550,
      "geometric quantization": 538
    },
    "ROOT": {
      "be be": 45226,
      "\n\n \n\n": 11476,
      "see see": 5969,
      "have have": 4489,
      "let let": 3736,
      "\n \n": 3331,
      "call call": 2807,
      "theory theory": 2704,
      ". .": 2290,
      "give give": 1942,
      "definition definition": 1883,
      "say say": 1840,
      "define define": 1830,
      "context context": 1506,
      "mean mean": 1466,
      "include include": 1365,
      "consider consider": 1334,
      "discuss discuss": 1323,
      "write write": 1283,
      "follow follow": 1188,
      "use use": 1138,
      "# #": 1108,
      "note note": 1032,
      "idea idea": 993,
      "ist ist": 905,
      "   ": 890,
      "show show": 882,
      "make make": 836,
      "need need": 790,
      "notice notice": 743,
      "take take": 699,
      "imply imply": 669,
      "\n     \n    ": 664,
      "find find": 659,
      "appear appear": 636,
      "think think": 620,
      "form form": 619,
      "exist exist": 582,
      "\n\n     \n\n    ": 577,
      "suppose suppose": 557,
      "reference reference": 557,
      "algebra algebra": 548,
      "geometry geometry": 547,
      "go go": 494,
      "remark remark": 469,
      "induce induce": 462,
      "concept concept": 455,
      "become become": 447,
      "obtain obtain": 447,
      "correspond correspond": 446
    },
    "compound": {
      "field theory": 4378,
      "model structure": 3440,
      "homotopy theory": 3417,
      "category theory": 2580,
      "type theory": 2466,
      "string theory": 2416,
      "vector space": 2335,
      "Lie algebra": 2302,
      "k theory": 2207,
      "model category": 2206,
      "Chern Simons": 1762,
      "vector bundle": 1552,
      "tensor product": 1364,
      "chain complex": 1363,
      "Simons theory": 1329,
      "homotopy type": 1314,
      "homotopy group": 1140,
      "Yang Mills": 1136,
      "Lie group": 1069,
      "loop space": 904,
      "cohomology theory": 895,
      "line bundle": 815,
      "m theory": 812,
      "Jacob Lurie": 809,
      "homotopy category": 801,
      "gauge theory": 769,
      "Mills theory": 763,
      "Urs Schreiber": 719,
      "space x": 699,
      "Minkowski spacetime": 695,
      "\n\n definition": 673,
      "vector field": 657,
      "category c": 640,
      "gauge field": 637,
      "de Rham": 636,
      "d brane": 626,
      "homotopy equivalence": 622,
      "lecture note": 599,
      "set theory": 592,
      "moduli space": 581,
      "sigma model": 580,
      "Edward Witten": 578,
      "Lie algebroid": 543,
      "factorization system": 543,
      "Kan complex": 531,
      "phase space": 530,
      ". Rev.": 497,
      "moduli stack": 494,
      "representation theory": 485,
      "dg algebra": 471
    },
    "appos": {
      "concept reference": 1079,
      "theory theory": 1011,
      "arxiv :": 597,
      "category category": 531,
      "morphism f": 486,
      "pp .": 485,
      "math .": 440,
      ". no": 420,
      "arxiv hep": 400,
      "Soc .": 350,
      "function f": 330,
      "category reference": 296,
      "volume issue": 296,
      "volume number": 291,
      "group group": 289,
      "Phys .": 284,
      "morphism  ": 281,
      "object x": 273,
      "space space": 270,
      "morphism →": 257,
      "morphism x": 253,
      ". .": 250,
      "phys .": 235,
      "no .": 235,
      "structure structure": 234,
      "context theory": 233,
      "arxiv -": 230,
      "algebra algebra": 220,
      "be \n": 219,
      "Lurie Theory": 216,
      "space x": 212,
      "Volume issue": 207,
      "functor f": 203,
      "Math .": 200,
      "geometry geometry": 197,
      "map  ": 193,
      "function  ": 190,
      "map →": 184,
      "theorem theorem": 183,
      "concept theory": 179,
      "map x": 179,
      "functor  ": 178,
      "map f": 175,
      "Fiorenza Schreiber": 173,
      "concept \n": 173,
      "reference Wikipedia": 161,
      "site site": 161,
      "doi:10.1007/978 -": 159,
      "definition definition": 152,
      "functor →": 150
    },
    "dep": {
      "be be": 3243,
      "\n be": 830,
      "[ ]": 350,
      "] be": 339,
      "be [": 334,
      "\n call": 315,
      "be ]": 281,
      "be have": 275,
      "be all": 260,
      "idea be": 257,
      "be a": 217,
      "be see": 205,
      "be =": 180,
      "call be": 176,
      "be x": 158,
      "be \n": 156,
      "be .": 133,
      "be give": 130,
      "# go": 129,
      "have be": 124,
      "go idea": 124,
      "write be": 117,
      "be the": 107,
      "be both": 105,
      "be n": 102,
      "[ be": 101,
      "give be": 97,
      "be remark": 97,
      "see be": 94,
      "\n\n be": 93,
      "\n define": 87,
      "be exist": 85,
      "\n give": 84,
      "be f": 82,
      "define be": 80,
      "be define": 75,
      "  be": 73,
      "be preserve": 71,
      "be k": 71,
      "be +": 70,
      "be 1": 69,
      "exist be": 69,
      "remark be": 69,
      "be let": 66,
      "be reference": 64,
      "definition be": 64,
      "be proof": 63,
      "be discuss": 61,
      "\n have": 60,
      "be form": 59
    },
    "det": {
      "the \n": 18289,
      "a \n": 9447,
      "the category": 8874,
      "a category": 7064,
      "the group": 5379,
      "the space": 5078,
      "a space": 4645,
      "the structure": 4207,
      "the theory": 3751,
      "the form": 3346,
      "the algebra": 3296,
      "a morphism": 3285,
      "the case": 3161,
      "the functor": 3025,
      "the notion": 2920,
      "a functor": 2896,
      "the map": 2868,
      "the set": 2844,
      "the morphism": 2827,
      "the product": 2762,
      "the definition": 2613,
      "the object": 2586,
      "the theorem": 2484,
      "a group": 2375,
      "the field": 2338,
      "an \n": 2277,
      "a set": 2154,
      "a map": 2094,
      "a function": 2088,
      "the model": 2073,
      "a object": 2009,
      "a algebra": 2006,
      "a theory": 2001,
      "the bundle": 1982,
      "a manifold": 1864,
      "an object": 1842,
      "the point": 1830,
      "the function": 1802,
      "the property": 1709,
      "a structure": 1694,
      "the condition": 1680,
      "the action": 1639,
      "a bundle": 1616,
      "the context": 1570,
      "the construction": 1565,
      "the axiom": 1553,
      "the class": 1521,
      "the relation": 1472,
      "the sense": 1422,
      "a field": 1417
    },
    "nsubj": {
      "this be": 7954,
      "it be": 7752,
      "  be": 5729,
      "which be": 5136,
      "we have": 4761,
      "\n\n be": 4185,
      "\n be": 3708,
      "x be": 2600,
      "category be": 2521,
      "  be": 2439,
      "that be": 2259,
      "object be": 1932,
      "morphism be": 1925,
      "space be": 1760,
      "a be": 1583,
      "we \n": 1555,
      "→ be": 1444,
      "this mean": 1420,
      "x  ": 1382,
      "f be": 1250,
      "discussion be": 1242,
      "algebra be": 1241,
      "it \n": 1149,
      "group be": 1142,
      "theory be": 1134,
      "definition be": 1040,
      "idea be": 987,
      "C be": 969,
      "we discuss": 964,
      "which \n": 907,
      "it follow": 900,
      "they be": 871,
      "set be": 870,
      "we say": 863,
      "we write": 861,
      "c be": 848,
      "we need": 824,
      "it have": 808,
      "map be": 778,
      "example be": 770,
      "we define": 763,
      "f  ": 746,
      "these be": 739,
      "b be": 739,
      "y be": 735,
      "we use": 733,
      "functor be": 718,
      "a  ": 713,
      "structure be": 677,
      "that \n": 657
    },
    "prep": {
      "be in": 8937,
      "category of": 7925,
      "\n of": 5317,
      "in be": 5240,
      "notion of": 3963,
      "space of": 3778,
      "structure on": 3347,
      "for  ": 3312,
      "in \n": 3235,
      "theory of": 3184,
      "section of": 3157,
      "term of": 2897,
      "set of": 2875,
      "equip with": 2751,
      "for be": 2718,
      "see at": 2616,
      "group of": 2509,
      "class of": 2387,
      "equivalent to": 2341,
      "see for": 2245,
      "definition of": 2217,
      "regard as": 2205,
      "object in": 2192,
      "discuss in": 2148,
      "discussion of": 2048,
      "relation to": 2024,
      "from to": 1942,
      "product of": 1869,
      "for see": 1863,
      "algebra of": 1856,
      "morphism of": 1816,
      "for \n": 1788,
      "\n to": 1782,
      "think of": 1778,
      "case of": 1760,
      "be for": 1745,
      "\n in": 1720,
      "correspond to": 1700,
      "object of": 1671,
      "element of": 1645,
      "structure of": 1519,
      "context of": 1479,
      "respect to": 1454,
      "\n with": 1450,
      "write for": 1418,
      "think as": 1383,
      "be of": 1380,
      "that of": 1371,
      "example of": 1314,
      "property of": 1290
    },
    "pobj": {
      "in theory": 5163,
      "of theory": 5054,
      "of space": 4840,
      "of category": 4716,
      "of group": 3826,
      "in category": 3504,
      "of algebra": 3146,
      "of form": 2974,
      "in case": 2731,
      "in term": 2682,
      "for instance": 2655,
      "of x": 2588,
      "of object": 2504,
      "of set": 2345,
      "for x": 2080,
      "of bundle": 1978,
      "in sense": 1943,
      "of morphism": 1927,
      "in context": 1908,
      "of function": 1883,
      "in fact": 1864,
      "on space": 1809,
      "of field": 1680,
      "for n": 1612,
      "of -": 1500,
      "of functor": 1478,
      "on x": 1395,
      "with respect": 1345,
      "of complex": 1317,
      "of structure": 1316,
      "\n theory": 1305,
      "in way": 1270,
      "to theory": 1258,
      "for example": 1238,
      "of map": 1236,
      "of type": 1215,
      "for more": 1206,
      "in which": 1160,
      "of module": 1154,
      "\n category": 1154,
      "of manifold": 1147,
      "for category": 1146,
      "of spectrum": 1137,
      "on category": 1108,
      "to category": 1105,
      "of sheaf": 1093,
      "in geometry": 1049,
      "for theory": 1042,
      "of model": 1028,
      "\n space": 1006
    },
    "prt": {
      "turn out": 465,
      "\n\n be": 289,
      "spell out": 259,
      "→  ": 132,
      "point out": 123,
      "\n be": 112,
      "  be": 111,
      "work out": 106,
      "−  ": 93,
      "write down": 90,
      "  be": 72,
      "∈  ": 67,
      "\n out": 66,
      "pick up": 61,
      "set up": 60,
      "go on": 56,
      "write out": 48,
      "\n up": 47,
      "end up": 47,
      "read off": 46,
      "rule out": 46,
      "lay out": 45,
      "single out": 44,
      "come out": 44,
      "\n\n     be": 42,
      "  a": 42,
      "pick out": 42,
      "  1": 38,
      "come up": 36,
      "make up": 36,
      "  (": 35,
      "\n\n .": 34,
      "build up": 34,
      "be be": 34,
      "start out": 34,
      "carry out": 33,
      "show up": 32,
      "commute up": 32,
      "  0": 31,
      "figure out": 30,
      "break down": 29,
      "fill in": 29,
      "carry over": 28,
      "  )": 27,
      "in \n": 26,
      "come about": 24,
      "def .": 24,
      "×  ": 24,
      "⊗  ": 24,
      "  .": 23
    },
    "attr": {
      "be category": 4265,
      "be \n": 3365,
      "be  ": 3160,
      "be space": 2621,
      "be object": 1954,
      "be group": 1896,
      "be morphism": 1891,
      "be equivalence": 1883,
      "be functor": 1866,
      "be →": 1813,
      "be algebra": 1679,
      "be set": 1423,
      "be isomorphism": 1412,
      "be definition": 1402,
      "be map": 1330,
      "be function": 1306,
      "be  ": 1282,
      "\n\n idea": 1231,
      "be example": 1215,
      "be theory": 1203,
      "\n\n definition": 1016,
      "be reference": 999,
      "be case": 948,
      "be ∈": 873,
      "be bundle": 867,
      "be structure": 850,
      "be concept": 850,
      "be .": 822,
      "be one": 802,
      "be fibration": 787,
      "be proposition": 769,
      "be manifold": 750,
      "be field": 750,
      "be property": 712,
      "be −": 712,
      "be theorem": 704,
      "be same": 690,
      "be ring": 670,
      "be -": 657,
      "be sequence": 657,
      "be form": 647,
      "be product": 630,
      "be class": 605,
      "be model": 600,
      "be x": 590,
      "be notion": 588,
      "be proof": 587,
      "be element": 583,
      "be groupoid": 542,
      "be complex": 534
    },
    "ccomp": {
      "be be": 12184,
      "let be": 7346,
      "\n be": 4807,
      "say be": 2318,
      "see be": 2015,
      "have be": 1485,
      "mean be": 1394,
      "let  ": 1320,
      "be have": 1176,
      "\n\n be": 1146,
      "show be": 1053,
      "  be": 1020,
      "notice be": 898,
      "note be": 839,
      "be see": 784,
      "  be": 774,
      "follow be": 705,
      "be \n": 701,
      "\n have": 627,
      "define be": 612,
      "imply be": 581,
      "be let": 556,
      "consider be": 554,
      "suppose be": 496,
      "write be": 470,
      "recall be": 461,
      "give be": 416,
      "assume be": 414,
      "say \n": 411,
      "be  ": 405,
      "say  ": 395,
      "be call": 389,
      "let →": 387,
      "observe be": 363,
      "be give": 354,
      "let denote": 336,
      "make be": 329,
      "find be": 328,
      "call be": 328,
      "\n     be": 322,
      "  be": 308,
      "mean \n": 302,
      "  have": 302,
      "be define": 299,
      "let  ": 297,
      "take be": 284,
      "discuss be": 283,
      "\n\n let": 277,
      "be include": 277,
      "prove be": 267
    },
    "mark": {
      "that be": 10700,
      "that \n": 6324,
      "if be": 5825,
      "if \n": 2023,
      "that  ": 1814,
      "since be": 1734,
      "that have": 1391,
      "if  ": 1113,
      "that \n\n": 1078,
      "if have": 880,
      "as follow": 814,
      "as be": 729,
      "since \n": 710,
      "as \n": 629,
      "that  ": 528,
      "that \n    ": 488,
      "while be": 476,
      "because be": 470,
      "that \n\n\n\n": 465,
      "if exist": 434,
      "that exist": 351,
      "as discuss": 340,
      "that \n\n    ": 324,
      "while \n": 314,
      "so be": 312,
      "that give": 286,
      "for be": 264,
      "if \n\n": 260,
      "in be": 235,
      "as describe": 227,
      "that \n  ": 224,
      "that preserve": 222,
      "because \n": 218,
      "so \n": 213,
      "if \n    ": 210,
      "although be": 203,
      "that =": 202,
      "iff be": 202,
      "since have": 194,
      "that  ": 182,
      "that commute": 170,
      "that satisfy": 166,
      "that :": 165,
      "as show": 163,
      "whether be": 161,
      "that define": 159,
      "if for": 159,
      "as define": 157,
      "that hold": 156,
      "since  ": 152
    },
    "advcl": {
      "be be": 5394,
      "be \n": 2634,
      "be  ": 1820,
      "\n be": 1343,
      "  =": 1246,
      "be  ": 779,
      "  →": 764,
      "be have": 760,
      "   ": 720,
      "  be": 692,
      "  (": 643,
      "  ∈": 544,
      "  (": 485,
      "  )": 428,
      "  .": 378,
      "have be": 366,
      "  =": 354,
      "have  ": 296,
      "call be": 295,
      "  .": 285,
      "be follow": 280,
      "have \n": 270,
      "  have": 263,
      "   ": 258,
      "be exist": 258,
      "be see": 242,
      "be \n    ": 240,
      "see \n": 230,
      "\n have": 221,
      "   ": 218,
      "be \n\n": 216,
      "\n  ": 208,
      "\n .": 205,
      "write  ": 203,
      "be call": 199,
      "  [": 196,
      "be to": 194,
      "  a": 193,
      "be  ": 181,
      "be mean": 176,
      "be =": 175,
      "be define": 174,
      "\n\n be": 172,
      "be )": 171,
      "\n\n idea": 170,
      "define  ": 169,
      "be .": 168,
      "   ": 168,
      "  −": 167,
      "be give": 162
    },
    "advmod": {
      "then be": 4154,
      "see also": 3106,
      "where be": 2528,
      "be also": 2049,
      "then \n": 1831,
      "more generally": 1537,
      "hence be": 1162,
      "that is": 1039,
      "see there": 992,
      "at least": 979,
      "be equivalently": 930,
      "so be": 852,
      "here be": 834,
      "together with": 783,
      "where \n": 778,
      "more general": 778,
      "i.e.  ": 766,
      "also call": 678,
      "when be": 660,
      "instead of": 603,
      "well as": 599,
      "however be": 597,
      "then have": 589,
      "as as": 547,
      "then  ": 515,
      "be precisely": 508,
      "thus be": 496,
      "be then": 488,
      "be indeed": 483,
      "be hence": 442,
      "where  ": 441,
      "locally presentable": 422,
      "of course": 420,
      "hence \n": 404,
      "be simply": 398,
      "see below": 390,
      "fully faithful": 380,
      "therefore be": 377,
      "be still": 375,
      "sometimes call": 370,
      "precisely be": 367,
      "more \n": 355,
      "generally be": 349,
      "be again": 343,
      "rather than": 341,
      "go here": 340,
      "moreover be": 338,
      "also \n": 334,
      "so on": 331,
      "also be": 330
    },
    "dobj": {
      "  1": 2267,
      "  x": 2246,
      "  +": 1826,
      "\n theory": 1786,
      "\n category": 1407,
      "  0": 1349,
      "\n space": 1317,
      "\n structure": 1161,
      "  =": 1099,
      "  c": 1047,
      "  1": 1033,
      "  y": 998,
      "\n algebra": 961,
      "  b": 928,
      "see reference": 901,
      "\n group": 866,
      "\n\n idea": 778,
      "\n\n reference": 634,
      "\n object": 634,
      "\n morphism": 621,
      "make sense": 610,
      "\n\n example": 598,
      "\n\n concept": 569,
      "\n\n theory": 531,
      "\n set": 523,
      "\n cohomology": 521,
      "\n function": 505,
      "have property": 503,
      "\n bundle": 473,
      "  d": 464,
      "\n functor": 453,
      "\n form": 451,
      "  a": 441,
      "  x": 436,
      "\n product": 436,
      "\n geometry": 434,
      "\n x": 434,
      "have adjoint": 427,
      "see Wikipedia": 421,
      "see theory": 404,
      "see example": 401,
      "  2": 400,
      "see concept": 394,
      "  y": 391,
      "have \n": 388,
      "\n property": 381,
      "  n": 380,
      "  h": 367,
      "play role": 366,
      "  u": 366
    },
    "npadvmod": {
      "be itself": 194,
      "self dual": 189,
      "v enrich": 183,
      "brane bind": 149,
      "time order": 139,
      "g equivariant": 123,
      "sset enrich": 115,
      "self adjoint": 87,
      "category theoretic": 85,
      "bit more": 83,
      "\n itself": 81,
      "p adic": 73,
      "star autonomous": 72,
      "type theoretic": 72,
      "be Lurie": 69,
      "torsion free": 68,
      "product preserve": 67,
      "path connect": 64,
      "be pdf": 62,
      "\n way": 60,
      "be example": 58,
      "Ab enrich": 56,
      "Verlag Berlin": 55,
      "homotopy theoretic": 53,
      "be .": 52,
      "set theoretic": 52,
      "be def": 50,
      ". 2002": 48,
      ". 2011": 47,
      "colimit preserve": 45,
      "Press Cambridge": 45,
      "see pdf": 45,
      "arise way": 44,
      "algebra value": 42,
      "order preserve": 41,
      ". 2010": 40,
      ". 2003": 39,
      ". 1997": 39,
      ". 1999": 38,
      "be concept": 38,
      "gauge invariant": 38,
      "quantifier free": 38,
      "property like": 37,
      ". 2000": 36,
      "Springer Berlin": 36,
      "set value": 35,
      ". 2004": 35,
      "Verlag York": 35,
      "be theory": 35,
      ". 2014": 35
    },
    "cc": {
      "be and": 8028,
      "theory and": 1914,
      "\n and": 1808,
      "be but": 1644,
      "category and": 974,
      "if and": 900,
      "space and": 834,
      "x and": 831,
      "let and": 830,
      "algebra and": 797,
      "but be": 772,
      "have and": 721,
      "group and": 697,
      "a and": 620,
      "and be": 571,
      "of and": 570,
      "limit and": 560,
      "be so": 545,
      "Theory and": 510,
      "geometry and": 481,
      "  and": 465,
      "in and": 459,
      "\n     and": 455,
      "field and": 446,
      "be or": 436,
      "structure and": 385,
      "for and": 367,
      "set and": 367,
      "object and": 366,
      "c and": 362,
      "give and": 350,
      "functor and": 347,
      "call and": 345,
      "manifold and": 332,
      "\n\n and": 326,
      "but \n": 323,
      "left and": 323,
      "cohomology and": 312,
      "b and": 309,
      "define and": 308,
      "f and": 303,
      "category or": 292,
      "1 and": 283,
      "full and": 274,
      "write and": 269,
      "function and": 266,
      "form and": 261,
      "space or": 259,
      "see and": 258,
      "product and": 256
    },
    "acl": {
      "fact be": 453,
      "definition be": 340,
      "definition let": 258,
      "fact \n": 230,
      "graphic grab": 208,
      "case be": 205,
      "category equip": 162,
      "proposition \n\n": 162,
      "\n give": 156,
      "proposition let": 155,
      "idea \n\n": 150,
      "category enrich": 139,
      "\n equip": 136,
      "set equip": 130,
      "space equip": 129,
      "definition \n\n": 125,
      "property be": 111,
      "assumption be": 108,
      "condition be": 100,
      "definition write": 95,
      "proof be": 95,
      "proposition be": 87,
      "idea be": 85,
      "statement be": 84,
      "proof \n\n": 84,
      "definition call": 83,
      "theorem be": 81,
      "\n\n give": 79,
      "fact  ": 74,
      "\n regard": 72,
      "x equip": 71,
      "observation \n": 69,
      "sense be": 68,
      "\n generate": 67,
      "\n define": 66,
      "observation be": 66,
      "\n induce": 62,
      "material relate": 62,
      "manifold equip": 61,
      "theorem let": 60,
      "object equip": 58,
      "\n associate": 58,
      "fact have": 57,
      "morphism →": 57,
      "structure give": 56,
      "statement \n": 56,
      "  ∈": 55,
      "fact \n\n": 51,
      "category call": 50,
      "condition  ": 50
    },
    "relcl": {
      "\n be": 772,
      "category be": 613,
      "space be": 310,
      "theory be": 197,
      "object be": 166,
      "algebra be": 159,
      "morphism be": 159,
      "group be": 148,
      "case be": 143,
      "\n     be": 142,
      "function be": 134,
      "set be": 128,
      "\n\n\n\n be": 120,
      "functor be": 120,
      "structure be": 105,
      "those be": 102,
      "category \n": 101,
      "field be": 98,
      "one be": 97,
      "x be": 97,
      "concept \n": 89,
      "\n\n be": 88,
      "bundle be": 87,
      "groupoid be": 86,
      "map be": 84,
      "way \n": 84,
      "manifold be": 77,
      "ring be": 76,
      "category have": 74,
      "\n have": 60,
      "\n\n     be": 58,
      "complex be": 56,
      "way define": 56,
      "functor send": 56,
      "form be": 54,
      "element be": 54,
      "way be": 52,
      "theory \n": 52,
      "way make": 51,
      "c be": 51,
      "spectrum be": 50,
      "structure \n": 50,
      "space \n": 48,
      "\n call": 47,
      "\n give": 47,
      "number be": 46,
      "way think": 45,
      "functor preserve": 43,
      "point be": 43,
      "case \n": 43
    },
    "nummod": {
      "2 category": 2092,
      "2 group": 557,
      "2 cell": 454,
      ". 1": 444,
      "type ii": 417,
      ". 2": 399,
      "1 form": 398,
      "2 functor": 361,
      "2 bundle": 359,
      ". 3": 350,
      "1 category": 331,
      "\n\n definition": 314,
      "2 form": 312,
      "section 2": 306,
      "section 3": 305,
      "2 morphism": 285,
      "2 -": 262,
      ". 4": 255,
      "section 4": 252,
      "  2": 246,
      "one way": 245,
      "two morphism": 232,
      "one object": 227,
      "  1": 220,
      "3 manifold": 220,
      "\n\n proof": 215,
      "degree 0": 212,
      "two object": 210,
      "2 sphere": 205,
      "one point": 197,
      "1 cell": 194,
      "issue 1": 194,
      "2 groupoid": 188,
      "3 form": 180,
      "issue 2": 179,
      "section 5": 173,
      "2 monad": 172,
      "two \n": 171,
      "1 morphism": 166,
      "degree 1": 165,
      "  3": 161,
      "section 6": 159,
      "number 1": 159,
      "\n\n reference": 159,
      "\n\n example": 153,
      "two element": 151,
      "11 supergravity": 150,
      "number 2": 135,
      "section 7": 133,
      "section 1": 131
    },
    "conj": {
      "be be": 4520,
      "be  ": 2070,
      "be \n": 1990,
      "   ": 1986,
      "   ": 1102,
      "be  ": 1071,
      "   ": 902,
      "   ": 791,
      "let let": 562,
      "  →": 525,
      "(  ": 503,
      "be have": 482,
      "theory theory": 471,
      "limit colimit": 445,
      "let  ": 443,
      "of of": 432,
      "be \n\n": 379,
      "in in": 376,
      "if only": 370,
      "left right": 344,
      "a b": 342,
      "morphism  ": 332,
      "(  ": 329,
      "x y": 319,
      "have be": 312,
      "  be": 311,
      "  \n": 311,
      "be \n    ": 301,
      "[  ": 299,
      "\n be": 290,
      "be let": 288,
      "f  ": 286,
      "  −": 281,
      "category category": 277,
      "  →": 276,
      "  −": 252,
      "[ ]": 241,
      "if be": 234,
      "for  ": 230,
      "full faithful": 228,
      "be  ": 225,
      "=  ": 225,
      "map  ": 222,
      "a  ": 216,
      "  ∈": 213,
      "have \n": 211,
      "  \n\n": 207,
      "   ": 204,
      "for for": 194,
      "g  ": 191
    },
    "acomp": {
      "be equivalent": 2431,
      "be true": 802,
      "be isomorphic": 726,
      "be -": 530,
      "be equal": 491,
      "be continuous": 410,
      "be compact": 409,
      "be trivial": 398,
      "be due": 389,
      "be useful": 382,
      "\n equivalent": 369,
      "be clear": 353,
      "be sufficient": 352,
      "be possible": 350,
      "be complete": 334,
      "be small": 331,
      "be exact": 326,
      "be easy": 306,
      "be closed": 302,
      "be unique": 286,
      "be faithful": 285,
      "be open": 275,
      "be natural": 253,
      "be finite": 253,
      "be surjective": 252,
      "be dual": 237,
      "be non": 228,
      "be invertible": 228,
      "be important": 226,
      "be cofibrant": 218,
      "be flat": 212,
      "be analogous": 204,
      "be invariant": 203,
      "be symmetric": 195,
      "be stable": 194,
      "be fibrant": 192,
      "be injective": 192,
      "be smooth": 187,
      "be constant": 181,
      "be independent": 181,
      "be free": 179,
      "be regular": 178,
      "be different": 177,
      "be  ": 176,
      "be commutative": 176,
      "be compatible": 173,
      "be necessary": 168,
      "be close": 165,
      "be contractible": 164,
      "be define": 161
    },
    "pcomp": {
      "due to": 806,
      "by \n": 434,
      "as above": 406,
      "of be": 331,
      "as be": 300,
      "in [": 192,
      "in case": 182,
      "by take": 181,
      "to be": 161,
      "of \n": 159,
      "   ": 154,
      "with be": 143,
      "for be": 135,
      "by  ": 135,
      "because of": 134,
      "in \n": 133,
      "\n be": 129,
      "by be": 125,
      "by  ": 124,
      "as before": 118,
      "in that": 116,
      "\n\n →": 113,
      "in be": 107,
      "→ →": 105,
      "as \n": 104,
      "of [": 103,
      "by apply": 100,
      "in def": 97,
      "\n\n ∈": 95,
      "by use": 88,
      "\n\n be": 88,
      "by form": 86,
      "as being": 85,
      "→ be": 85,
      "by send": 84,
      "from above": 78,
      "  :": 78,
      "to \n": 76,
      "by set": 75,
      "by taking": 71,
      "of call": 68,
      "for \n": 67,
      "by define": 65,
      "on [": 64,
      "as say": 63,
      "by add": 63,
      "from def": 63,
      "by def": 61,
      "× →": 60,
      "to say": 60
    },
    "auxpass": {
      "be call": 4930,
      "be \n": 3897,
      "be give": 3093,
      "be discuss": 1722,
      "be define": 1639,
      "be use": 1050,
      "be think": 698,
      "be know": 672,
      "be consider": 630,
      "be close": 613,
      "be identify": 609,
      "be regard": 584,
      "be find": 575,
      "be take": 561,
      "be understand": 508,
      "be equip": 489,
      "be introduce": 475,
      "be relate": 470,
      "be say": 459,
      "be describe": 445,
      "be obtain": 440,
      "be make": 398,
      "be prove": 358,
      "be show": 352,
      "be generate": 349,
      "be see": 347,
      "be write": 343,
      "be interpret": 338,
      "be present": 327,
      "be represent": 320,
      "be compute": 299,
      "be denote": 295,
      "be induce": 286,
      "be leave": 285,
      "be determine": 283,
      "be suppose": 278,
      "be construct": 277,
      "be \n    ": 269,
      "be require": 257,
      "be connect": 251,
      "be express": 249,
      "be preserve": 242,
      "be model": 241,
      "be encode": 200,
      "be study": 195,
      "be replace": 194,
      "be assume": 193,
      "be characterize": 190,
      "be do": 189,
      "be base": 188
    },
    "parataxis": {
      "  →": 1040,
      "  ∈": 869,
      "be be": 532,
      "be see": 350,
      "  −": 279,
      "\n  ": 235,
      "be \n": 214,
      "  ×": 180,
      "be  ": 151,
      "\n be": 123,
      "   ": 110,
      "  ∘": 95,
      "   ": 91,
      "\n\n  ": 86,
      "  ⊗": 85,
      "  ≤": 84,
      "see \n": 84,
      "  ↪": 80,
      "  ⊂": 78,
      "\n  ": 77,
      "\n\n be": 77,
      "\n \n": 76,
      "  ≥": 72,
      "\n see": 66,
      "→  ": 63,
      "  ≃": 57,
      "a  ": 53,
      "  ↦": 48,
      "  ⊆": 47,
      "  ≔": 46,
      "\n →": 46,
      "  ⋅": 45,
      "see be": 41,
      ")  ": 40,
      "ist ist": 40,
      "have be": 38,
      "  ∧": 36,
      "in see": 34,
      "\n\n  ": 33,
      "be have": 33,
      "  ≠": 31,
      "\n\n      ": 31,
      "\n      ": 29,
      "be  ": 29,
      "\n\n  ": 29,
      "be =": 28,
      "theory see": 27,
      "   ": 27,
      "write be": 27,
      "  ⇒": 27
    },
    "csubjpass": {
      "   ": 26,
      "\n  ": 15,
      "\n\n call": 13,
      "\n give": 8,
      "\n call": 7,
      "   ": 7,
      "  \n": 6,
      "   ": 5,
      "  ∈": 5,
      "   ": 5,
      "\n  ": 5,
      "  call": 5,
      "\n define": 5,
      "\n take": 3,
      "  \n": 3,
      "  −": 3,
      "\n regard": 3,
      "\n\n ∈": 3,
      "  →": 3,
      "\n ∈": 3,
      "\n find": 3,
      "  \n\n": 3,
      "  consider": 3,
      "\n replace": 3,
      "\n know": 2,
      "  ↦": 2,
      "   merge": 2,
      "\n understand": 2,
      "  give": 2,
      "\n\n \n\n call": 2,
      "\n equip": 2,
      "\n restrict": 2,
      "\n realize": 2,
      "  ≔": 2,
      "  ×": 2,
      "\n observe": 2,
      "\n develop": 2,
      "\n do": 2,
      "\n study": 2,
      "\n →": 2,
      "\n   say": 2,
      "make think": 2,
      "be discuss": 2,
      "\n represent": 2,
      "\n\n  ": 2,
      "   ": 2,
      "  call": 2,
      "ℂ replace": 1,
      "use call": 1,
      "\n determine": 1
    },
    "poss": {
      "its \n": 864,
      "whose object": 380,
      "whose \n": 360,
      "their \n": 296,
      "whose morphism": 274,
      "its category": 267,
      "its image": 237,
      "its algebra": 191,
      "its group": 178,
      "its object": 174,
      "its space": 160,
      "their product": 148,
      "its structure": 142,
      "its set": 141,
      "whose algebra": 120,
      "its application": 118,
      "whose element": 94,
      "its form": 91,
      "whose \n\n    ": 90,
      "its topology": 90,
      "its morphism": 89,
      "its value": 88,
      "its \n    ": 85,
      "Planck constant": 79,
      "its dual": 78,
      "its bundle": 76,
      "whose space": 72,
      "whose fiber": 69,
      "its restriction": 68,
      "   ": 68,
      "its relation": 68,
      "its cohomology": 67,
      "its product": 65,
      "its adjoint": 64,
      "his work": 64,
      "whose component": 63,
      "their application": 63,
      "its derivative": 63,
      "its spectrum": 61,
      "Noether theorem": 60,
      "its component": 59,
      "its element": 58,
      "its action": 57,
      "their algebra": 57,
      "its fiber": 56,
      "its argument": 55,
      "its class": 54,
      "its delooping": 54,
      "their space": 53,
      "whose image": 53
    },
    "nsubjpass": {
      "this call": 426,
      "what call": 342,
      "  call": 323,
      "\n\n call": 276,
      "\n call": 213,
      "  give": 197,
      "this discuss": 170,
      "  call": 160,
      "it call": 160,
      "it show": 152,
      "relation discuss": 133,
      "category call": 132,
      "\n give": 119,
      "which \n": 116,
      "term use": 112,
      "which give": 110,
      "  give": 105,
      "object call": 104,
      "it \n": 101,
      "these call": 99,
      "which call": 89,
      "x call": 87,
      "  define": 85,
      "morphism call": 79,
      "it argue": 76,
      "it use": 76,
      "\n\n give": 74,
      "it know": 72,
      "notion introduce": 70,
      "functor call": 70,
      "space call": 70,
      "theory discuss": 68,
      "this give": 66,
      "element call": 65,
      "map give": 64,
      "it give": 64,
      "it define": 62,
      "be call": 62,
      "this know": 62,
      "concept introduce": 61,
      "structure discuss": 60,
      "algebra call": 59,
      "group call": 58,
      "  define": 57,
      "which define": 56,
      "\n define": 55,
      "structure \n": 55,
      "this \n": 55,
      "proof give": 55,
      "this describe": 54
    },
    "agent": {
      "give by": 4061,
      "induce by": 787,
      "define by": 785,
      "generate by": 644,
      "represent by": 502,
      "\n by": 484,
      "present by": 320,
      "determine by": 302,
      "replace by": 282,
      "follow by": 272,
      "classify by": 251,
      "preserve by": 209,
      "obtain by": 193,
      "model by": 192,
      "introduce by": 184,
      "describe by": 162,
      "characterize by": 146,
      "denote by": 142,
      "exhibit by": 124,
      "encode by": 123,
      "relate by": 120,
      "span by": 116,
      "index by": 116,
      "motivate by": 112,
      "label by": 111,
      "prove by": 102,
      "develop by": 89,
      "use by": 88,
      "specify by": 83,
      "fix by": 79,
      "provide by": 77,
      "study by": 73,
      "imply by": 73,
      "satisfy by": 67,
      "express by": 60,
      "make by": 59,
      "edit by": 57,
      "order by": 56,
      "see by": 56,
      "\n     by": 55,
      "connect by": 55,
      "bound by": 55,
      "parameterize by": 54,
      "take by": 51,
      "construct by": 49,
      "modulate by": 49,
      "control by": 49,
      "compute by": 48,
      "show by": 48,
      "inspire by": 47
    },
    "aux": {
      "to be": 4534,
      "  →": 3197,
      "  ∈": 1676,
      "  −": 1582,
      "to \n": 1375,
      "   ": 1219,
      "\n be": 1051,
      "→  ": 1003,
      "can \n": 942,
      "to show": 720,
      "may be": 708,
      "  ×": 684,
      "∈  ": 653,
      "to see": 647,
      "to define": 634,
      "may \n": 594,
      "would be": 585,
      "should be": 574,
      "can define": 552,
      "−  ": 552,
      "may think": 527,
      "to make": 515,
      "to have": 492,
      "will be": 475,
      "must be": 461,
      "  ⊗": 460,
      "   ": 458,
      "  ∘": 429,
      "to say": 426,
      "to get": 413,
      "can find": 383,
      "for  ": 381,
      "   ": 372,
      "  ≃": 364,
      "have \n": 360,
      "   ": 353,
      "can be": 353,
      "do \n": 348,
      "to check": 345,
      "to consider": 341,
      "to give": 337,
      "to prove": 325,
      "do have": 318,
      "to think": 307,
      "  ≤": 307,
      "to do": 289,
      "to use": 287,
      "can consider": 275,
      "\n\n idea": 270,
      "×  ": 265
    },
    "xcomp": {
      "be let": 439,
      "define be": 397,
      "be see": 387,
      "take be": 285,
      "say be": 276,
      "be be": 231,
      "seem be": 212,
      "happen be": 192,
      "turn be": 185,
      "be consider": 171,
      "be say": 161,
      "suppose be": 159,
      "need show": 151,
      "be \n": 151,
      "require be": 140,
      "need be": 130,
      "be define": 130,
      "be show": 128,
      "have be": 127,
      "assume be": 121,
      "see see": 116,
      "be think": 102,
      "let let": 101,
      "be use": 100,
      "see let": 94,
      "be check": 91,
      "need check": 90,
      "use define": 90,
      "be notice": 89,
      "suffice show": 86,
      "\n be": 82,
      "be have": 80,
      "be take": 77,
      "be write": 76,
      "remain show": 75,
      "be regard": 67,
      "show be": 66,
      "be find": 64,
      "see be": 61,
      "let be": 58,
      "have let": 56,
      "be make": 56,
      "ought be": 55,
      "be  ": 55,
      "fail be": 55,
      "remain see": 54,
      "appear be": 48,
      "be construct": 48,
      "be prove": 48,
      "say let": 47
    },
    "intj": {
      "( none": 76,
      "now be": 40,
      "see e.g.": 35,
      "def be": 27,
      "( e.g.": 25,
      "of say": 21,
      "\n be": 19,
      "in def": 18,
      "\n\n let": 17,
      "\n\n see": 17,
      "\n  ": 16,
      "be def": 16,
      "\n\n discuss": 16,
      "das ist": 16,
      "be say": 14,
      "of def": 12,
      "in say": 12,
      "for def": 12,
      "over def": 12,
      "  be": 12,
      "yes be": 11,
      "→ be": 11,
      "  a": 11,
      "space say": 11,
      "now \n": 10,
      "\n →": 10,
      "now say": 10,
      "dies ist": 10,
      "\n\n be": 9,
      "  have": 9,
      "( say": 9,
      "let def": 9,
      "category i.e.": 8,
      "object say": 8,
      "\n\n  ": 8,
      "now follow": 8,
      "to say": 8,
      "der ist": 8,
      "denn ist": 8,
      "\n\n →": 7,
      "well be": 7,
      "be a": 7,
      "( eq": 7,
      "see be": 7,
      "\n\n have": 7,
      "  +": 7,
      "on say": 7,
      "be \n": 7,
      "\n\n say": 7,
      "( n": 7
    },
    "preconj": {
      "either be": 37,
      "both \n": 35,
      "both left": 25,
      "be either": 24,
      "either by": 23,
      "either \n": 20,
      "both in": 20,
      "either as": 15,
      "both for": 15,
      "not be": 14,
      "either to": 14,
      "either true": 13,
      "be not": 13,
      "be both": 13,
      "not \n": 12,
      "both adjoint": 12,
      "not in": 11,
      "both on": 11,
      "either in": 10,
      "both monic": 9,
      "either have": 8,
      "both fibration": 8,
      "both of": 8,
      "not on": 8,
      "either x": 7,
      "both space": 7,
      "both injective": 7,
      "both product": 7,
      "both algebra": 7,
      "both object": 7,
      "both full": 7,
      "not to": 6,
      "either of": 6,
      "  ∈": 6,
      "both positive": 6,
      "either group": 6,
      "both f": 5,
      "both fibrant": 5,
      "neither be": 5,
      "both by": 5,
      "both a": 5,
      "both structure": 5,
      "either a": 5,
      "both preserve": 5,
      "both top": 5,
      "both functor": 5,
      "either 0": 5,
      "either equal": 5,
      "both closed": 5,
      "both complete": 5
    },
    "neg": {
      "be not": 2964,
      "not be": 500,
      "not \n": 459,
      "not have": 228,
      "no long": 168,
      "not necessarily": 162,
      "not in": 143,
      "not all": 115,
      "not every": 109,
      "be n’t": 103,
      "not exist": 102,
      "not require": 97,
      "not depend": 87,
      "not confuse": 68,
      "not use": 68,
      "not need": 68,
      "not define": 63,
      "not know": 59,
      "not give": 58,
      "not make": 57,
      "not change": 55,
      "n’t \n": 54,
      "not preserve": 54,
      "be \n": 53,
      "→  ": 53,
      "do not": 51,
      "n’t know": 50,
      "n’t have": 49,
      "not \n    ": 48,
      "not hold": 47,
      "not prove": 46,
      "not assume": 45,
      "not contain": 44,
      "\n not": 44,
      "’ not": 43,
      "not consider": 41,
      "not form": 41,
      "not on": 40,
      "not seem": 40,
      "not imply": 37,
      "not for": 37,
      "not admit": 36,
      "not \n  ": 36,
      "not understand": 33,
      "not to": 31,
      "not apply": 31,
      "not satisfy": 30,
      "not vanish": 30,
      "not appear": 30,
      "not close": 29
    },
    "case": {
      "1 )": 335,
      "Grothendieck ’s": 139,
      "  :": 110,
      "Hilbert ’s": 97,
      "Planck ’s": 91,
      "Quillen ’s": 86,
      "Lawvere ’s": 86,
      "y )": 77,
      "f :": 75,
      "f^ (": 74,
      "Noether ’s": 69,
      "Deligne ’s": 69,
      "Hegel ’s": 68,
      "f a": 68,
      "f(x )": 67,
      "x )": 63,
      "1 +": 61,
      "_ (": 58,
      "Cantor ’s": 55,
      "n +": 54,
      "nlab :": 52,
      "morphism :": 50,
      "Einstein ’s": 50,
      "Cauchy ’s": 49,
      "Witten ’s": 48,
      "for =": 48,
      "Gleason ’s": 47,
      "Gödel ’s": 47,
      "Euler ’s": 46,
      "g )": 46,
      "exp (": 45,
      "Kontsevich ’s": 45,
      "Cartan ’s": 45,
      "g :": 44,
      "Elmendorf ’s": 44,
      "Hamilton ’s": 43,
      "f )": 43,
      "Giraud ’s": 43,
      "Brown ’s": 42,
      "Voevodsky ’s": 42,
      "g a": 41,
      "( +": 41,
      "Maxwell ’s": 39,
      "Zorn ’s": 39,
      "Joyal ’s": 38,
      "u_(i )": 38,
      "x^ (": 38,
      "Lurie ’s": 38,
      "Russell ’s": 38,
      "b )": 37
    },
    "dative": {
      "  →": 1411,
      "  ∈": 381,
      "give \n": 315,
      "  ×": 300,
      "  −": 203,
      "  ⊗": 184,
      "∈  ": 160,
      "→  ": 151,
      "  ∘": 122,
      "send to": 104,
      "send \n": 92,
      "assign \n": 88,
      "give we": 87,
      "\n to": 80,
      "give to": 73,
      "write \n": 67,
      "  ⊂": 67,
      "  ↪": 67,
      "  ≤": 61,
      "see \n": 59,
      "have \n": 57,
      "  ↦": 55,
      "  ≃": 49,
      "consider \n": 48,
      "  ⋅": 46,
      "  ∧": 43,
      "take \n": 43,
      "×  ": 42,
      "  ⇒": 40,
      "  ⊕": 36,
      "define \n": 35,
      "  \n": 35,
      "make \n": 33,
      "∘  ": 33,
      "call \n": 30,
      "  ≔": 29,
      "be \n": 28,
      "  ∩": 27,
      "−  ": 26,
      "give it": 26,
      "  ⊆": 25,
      "regard \n": 25,
      "  ≅": 23,
      "  ≥": 22,
      "  ⊣": 22,
      "⊗  ": 21,
      "\n which": 20,
      "\n -": 20,
      "form \n": 19,
      "\n def": 19
    },
    "expl": {
      "there be": 9486,
      "there exist": 1269,
      "there \n": 353,
      ") be": 193,
      "be there": 71,
      "there ’": 63,
      "g be": 48,
      "there \n    ": 46,
      "a be": 44,
      "there seem": 29,
      "] be": 21,
      "the be": 19,
      "there induce": 16,
      "there \n  ": 15,
      "  >": 13,
      "there appear": 13,
      "  [": 12,
      "= be": 12,
      "where \n\n": 12,
      "\n be": 12,
      "[ be": 12,
      "there ought": 11,
      "there remain": 10,
      "  =": 10,
      "where be": 9,
      "there have": 8,
      "} be": 8,
      "an be": 7,
      "be \n": 7,
      "there need": 6,
      "( be": 6,
      "𝔤 be": 6,
      "be  ": 6,
      "\n [": 5,
      "there associate": 5,
      "here be": 5,
      "there suppose": 5,
      "i be": 4,
      ">  ": 4,
      "[ ∈": 4,
      "be be": 4,
      "there \n        ": 4,
      "see there": 4,
      "there call": 4,
      ") =": 4,
      "there correspond": 4,
      "ist die": 4,
      "where \n\n    ": 3,
      "\n there": 3,
      "A be": 3
    },
    "csubj": {
      "be be": 418,
      "  be": 232,
      "call be": 141,
      "\n be": 137,
      "  be": 100,
      ") be": 99,
      "be \n": 65,
      "have be": 47,
      "be mean": 40,
      "give be": 34,
      "= be": 33,
      "\n\n be": 30,
      "make be": 29,
      "( be": 28,
      "say be": 27,
      "take be": 27,
      "be follow": 27,
      "apply yield": 27,
      "need be": 26,
      "define be": 24,
      "use be": 23,
      "be  ": 20,
      "write be": 19,
      "take \n": 19,
      "  be": 18,
      "do be": 18,
      "apply \n": 17,
      "mean be": 17,
      "know be": 16,
      "see be": 15,
      "form \n": 14,
      "consider be": 13,
      "being be": 13,
      "regard be": 13,
      "preserve be": 13,
      "obtain be": 12,
      "let  ": 12,
      "let be": 12,
      "call \n": 11,
      "be have": 11,
      "want be": 11,
      "be imply": 11,
      "matter be": 11,
      "g be": 11,
      "use \n": 10,
      "get be": 10,
      "construct be": 10,
      "form be": 10,
      "[ be": 10,
      "contain be": 10
    },
    "meta": {
      ".  ": 3238,
      "2 .": 2506,
      "1 .": 2402,
      "3 .": 1002,
      "1  ": 392,
      "4 .": 368,
      "2  ": 349,
      "3  ": 229,
      ". be": 181,
      "5 .": 171,
      "# theory": 150,
      ".  ": 139,
      "4  ": 117,
      "6 .": 89,
      "n  ": 78,
      "5  ": 61,
      "1 be": 59,
      "7 .": 47,
      "contents go": 45,
      "6  ": 44,
      ".  ": 42,
      "   ": 41,
      "# geometry": 40,
      "# cohomology": 39,
      "8 .": 38,
      "# algebra": 37,
      "  be": 35,
      ".   ": 33,
      "7  ": 25,
      "2 be": 25,
      ". have": 24,
      ". \n\n": 24,
      "9 .": 23,
      "# context": 22,
      "# topology": 22,
      "ii be": 21,
      ". =": 21,
      "a  ": 20,
      "1  ": 18,
      "1  ": 18,
      ". theory": 18,
      "8  ": 18,
      "iii be": 16,
      "a  ": 16,
      "i be": 15,
      "b  ": 15,
      "a be": 14,
      ". algebra": 13,
      ". category": 13,
      ". write": 13
    },
    "oprd": {
      "call  ": 896,
      "call \n": 637,
      "call be": 476,
      "call  ": 342,
      "call →": 305,
      "call \n\n": 229,
      "call ∈": 222,
      "call category": 200,
      "call theory": 193,
      "call call": 178,
      "call space": 165,
      "call algebra": 153,
      "call group": 150,
      "call -": 146,
      "call .": 140,
      "call −": 128,
      "call functor": 124,
      "call definition": 115,
      "call property": 110,
      "call proposition": 105,
      "call field": 104,
      "call example": 104,
      "call reference": 99,
      "call structure": 98,
      "call object": 94,
      "call concept": 93,
      "make explicit": 87,
      "call set": 83,
      "call let": 76,
      "call have": 75,
      "call remark": 72,
      "call morphism": 72,
      "call bundle": 68,
      "leave adjoint": 68,
      "call see": 67,
      "call product": 65,
      "call function": 63,
      "leave exact": 63,
      "call map": 60,
      "call theorem": 59,
      "call model": 58,
      "make precise": 57,
      "call ×": 56,
      "call form": 53,
      "call type": 51,
      "call  ": 50,
      "call representation": 49,
      "call geometry": 48,
      "call cohomology": 48,
      "call sequence": 46
    },
    "quantmod": {
      "a few": 84,
      "( 1": 77,
      "than one": 64,
      "  .": 52,
      "  .": 48,
      "\n .": 48,
      "( n": 46,
      "1 1": 41,
      "1 .": 40,
      "  1": 32,
      "( 2": 32,
      "any two": 26,
      "( +": 25,
      "2 .": 25,
      "1 2": 25,
      "2 -": 21,
      "n -": 21,
      "( 0": 17,
      "{ 1": 17,
      "{ 0": 17,
      "  .": 17,
      "1 +": 15,
      "[ 0": 14,
      "( a": 12,
      "n +": 12,
      "  .": 11,
      "than two": 10,
      "( x": 10,
      "\n\n .": 10,
      "  2": 10,
      "[ 1": 9,
      "3 .": 9,
      "1 /": 9,
      "{ 3": 9,
      "4 6": 9,
      "all four": 9,
      "if .": 8,
      "1 3": 8,
      "{ 2": 8,
      "+ 1": 8,
      "\n     .": 7,
      "2 3": 7,
      "  1": 7,
      "( b": 7,
      "  0": 7,
      "quite few": 6,
      "4 .": 6,
      "x 2": 6,
      "x 1": 6,
      "( p": 5
    },
    "predet": {
      "all this": 126,
      "all \n": 101,
      "such a": 88,
      "such way": 60,
      "all the": 40,
      "all structure": 40,
      "all these": 37,
      "such morphism": 35,
      "such category": 34,
      "all map": 34,
      "such structure": 32,
      "such functor": 31,
      "all group": 31,
      "all morphism": 30,
      "all way": 30,
      "such \n": 29,
      "such diagram": 26,
      "all object": 23,
      "such theory": 23,
      "all element": 22,
      "such map": 20,
      "such space": 19,
      "such function": 18,
      "such object": 15,
      "all case": 15,
      "all that": 15,
      "all notion": 14,
      "all property": 14,
      "all space": 13,
      "such relation": 13,
      "such notion": 13,
      "such an": 13,
      "all point": 13,
      "such model": 13,
      "such choice": 13,
      "such system": 13,
      "all category": 12,
      "such pair": 12,
      "such form": 11,
      "all fiber": 11,
      "all condition": 11,
      "such case": 11,
      "all theory": 11,
      "such thing": 11,
      "all derivative": 11,
      "all operation": 10,
      "such extension": 10,
      "all example": 10,
      "such sequence": 9,
      "such representation": 9
    }
  },
  "entity_stats": {
    "ORDINAL": {
      "first": 4501,
      "second": 2023,
      "third": 429,
      "fourth": 109,
      "2nd": 95,
      "nth": 78,
      "sixth": 37,
      "fifth": 34,
      "0th": 34,
      "3rd": 28,
      "1st": 26,
      "secondly": 22,
      "4th": 17,
      "firstly": 15,
      "seventh": 14,
      "th": 11,
      "First": 10,
      "6th": 9,
      "19th": 8,
      "12th": 8,
      "10th": 8,
      "60th": 8,
      "7th": 7,
      "Second": 6,
      "28th": 6,
      "thirdly": 6,
      "secondary": 6,
      "21st": 6,
      "5th": 4,
      "54th": 4,
      "kth": 4,
      "100th": 4,
      "11th": 3,
      "103rd": 3,
      "50th": 3,
      "14th": 3,
      "70th": 3,
      "13th": 3,
      "15th": 3,
      "tenth": 3,
      "25th": 3,
      "80th": 3,
      "9th": 3,
      "eighth": 3,
      "33rd": 2,
      "35th": 2,
      "pth": 2,
      "75th": 2,
      "29th": 2,
      "16th": 2
    },
    "CARDINAL": {
      "2": 5012,
      "1": 4085,
      "3": 2860,
      "two": 2356,
      "4": 1775,
      "one": 1252,
      "5": 942,
      "6": 869,
      "10": 702,
      "13": 677,
      "12": 601,
      "7": 594,
      "11": 513,
      "three": 485,
      "8": 440,
      "14": 422,
      "16": 420,
      "zero": 412,
      "0": 376,
      "9": 369,
      "15": 343,
      "17": 328,
      "18": 313,
      "19": 293,
      "96": 258,
      "99": 193,
      "20": 191,
      "23": 188,
      "98": 185,
      "four": 177,
      "97": 170,
      "2.2": 166,
      "2.1": 161,
      "3.2": 158,
      "2.3": 155,
      "06": 155,
      "24": 155,
      "22": 152,
      "21": 148,
      "95": 145,
      "87": 145,
      "93": 138,
      "30": 135,
      "09": 134,
      "3.1": 131,
      "26": 126,
      "4.1": 125,
      "4.2": 123,
      "29": 123,
      "32": 123
    },
    "PERSON": {
      "Urs Schreiber": 693,
      "Jacob Lurie": 649,
      "Lawvere": 591,
      "Edward Witten": 533,
      "Grothendieck": 521,
      "Lurie": 441,
      "Hisham Sati": 385,
      "Hausdorff": 333,
      "Minkowski": 322,
      "Adams": 308,
      "Peter Johnstone": 264,
      "Witten": 264,
      "Mike Shulman": 263,
      "Peter May": 259,
      "John Baez": 253,
      "Sullivan": 252,
      "Domenico Fiorenza": 248,
      "Feynman": 227,
      "Hodge": 209,
      "Ieke Moerdijk": 202,
      "Quillen": 195,
      "Johnstone": 193,
      "Galois": 182,
      "Thom": 180,
      "Daniel Freed": 174,
      "Wilson": 173,
      "Stefan Schwede": 163,
      "Cisinski": 162,
      "William Lawvere": 158,
      "Hegel": 153,
      "Dan Freed": 143,
      "Kontsevich": 141,
      "Michael Hopkins": 139,
      "Klaus Fredenhagen": 139,
      "Toby": 138,
      "Kähler": 136,
      "Hilbert": 135,
      "Jim Stasheff": 130,
      "Maxim Kontsevich": 130,
      "Kan": 125,
      "Cumrun Vafa": 125,
      "Michael Atiyah": 124,
      "Alain Connes": 123,
      "Platon": 123,
      "Deligne": 122,
      "André Joyal": 118,
      "Postnikov": 115,
      "Ulrich Bunke": 113,
      "Paul Townsend": 112,
      "Einstein": 110
    },
    "WORK_OF_ART": {
      "Sketches of an Elephant": 56,
      "Lecture Notes in Mathematics": 35,
      "Sheaves in Geometry and Logic": 34,
      "Lectures on Étale Cohomology": 33,
      "the Multifaceted Skyrmion": 26,
      "Mathematical Structures in Computer Science": 25,
      "Lecture Notes in Physics": 21,
      "a Survey of Elliptic Cohomology": 18,
      "Handbook of Algebraic Topology": 16,
      "Sketches of an elephant": 16,
      "Lecture Notes in Math": 14,
      "An Introduction to Homological Algebra": 14,
      "the Annals of Mathematics": 13,
      "Quantum Gauge Theories – A True Ghost Story": 12,
      "Quantum Fields and string": 12,
      "Practical Foundations of Mathematics": 12,
      "the Geometry of Physics": 12,
      "ZMATH": 12,
      "Practical Foundations for Programming Languages": 12,
      "a Survey of Elliptic Cohomology -": 12,
      "A Survey of Elliptic Cohomology": 12,
      "Mathematical Foundations \n     of Quantum Field and Perturbative String Theory Proceedings of \n     Symposia in Pure Mathematics": 11,
      "Handbook of Categorical Algebra": 10,
      "Mathematical Surveys and Monographs": 10,
      "Global Homotopy Theory and Cohesion": 9,
      "Theorem": 9,
      "HTT": 9,
      "an introduction to \n    ": 9,
      "Introduction to Étale Cohomology": 9,
      "Categories , Allegories": 8,
      "Structured Spaces": 8,
      "Mathematical Aspects of String Theory": 7,
      "Finite Quantum Electrodynamics – The Causal Approach": 7,
      "Introduction to Strings and Branes": 7,
      "American Journal of Mathematics": 7,
      "Functorial Semantics of Algebraic Theories": 7,
      "science of Logic": 6,
      "Catégories Tannakiennes": 6,
      "Marchesano 03": 6,
      "the Grothendieck Festschrift": 6,
      "MSIA": 6,
      "Quadratic Functions in Geometry": 6,
      "Categories for the Working Mathematician": 6,
      "Algebraic Number Theory": 6,
      "Logical Foundations of Computer Science 2016": 6,
      "Categorical Homotopy Theory": 5,
      "Strings , Fields , Topology": 5,
      "Singular Coverings of Toposes": 5,
      "Basic Concepts of Enriched Category Theory": 5,
      "Lecture Notes in Mathematics 64": 5
    },
    "DATE": {
      "2009": 691,
      "2002": 684,
      "2012": 681,
      "2010": 657,
      "2011": 648,
      "2008": 620,
      "2003": 587,
      "1996": 569,
      "2013": 569,
      "2007": 561,
      "2006": 549,
      "1999": 543,
      "1998": 543,
      "2004": 535,
      "2014": 532,
      "2018": 520,
      "1995": 503,
      "1997": 500,
      "2005": 495,
      "2001": 491,
      "2000": 464,
      "1994": 463,
      "1989": 400,
      "1990": 374,
      "2016": 372,
      "1991": 362,
      "2015": 361,
      "2017": 341,
      "1993": 339,
      "1986": 336,
      "1992": 322,
      "1987": 314,
      "1982": 299,
      "1984": 299,
      "1983": 293,
      "2019": 293,
      "1988": 281,
      "1985": 255,
      "1973": 254,
      "1974": 252,
      "1977": 248,
      "1978": 244,
      "1980": 239,
      "1970": 224,
      "1972": 211,
      "1971": 209,
      "1981": 197,
      "1967": 188,
      "1975": 184,
      "1979": 180
    },
    "GPE": {
      "Berlin": 93,
      "Paris": 81,
      "New York": 76,
      "Providence": 76,
      "Cambridge": 62,
      "RI": 57,
      "Boston": 46,
      "MA": 42,
      "Moscow": 41,
      "Amsterdam": 37,
      "London": 34,
      "Germany": 26,
      "Chicago": 24,
      "NJ": 24,
      "Princeton": 22,
      "Trieste": 20,
      "Washington": 20,
      "France": 19,
      "Singapore": 19,
      "Italy": 18,
      "MO": 17,
      "Tokyo": 17,
      "Zürich": 16,
      "Warsaw": 16,
      "DC": 15,
      "Jordan": 13,
      "Kyoto": 13,
      "Bonn": 12,
      "Canada": 12,
      "Tohoku": 12,
      "Montreal": 12,
      "Vienna": 11,
      "Japan": 11,
      "Calif.": 11,
      "Zurich": 11,
      "USA": 10,
      "UK": 10,
      "Rhode Island": 10,
      "Berkeley": 9,
      "North Holland": 9,
      "Seattle": 9,
      "CA": 8,
      "Madison": 8,
      "Brighton": 8,
      "Brno": 7,
      "Somerville": 7,
      "Rome": 7,
      "Copenhagen": 7,
      "Suhrkamp": 7,
      "Leipzig": 7
    },
    "ORG": {
      "Wikipedia": 420,
      "Springer": 281,
      "Springer - Verlag": 223,
      "Cambridge University Press": 173,
      "Academic Press": 96,
      "American Mathematical Society": 85,
      "World Scientific": 83,
      "University Press": 79,
      "Amer .": 76,
      "Princeton University Press": 72,
      "Cambridge Univ . Press": 65,
      "Cambridge": 63,
      "Nucl": 62,
      "Springer Heidelberg": 56,
      "Oxford UP": 56,
      "nLab": 54,
      "Cambridge University": 52,
      "TAC": 49,
      "Amer . Math .": 48,
      "Oxford University Press": 47,
      "London Math .": 47,
      "the Stacks Project": 36,
      "Elsevier": 35,
      "MIT": 35,
      "AMS": 35,
      "Springer Verlag": 32,
      "Oxford": 30,
      "London Math": 29,
      "North - Holland": 29,
      "Wiley": 29,
      "LHCb": 28,
      "Princeton Univ . Press": 27,
      "Ann . of Math": 25,
      "Oxford University": 24,
      "Cambridge UP": 23,
      "Cambridge \n    ": 23,
      "Numdam": 23,
      "Ann .": 22,
      "Princeton": 22,
      "Atiyah": 21,
      "Ross Street": 20,
      "Acad . Press": 19,
      "Dover": 19,
      "CRC Press": 19,
      "University of \n    ": 18,
      "nForum": 17,
      "Lurie": 17,
      "Birkhäuser": 16,
      "arXiv": 16,
      "Kyoto Univ": 15
    },
    "FAC": {
      "Whitehead tower": 24,
      "LHC": 14,
      "Postnikov tower": 9,
      "Eilenberg - Mac Lane": 5,
      "Hanany - Zaffaroni 99": 4,
      "Hooft - Polyakov": 4,
      "Whitehead": 4,
      "Belle II": 4,
      "Kaluza - Klein": 3,
      "Taylor tower": 3,
      "Ross Street": 3,
      "Grothendieck - Teichmüller tower": 2,
      "Street": 2,
      "Eilenberg - MacLane": 2,
      "Day - Street 03": 2,
      "Euler - Lagrange": 2,
      "Dubuc - Street": 1,
      "Gatwick Airport": 1,
      "Goodwillie - Taylor \n tower": 1,
      "Stokes \n sheaf": 1,
      "CatLab": 1,
      "Barnich - Brandt - Henneaux 00": 1,
      "Adams tower": 1,
      "GKSTY 02": 1,
      "HKLY 15": 1,
      "Kaloper 04": 1,
      "Calabi - Yau": 1,
      "Bourn – Penon": 1,
      "RHIC": 1,
      "Landau – Ginzburg": 1,
      "Lada - Stasheff 92": 1,
      "Atiyah": 1,
      "the Postnikov tower": 1,
      "Goodwillie - Taylor tower": 1,
      "Goodwillie - Taylor": 1,
      "Arone 99": 1,
      "Helmholtz 87": 1,
      "Maldacena 97a": 1,
      "the Whitehead tower": 1,
      "the n - Café": 1,
      "the Warsaw Circle": 1,
      "Antieau - Gepner 12": 1,
      "Bousfield - Gugenheim 76": 1,
      "Chan - Paton": 1,
      "Kaluza - Klein monopole": 1,
      "G2 - MSSM": 1,
      "Whitehead \n": 1,
      "Mitra - Roy 01": 1,
      "Mukhi - Suryanarayana 00": 1,
      "Mitra - Roy 00": 1
    },
    "EVENT": {
      "First European Congress of Mathematics": 7,
      "Pre - Talbot Seminar": 5,
      "International Workshop on \n    ": 5,
      "UF - IAS-2012": 5,
      "International Conference on Formal Structures for \n    ": 5,
      "the Cech centennial": 4,
      "Shelter Island II": 4,
      "Gökova Geometry - Topology Conference": 3,
      "ICM": 3,
      "PolchinskiFest 2014": 3,
      "Cornell Topology Festival": 2,
      "IX Fall workshop": 2,
      "the Big Bang": 2,
      "XXIX Workshop on \n    ": 2,
      "SUSY02": 2,
      "Ahrenshoop Symposium": 2,
      "Pre - Talbot \n     Seminar ( pdf": 2,
      "the LMS - EPSRC Durham Symposium : Higher Structures in M - Theory": 2,
      "International Conference \n    ": 2,
      "Rencontres de Moriond": 2,
      "ACM / IEEE Symposium on Logic \n     in Computer Science": 2,
      "International Conference on New Frontiers": 2,
      "Planck 2018": 2,
      "CCA 2005": 2,
      "Shelter Island Conference": 2,
      "Vancouver Conference": 2,
      "the XXV Winter": 2,
      "L.D.Landau Memorial Conference": 2,
      "the Cech centennial : a conference": 2,
      "the Big bang": 2,
      "IX Marcel \n     Grossmann Meeting": 2,
      "CCA 2005 - Second International Conference \n     on Computability and Complexity in Analysis": 2,
      "the International Congress of \n    ": 2,
      "International Conference on \n    ": 2,
      "Buffalo Colloquium": 2,
      "the Midwest Category Seminar IV": 1,
      "International Conference on General Relativity and Gravitation": 1,
      "the Cargese Workshop on Random Surfaces": 1,
      "the Annual ACM \n     Conference .": 1,
      "Barsotti - Symposium in Algebraic Geometry": 1,
      "International Congress on Mathematical Education": 1,
      "International \n     Conference on Meson - Nucleon Physics and the Structure of the Nucleon \n    ": 1,
      "Les Houches Session LXXXVII": 1,
      "WWI": 1,
      "Focus Week on New Invariants and Wall Crossing": 1,
      "International Conference on Orbis Scientiae 1999": 1,
      "XXII International Conference on \n    ": 1,
      "XXVI International Conference on \n    ": 1,
      "International Congress on Mathematical Physics": 1,
      "International Conference \n     on Homotopy Theory": 1
    },
    "TIME": {
      "2:46 on": 4,
      "a moment": 4,
      "an hour": 4,
      "a minute": 3,
      "18:00": 3,
      "06:59": 2,
      "07:19": 2,
      "08:12": 2,
      "12:46": 2,
      "last night": 2,
      "3:30": 2,
      "12:00": 2,
      "one hour": 2,
      "the \n   hour": 2,
      "the next half hour": 2,
      "the first hour": 2,
      "08:45 - 09:25": 2,
      "09:35 - 10:15": 2,
      "10:45 - 11:25": 2,
      "19:33": 1,
      "19:40": 1,
      "00:43 )": 1,
      "00:49": 1,
      "04:06": 1,
      "06:39": 1,
      "08:08": 1,
      "08:24": 1,
      "08:37": 1,
      "overnight": 1,
      "08:48": 1,
      "09:01": 1,
      "09:16": 1,
      "12:44": 1,
      "12:58": 1,
      "13:05": 1,
      "15:03": 1,
      "15:05": 1,
      "15:39 )": 1,
      "a few minute": 1,
      "15:53": 1,
      "16:19": 1,
      "17:00 )": 1,
      "17:03": 1,
      "17:11": 1,
      "20:17": 1,
      "20:37": 1,
      "21:00": 1,
      "late \n": 1,
      "only 5 second": 1,
      "tonight": 1
    },
    "LOC": {
      "Hausdorff": 68,
      "Universe": 15,
      "Eilenberg - Mac Lane": 13,
      "Calabi - Yau": 11,
      "Kalb - Ramond": 9,
      "Whitehead": 8,
      "Cauchy": 8,
      "Bridgeland": 8,
      "Segal": 7,
      "Segal space": 7,
      "Stone": 6,
      "Welt": 6,
      "Chevalley - Eilenberg": 5,
      "Eilenberg - MacLane": 5,
      "Alexandrov": 4,
      "Hochschild": 4,
      "Coulomb": 4,
      "Deligne": 3,
      "Schwarzschild": 3,
      "cauchy": 3,
      "Milky Way": 3,
      "Milky way": 3,
      "Taub - NUT": 3,
      "earth": 3,
      "Gromoll - Meyer": 3,
      "Stonean": 3,
      "the Ashdown Forest": 2,
      "Dolbeault dga": 2,
      "Chern": 2,
      "Azumaya": 2,
      "Poon - Salamon 91": 2,
      "LeBrun - Salamon 94": 2,
      "Pati - Salam": 2,
      "Earth": 2,
      "Segal \n": 2,
      "Chandra Observatory": 2,
      "Chandra": 2,
      "Kruskal –": 2,
      "Tohoku": 2,
      "Higgs": 2,
      "Chern - Simons circle": 2,
      "Sun": 2,
      "Ramond - Ramond": 2,
      "Yang - Mills": 2,
      "NGC1052 – DF2": 2,
      "Fréchet": 2,
      "Gribov": 2,
      "Raume": 2,
      "Cau": 2,
      "Wand": 2
    },
    "LAW": {
      "WdL": 6,
      "FRS 13b": 6,
      "bmrs 07": 4,
      "Lambrechts - Volic 14": 4,
      "prop .": 3,
      "Bar - Natan 95": 3,
      "Adamek - Rosicky": 3,
      "Varadarajan 04": 3,
      "abghr 08": 3,
      "FSS 19 , 3.4": 3,
      "Bunke - Nikolaus - Völkl 13": 3,
      "fss 13": 3,
      "Dialectica": 3,
      "the Cancellation Law": 3,
      "Marchesano 03": 2,
      "DFM 03": 2,
      "FSS 19c , theorem": 2,
      "affhs 98": 2,
      "ALRalg": 2,
      "Robalo 12": 2,
      "prop . 4.1": 2,
      "Hoyois 15 , section": 2,
      "Hoyois 15 , def": 2,
      "Proposition": 2,
      "GGMPPRW 09": 2,
      "FSS 13": 2,
      "COSHEP": 2,
      "HSS 13": 2,
      "FSS 12": 2,
      "JPAA 215 no.5": 2,
      "Renaudin 06": 2,
      "rezk 14": 2,
      "PN§298": 2,
      "MRR87": 2,
      "Dugger 01 , theorem": 1,
      "oppv 12": 1,
      "Hörmander 71 , \n": 1,
      "S5 , S5_((m": 1,
      "Kutschke 96 ,": 1,
      "CCGP 09": 1,
      "ACGM 08": 1,
      "rezk 10 , prop": 1,
      "DMW 00": 1,
      "EGAIV4 \n 17.1.1": 1,
      "Joyal - Nielsen - Winskel": 1,
      "fss 19b": 1,
      "prop . \n 3.3.1.5": 1,
      "lemma \n 9.5.15": 1,
      "proposition 9.5.16": 1,
      "Hirschhorn": 1
    },
    "NORP": {
      "cauchy": 284,
      "Cauchy": 81,
      "russian": 80,
      "Galois": 79,
      "german": 46,
      "french": 39,
      "Zariski": 37,
      "tannakian": 31,
      "polish": 27,
      "stonean": 25,
      "Russian": 25,
      "Yukawa": 24,
      "non - abelian": 23,
      "Čech": 21,
      "Tamagawa": 19,
      "albanese": 19,
      "Majorana": 19,
      "non - archimedean": 16,
      "Kan": 16,
      "German": 16,
      "greek": 15,
      "Koszul": 14,
      "sasakian": 13,
      "bayesian": 13,
      "soviet": 12,
      "hegelian": 11,
      "japanese": 11,
      "australian": 11,
      "jacobian": 11,
      "Jacobians": 11,
      "american": 11,
      "Soviet": 9,
      "artinian": 9,
      "Rus": 8,
      "karoubian": 8,
      "motivic": 8,
      "hawaiian": 7,
      "Amitsur": 7,
      "eleatic": 7,
      "Eleatics": 7,
      "british": 6,
      "Atiyah": 6,
      "Batanin": 6,
      "galois": 5,
      "non - noetherian": 5,
      "French": 5,
      "italian": 5,
      "riemannian": 5,
      "hermitian": 5,
      "Pontryagin": 5
    },
    "LANGUAGE": {
      "English": 99,
      "english": 98,
      "Russian": 40,
      "German": 22,
      "French": 20,
      "russian": 16,
      "Latin": 7,
      "german": 5,
      "Japanese": 5,
      "spanish": 3,
      "french": 3,
      "greek": 2,
      "latin": 2,
      "Golang": 1,
      "galois": 1,
      "brazilian": 1,
      "Rus": 1,
      "Russ": 1,
      "Arabic": 1,
      "Galois": 1,
      "Agda": 1,
      "Chinese": 1,
      "Greek": 1
    },
    "PRODUCT": {
      "Cat": 35,
      "Coq": 11,
      "Agda": 11,
      "NS5": 10,
      "D6": 6,
      "Twelf": 5,
      "the G2 - MSSM": 5,
      "StrCat": 5,
      "GeoGebra": 4,
      "Automath": 4,
      "M2": 4,
      "M5": 4,
      "O8": 3,
      "Perseus": 3,
      "DblCat": 3,
      "DblProf": 3,
      "TwoVect": 3,
      "Grin": 2,
      "Lean": 2,
      "Elf": 2,
      "Quipper": 2,
      "Dugger 08": 2,
      "Operad": 2,
      "D4": 2,
      "Mizar": 2,
      "Frege": 2,
      "WebAssembly": 2,
      "Elephant": 2,
      "MK6": 2,
      "Passport": 2,
      "SnapPy": 2,
      "Gallina": 2,
      "Solidity": 2,
      "Scilla": 2,
      "Arend": 2,
      "Corolla": 2,
      "the Reidemeister Moves": 1,
      "Mainnet": 1,
      "Casper": 1,
      "Tolar Hashnet": 1,
      "Telegram Open \n Network": 1,
      "thundercore": 1,
      "GTM 6": 1,
      "Quicktime": 1,
      "OCaml": 1,
      "Emacs": 1,
      "F5": 1,
      "GKR18": 1,
      "NS5 - brane": 1,
      "Eff": 1
    },
    "QUANTITY": {
      "21 cm": 14,
      "two foot": 6,
      "125 gev": 5,
      "2  ": 4,
      "one degree": 4,
      "two mile": 4,
      "one mile": 4,
      "four \n  ": 4,
      "300000 tp": 3,
      "16  ": 3,
      "21 - cm": 3,
      "78 \n    ": 3,
      "1 - cube": 3,
      "600 - cell": 3,
      "1 sigma": 3,
      "108 °": 3,
      "5 - brane": 3,
      "36 °": 3,
      "5σ ,": 2,
      "5 sigma": 2,
      "360 degree": 2,
      "0.1 - 1 kev": 2,
      "8  ": 2,
      "ℤ/2 - degree": 2,
      "86 mb": 2,
      "five - brane": 2,
      "the kilogram": 2,
      "5  ": 2,
      "half a mile": 2,
      "two \n  ": 2,
      "1 tev": 2,
      "10^ (   −": 2,
      "72 °": 2,
      "1080 °": 2,
      "10^ (  ": 2,
      "32 - bit": 1,
      "19,4 mb": 1,
      "3.5σ ( DHMZ 17 ) or 4σ ( Jegerlehner 18a ) .": 1,
      "2.5 σ": 1,
      "4σ ,": 1,
      "1.6  ": 1,
      "35 ) meter": 1,
      "16  ": 1,
      "3   =   3¹ to the single dot over n   =   7 in the \n second": 1,
      "5  ": 1,
      "0  ": 1,
      "8 transaction per second ( tps ) and also big \n latency time ( for final confirmation ) be not very suitable for most \n blockchain application .": 1,
      "million tp \n when all employ as plan . \n\n in addition , there be an analogue algorithm to lightning network \n target to Ethereum , with substantial new idea in the algorithm , \n call plasma network .": 1,
      "50000 to 500000 tp": 1,
      "150000 tp": 1
    },
    "MONEY": {
      "259€284": 6,
      "62 m dollar": 1,
      "1,000,000 buck": 1,
      "80 \n   million": 1,
      "£ 400 million": 1,
      "£ 100 billion": 1,
      "98.00 € \n\n": 1,
      "𝒩16": 1,
      "( ∞,1)-sheaf for the": 1,
      "1 / σ": 1,
      "$ osp(1": 1
    },
    "PERCENT": {
      "18 °": 4,
      "2  ": 4,
      "54 °": 3,
      "72 °": 3,
      "36 °": 2,
      "100 %": 2,
      "1  ": 2,
      "4  ": 1,
      "2  ": 1,
      "5  ": 1,
      "More than 98 %": 1,
      "4.9 %": 1,
      "26.8 %": 1,
      "68.3 %": 1,
      "0 ,   1728  ": 1,
      "100 percent": 1,
      "about 3σ .": 1,
      "about 70 %": 1,
      "roughly 67 %": 1,
      "2 ,   1)-category bun with object lie \n groupoid , 1 - morphism bibundle functor , and 2 - morphism isomorphism \n of bibundle .": 1,
      "2 ,   1)-category because 2 - morphism be obviously \n invertible .": 1,
      "2 ,   1)-category be equivalent to the one obtain by \n generalise morphism or by anafunctor .": 1,
      "3.8σ in": 1,
      "3.1σ or": 1,
      "0.000029 %": 1,
      "6      ": 1,
      "d1.3.6 \n    ": 1,
      "2 per": 1,
      "1 per": 1,
      "5 per": 1,
      "5σ (": 1,
      "5σ  ": 1,
      "2.8  ": 1,
      "about 15 %": 1,
      "2 %": 1,
      "36 ° 18 °": 1,
      "18 ° 18 °": 1,
      "over 50 %": 1
    }
  }
}