tac_stats_formatted.json

{
  "spacy_version": "3.5.0",
  "spacy_model": "en_core_web_trf",
  "date": "2023-02-01 19:02:01.383199",
  "corpus": "tac",
  "documents": 755,
  "sentences": 3032,
  "sentence_lengths": {
    "1": 6,
    "2": 2,
    "3": 1,
    "4": 3,
    "5": 3,
    "6": 7,
    "7": 14,
    "8": 24,
    "9": 20,
    "10": 40,
    "11": 36,
    "12": 60,
    "13": 68,
    "14": 81,
    "15": 75,
    "16": 82,
    "17": 110,
    "18": 115,
    "19": 90,
    "20": 111,
    "21": 108,
    "22": 88,
    "23": 94,
    "24": 101,
    "25": 100,
    "26": 84,
    "27": 102,
    "28": 89,
    "29": 85,
    "30": 74,
    "31": 64,
    "32": 81,
    "33": 72,
    "34": 77,
    "35": 72,
    "36": 58,
    "37": 60,
    "38": 57,
    "39": 38,
    "40": 36,
    "41": 48,
    "42": 42,
    "43": 27,
    "44": 36,
    "45": 32,
    "46": 23,
    "47": 20,
    "48": 25,
    "49": 26,
    "50": 21,
    "51": 20,
    "52": 16,
    "53": 14,
    "54": 13,
    "55": 14,
    "56": 13,
    "57": 8,
    "58": 10,
    "59": 12,
    "60": 12,
    "61": 9,
    "62": 5,
    "63": 3,
    "64": 4,
    "65": 5,
    "66": 6,
    "67": 2,
    "68": 3,
    "69": 6,
    "70": 5,
    "71": 3,
    "72": 2,
    "73": 2,
    "74": 6,
    "75": 1,
    "76": 3,
    "77": 3,
    "78": 1,
    "79": 2,
    "80": 1,
    "81": 1,
    "83": 1,
    "85": 5,
    "86": 3,
    "94": 1,
    "96": 2,
    "97": 1,
    "98": 1,
    "101": 1,
    "104": 1,
    "105": 1,
    "107": 1,
    "108": 1,
    "113": 1,
    "116": 1,
    "118": 1,
    "126": 1,
    "127": 1,
    "131": 1,
    "132": 1,
    "137": 1,
    "139": 2,
    "145": 1,
    "149": 1,
    "154": 1,
    "171": 1,
    "176": 1,
    "192": 1,
    "206": 1,
    "287": 1,
    "319": 1,
    "372": 1
  },
  "tokens": 90207,
  "lemmas": 4514,
  "pos": {
    "SPACE": 309,
    "PRON": 3452,
    "VERB": 6937,
    "DET": 9153,
    "NOUN": 25187,
    "ADP": 10839,
    "ADJ": 9521,
    "NUM": 1093,
    "PUNCT": 10413,
    "AUX": 2846,
    "SCONJ": 1448,
    "CCONJ": 2187,
    "PART": 790,
    "ADV": 2231,
    "PROPN": 3100,
    "X": 381,
    "SYM": 313,
    "INTJ": 7
  },
  "tag": {
    "_SP": 309,
    "PRP": 1974,
    "VBP": 2721,
    "DT": 9364,
    "NN": 17926,
    "IN": 11961,
    "JJ": 9358,
    "NNS": 7262,
    "VBG": 946,
    "CD": 1093,
    "HYPH": 1197,
    ".": 2994,
    "VBZ": 2469,
    "PRP$": 371,
    "CC": 2187,
    "MD": 318,
    "VB": 994,
    "VBN": 2211,
    "TO": 511,
    ",": 3233,
    "RB": 2265,
    "RBR": 89,
    "``": 276,
    "''": 275,
    "NNP": 3083,
    ":": 553,
    "-LRB-": 814,
    "LS": 67,
    "-RRB-": 970,
    "WRB": 273,
    "XX": 98,
    "WDT": 627,
    "POS": 144,
    "VBD": 121,
    "JJR": 134,
    "RP": 54,
    "JJS": 29,
    "EX": 92,
    "WP$": 72,
    "WP": 30,
    "NFP": 101,
    "FW": 210,
    "PDT": 74,
    "SYM": 310,
    "NNPS": 17,
    "$": 3,
    "UH": 7,
    "ADD": 6,
    "RBS": 14
  },
  "deps": {
    "dep": 404,
    "nsubj": 4594,
    "ROOT": 3026,
    "det": 9012,
    "compound": 7424,
    "dobj": 3116,
    "prep": 10464,
    "amod": 9235,
    "pobj": 10608,
    "pcomp": 301,
    "nummod": 817,
    "punct": 10723,
    "acl": 803,
    "poss": 578,
    "cc": 2201,
    "aux": 933,
    "auxpass": 895,
    "conj": 2553,
    "xcomp": 295,
    "advcl": 692,
    "advmod": 2610,
    "mark": 1094,
    "acomp": 636,
    "ccomp": 944,
    "neg": 125,
    "nsubjpass": 869,
    "meta": 57,
    "npadvmod": 225,
    "nmod": 1067,
    "appos": 1226,
    "attr": 914,
    "relcl": 815,
    "case": 158,
    "prt": 53,
    "agent": 285,
    "expl": 92,
    "preconj": 58,
    "predet": 74,
    "oprd": 140,
    "dative": 20,
    "parataxis": 21,
    "intj": 7,
    "quantmod": 27,
    "csubj": 16
  },
  "compounds": 7424,
  "entities": {
    "CARDINAL": 716,
    "PERSON": 962,
    "ORG": 62,
    "NORP": 71,
    "MONEY": 19,
    "ORDINAL": 128,
    "WORK_OF_ART": 3,
    "DATE": 50,
    "PRODUCT": 10,
    "LOC": 13,
    "GPE": 14,
    "FAC": 8,
    "LAW": 3,
    "LANGUAGE": 3,
    "EVENT": 1,
    "QUANTITY": 1
  },
  "removed": 0,
  "pos_stats": {
    "SPACE": {
      " ": 309
    },
    "PRON": {
      "we": 1543,
      "which": 470,
      "it": 276,
      "that": 194,
      "this": 145,
      "our": 142,
      "its": 131,
      "they": 96,
      "there": 92,
      "their": 92,
      "these": 48,
      "what": 26,
      "one": 25,
      "both": 25,
      "those": 21,
      "all": 20,
      "some": 19,
      "each": 16,
      "itself": 16,
      "I": 9,
      "another": 9,
      "a": 7,
      "his": 6,
      "themselves": 4,
      "who": 4,
      "he": 4,
      "every": 3,
      "any": 2,
      "an": 2,
      "either": 2,
      "les": 1,
      "ourselves": 1,
      "something": 1
    },
    "VERB": {
      "show": 407,
      "give": 378,
      "use": 212,
      "define": 204,
      "prove": 203,
      "have": 203,
      "introduce": 146,
      "call": 133,
      "construct": 120,
      "study": 116,
      "provide": 107,
      "consider": 94,
      "describe": 93,
      "satisfy": 88,
      "obtain": 87,
      "know": 83,
      "extend": 81,
      "include": 74,
      "be": 73,
      "enrich": 72,
      "present": 71,
      "induce": 70,
      "characterize": 66,
      "associate": 64,
      "generalize": 60,
      "develop": 60,
      "correspond": 58,
      "preserve": 57,
      "allow": 56,
      "make": 54,
      "generate": 53,
      "exist": 49,
      "apply": 46,
      "base": 46,
      "cross": 44,
      "arise": 41,
      "admit": 40,
      "follow": 39,
      "form": 39,
      "hold": 38,
      "relate": 38,
      "see": 37,
      "involve": 36,
      "discuss": 35,
      "establish": 35,
      "equip": 35,
      "contain": 33,
      "determine": 32,
      "take": 31,
      "investigate": 31
    },
    "DET": {
      "the": 4168,
      "a": 2882,
      "this": 561,
      "an": 542,
      "these": 185,
      "any": 160,
      "all": 133,
      "some": 118,
      "every": 89,
      "whose": 72,
      "each": 64,
      "such": 52,
      "those": 36,
      "that": 25,
      "no": 23,
      "another": 16,
      "both": 14,
      "which": 6,
      "either": 3,
      "what": 3,
      "une": 1
    },
    "NOUN": {
      "category": 1955,
      "a": 440,
      "e": 422,
      "functor": 404,
      "t": 391,
      "structure": 363,
      "⁢": 339,
      "object": 325,
      "algebra": 317,
      "o": 315,
      "n": 311,
      "s": 302,
      "theory": 287,
      "space": 278,
      "notion": 271,
      "c": 271,
      "model": 251,
      "group": 244,
      "-": 243,
      "paper": 231,
      "set": 230,
      "morphism": 225,
      "r": 225,
      "i": 224,
      "result": 222,
      "p": 208,
      "monad": 203,
      "construction": 192,
      "x": 183,
      "l": 171,
      "f": 169,
      "equivalence": 167,
      "property": 165,
      "case": 161,
      "d": 157,
      "condition": 156,
      "v": 151,
      "module": 150,
      "g": 149,
      "k": 149,
      "m": 145,
      "example": 144,
      "product": 144,
      "h": 142,
      "b": 140,
      "class": 137,
      "homotopy": 134,
      "map": 113,
      "term": 111,
      "theorem": 111
    },
    "ADP": {
      "of": 4174,
      "in": 1657,
      "to": 919,
      "for": 787,
      "with": 615,
      "on": 532,
      "by": 489,
      "as": 450,
      "from": 228,
      "between": 218,
      "over": 159,
      "under": 86,
      "into": 74,
      "at": 58,
      "out": 48,
      "along": 46,
      "up": 39,
      "than": 34,
      "about": 33,
      "via": 32,
      "through": 23,
      "without": 20,
      "within": 14,
      "among": 12,
      "after": 10,
      "like": 10,
      "→": 9,
      "unlike": 6,
      "towards": 5,
      "throughout": 5,
      "=": 4,
      "due": 4,
      "beyond": 3,
      "iff": 3,
      "amongst": 3,
      "inside": 2,
      "des": 2,
      "above": 2,
      "onto": 2,
      "versus": 2,
      "against": 2,
      "before": 2,
      "below": 2,
      "θof": 1,
      "de": 1,
      "minus": 1,
      "an": 1,
      "past": 1,
      "!": 1,
      "per": 1
    },
    "ADJ": {
      "monoidal": 273,
      "-": 248,
      "categorical": 150,
      "such": 146,
      "weak": 144,
      "symmetric": 135,
      "finite": 131,
      "equivalent": 127,
      "general": 113,
      "double": 109,
      "new": 109,
      "small": 104,
      "topological": 102,
      "algebraic": 97,
      "certain": 96,
      "abelian": 92,
      "closed": 91,
      "particular": 90,
      "free": 84,
      "other": 84,
      "internal": 83,
      "lax": 83,
      "universal": 80,
      "natural": 77,
      "simplicial": 77,
      "commutative": 76,
      "regular": 76,
      "strict": 75,
      "exact": 72,
      "complete": 70,
      "distributive": 69,
      "non": 68,
      "left": 68,
      "differential": 68,
      "dimensional": 68,
      "linear": 67,
      "full": 65,
      "cartesian": 64,
      "suitable": 59,
      "first": 55,
      "compact": 54,
      "strong": 51,
      "high": 51,
      "special": 49,
      "pointed": 49,
      "classical": 48,
      "main": 47,
      "right": 47,
      "several": 47,
      "many": 45
    },
    "NUM": {
      "2": 353,
      "two": 190,
      "one": 130,
      "1": 129,
      "0": 65,
      "3": 35,
      "three": 32,
      "⁢": 13,
      "zero": 7,
      "six": 7,
      "four": 6,
      "n": 5,
      "2011": 5,
      "4": 3,
      "2005": 3,
      "2013": 3,
      "ii": 2,
      "-1": 2,
      "1981": 2,
      "five": 2,
      "12": 2,
      "01": 2,
      "eight": 2,
      "2-": 2,
      "ten": 2,
      "1970": 2,
      "lics‘04": 2,
      "2003": 2,
      "2004": 2,
      "1998": 2,
      "1974": 2,
      "1980": 2,
      "16": 2,
      "20": 2,
      "1999": 2,
      "n+1": 2,
      "1975": 1,
      "n-1": 1,
      "n=3": 1,
      "1991": 1,
      "nine": 1,
      "18": 1,
      "29,13": 1,
      "6,11": 1,
      "11": 1,
      "1979": 1,
      "2/3": 1,
      "336": 1,
      "1993": 1,
      "785": 1
    },
    "PUNCT": {
      ",": 3267,
      ".": 2944,
      "-": 1276,
      ")": 828,
      "(": 750,
      "\"": 297,
      "'": 255,
      ":": 209,
      ";": 169,
      "]": 63,
      "[": 58,
      "*": 45,
      "–": 37,
      "=": 26,
      "—": 21,
      "C.": 14,
      "~": 9,
      "!": 9,
      "X.": 8,
      "…": 8,
      "?": 7,
      "M.": 7,
      "→": 6,
      "G.": 6,
      "(=": 5,
      "V.": 5,
      "∙": 5,
      "E.": 4,
      "⁢": 4,
      "S.": 3,
      "B.": 3,
      "Q.": 3,
      "K.": 3,
      "H.": 3,
      "⊗": 2,
      "R.": 2,
      "↓": 2,
      "T.": 2,
      "A.": 2,
      "≃": 2,
      "L.": 2,
      "+": 2,
      "¬": 2,
      "P.": 2,
      "D.": 2,
      "≤": 2,
      "Y.": 1,
      "gt;=": 1,
      "lt;=": 1,
      "∃": 1
    },
    "AUX": {
      "be": 2418,
      "can": 187,
      "have": 58,
      "do": 44,
      "may": 43,
      "will": 41,
      "should": 14,
      "must": 11,
      "could": 7,
      "need": 6,
      "shall": 5,
      "would": 4,
      "might": 2,
      "having": 2,
      "becomes": 1,
      "where": 1,
      "let": 1,
      "getting": 1
    },
    "SCONJ": {
      "that": 752,
      "if": 235,
      "where": 102,
      "when": 91,
      "how": 66,
      "as": 52,
      "for": 23,
      "while": 20,
      "whether": 12,
      "although": 11,
      "so": 11,
      "since": 8,
      "in": 8,
      "because": 8,
      "whenever": 8,
      "except": 5,
      "iff": 5,
      "with": 4,
      "though": 4,
      "whereas": 4,
      "than": 3,
      "why": 3,
      "besides": 2,
      "unless": 2,
      "whereupon": 1,
      "whilst": 1,
      "do": 1,
      "nt": 1,
      "wherein": 1,
      "upon": 1,
      "till": 1,
      "despite": 1,
      "once": 1
    },
    "CCONJ": {
      "and": 1922,
      "or": 115,
      "but": 87,
      "both": 24,
      "&": 11,
      "either": 10,
      "nor": 7,
      "neither": 6,
      "+": 2,
      "yet": 1,
      "et": 1,
      "plus": 1
    },
    "PART": {
      "to": 511,
      "’s": 136,
      "not": 135,
      "’": 8
    },
    "ADV": {
      "also": 208,
      "only": 125,
      "well": 119,
      "then": 118,
      "locally": 101,
      "more": 71,
      "as": 61,
      "finitely": 60,
      "here": 51,
      "finally": 45,
      "precisely": 44,
      "so": 39,
      "moreover": 36,
      "thus": 29,
      "first": 25,
      "together": 21,
      "respectively": 20,
      "however": 20,
      "essentially": 19,
      "necessarily": 19,
      "weakly": 19,
      "fully": 18,
      "that": 16,
      "just": 16,
      "naturally": 16,
      "completely": 16,
      "rather": 15,
      "very": 15,
      "far": 15,
      "furthermore": 15,
      "hence": 15,
      "is": 14,
      "recently": 14,
      "closely": 14,
      "exactly": 13,
      "even": 13,
      "always": 12,
      "again": 12,
      "easily": 12,
      "most": 11,
      "generally": 11,
      "strongly": 11,
      "often": 10,
      "therefore": 10,
      "algebraically": 10,
      "totally": 10,
      "namely": 10,
      "higher": 10,
      "specifically": 9,
      "freely": 9
    },
    "PROPN": {
      "C": 159,
      "M": 64,
      "G": 56,
      "Lie": 55,
      "Hopf": 50,
      "Kan": 44,
      "Mal’tsev": 39,
      "A": 38,
      "Frobenius": 37,
      "Grothendieck": 37,
      "Cat": 37,
      "X": 32,
      "K": 28,
      "S": 27,
      "Chu": 27,
      "D": 27,
      "Quillen": 26,
      "E": 25,
      "Lawvere": 24,
      "Galois": 23,
      "Gray": 23,
      "V": 23,
      "Eilenberg": 21,
      "Moore": 21,
      "Hausdorff": 21,
      "T": 20,
      "Street": 19,
      "B": 19,
      "Joyal": 19,
      "Set": 19,
      "M.": 18,
      "Janelidze": 17,
      "A.": 17,
      "Batanin": 17,
      "Barr": 16,
      "Bourn": 16,
      "Segal": 15,
      "Cauchy": 15,
      "J.": 15,
      "Morita": 14,
      "Stone": 14,
      "Theorem": 14,
      "Kelly": 13,
      "Day": 13,
      "R": 13,
      "F": 13,
      "W": 13,
      "J": 12,
      "G.": 12,
      "Birkhoff": 12
    },
    "X": {
      "i.e.": 34,
      "&": 23,
      "[": 22,
      "]": 20,
      "⁢": 16,
      ".": 11,
      "ii": 10,
      "2": 10,
      "i": 8,
      "iii": 7,
      "e.g.": 7,
      "1": 7,
      "gt": 6,
      "a": 6,
      "etc": 6,
      "x": 6,
      ",": 6,
      "-&gt": 5,
      "∞": 5,
      "b": 4,
      "≤": 4,
      "’": 4,
      "a.k.a": 4,
      "κ": 4,
      "iv": 3,
      "resp": 3,
      "\\tensorx": 3,
      "v": 3,
      "di": 3,
      "et": 3,
      "⊗": 3,
      "3": 3,
      "\\op": 3,
      "petit": 2,
      "non": 2,
      "w.r.t": 2,
      "c": 2,
      "pretopos": 2,
      "σ": 2,
      "c[σ^-1": 2,
      "i.": 2,
      "\\cc": 2,
      "z[a": 2,
      "k": 2,
      "*": 2,
      "⋅": 2,
      "ccd": 2,
      "∙": 2,
      "s[t_1": 1,
      "/": 1
    },
    "SYM": {
      "→": 104,
      "/": 42,
      "=": 22,
      "+": 22,
      "×": 22,
      "x": 14,
      "~": 11,
      "⁢": 8,
      "↓": 8,
      "*": 8,
      "-": 8,
      "⊗": 6,
      "∘": 4,
      "⊣": 4,
      "∞": 4,
      "←": 4,
      ",": 2,
      "∈": 2,
      "↪": 2,
      "∗": 2,
      "^": 2,
      "⇀": 1,
      "⊆": 1,
      "η": 1,
      "≅": 1,
      "∼": 1,
      "der(-": 1,
      "∧": 1,
      "¬": 1,
      "κ": 1,
      "κ=∞": 1,
      "!": 1,
      "≥": 1
    },
    "INTJ": {
      "please": 3,
      "mor": 2,
      "yes": 1,
      "no": 1
    }
  },
  "tag_stats": {
    "_SP": {
      " ": 309
    },
    "PRP": {
      "we": 1543,
      "it": 276,
      "they": 96,
      "one": 25,
      "itself": 16,
      "I": 9,
      "themselves": 4,
      "he": 4,
      "ourselves": 1
    },
    "VBP": {
      "be": 664,
      "show": 293,
      "prove": 144,
      "give": 136,
      "introduce": 82,
      "have": 76,
      "define": 69,
      "study": 67,
      "construct": 44,
      "consider": 43,
      "call": 43,
      "use": 42,
      "describe": 39,
      "present": 34,
      "provide": 33,
      "characterize": 30,
      "obtain": 27,
      "generalize": 23,
      "do": 22,
      "develop": 21,
      "discuss": 20,
      "form": 20,
      "include": 20,
      "investigate": 19,
      "extend": 19,
      "establish": 18,
      "apply": 17,
      "explain": 14,
      "hold": 14,
      "correspond": 14,
      "examine": 14,
      "arise": 13,
      "make": 13,
      "satisfy": 12,
      "take": 11,
      "commute": 11,
      "allow": 11,
      "find": 11,
      "exist": 11,
      "coincide": 10,
      "explore": 10,
      "turn": 10,
      "exhibit": 10,
      "generalise": 10,
      "work": 9,
      "appear": 9,
      "determine": 8,
      "say": 8,
      "admit": 7,
      "induce": 7
    },
    "DT": {
      "the": 4168,
      "a": 2889,
      "this": 706,
      "an": 544,
      "these": 233,
      "any": 162,
      "some": 137,
      "all": 133,
      "every": 92,
      "each": 80,
      "that": 71,
      "those": 57,
      "both": 37,
      "another": 25,
      "no": 23,
      "either": 5,
      "une": 1,
      "les": 1
    },
    "NN": {
      "category": 1226,
      "a": 440,
      "e": 422,
      "t": 391,
      "⁢": 337,
      "o": 315,
      "n": 311,
      "s": 286,
      "c": 271,
      "theory": 246,
      "structure": 239,
      "r": 225,
      "i": 223,
      "functor": 219,
      "paper": 217,
      "notion": 208,
      "p": 208,
      "model": 187,
      "x": 183,
      "l": 171,
      "f": 169,
      "d": 157,
      "v": 151,
      "g": 149,
      "k": 149,
      "construction": 146,
      "m": 145,
      "h": 142,
      "b": 140,
      "algebra": 138,
      "case": 136,
      "homotopy": 134,
      "object": 131,
      "group": 130,
      "-": 127,
      "result": 120,
      "equivalence": 115,
      "monad": 109,
      "set": 107,
      "sense": 98,
      "class": 96,
      "bicategory": 96,
      "u": 93,
      "product": 92,
      "space": 90,
      "y": 88,
      "theorem": 80,
      "property": 80,
      "morphism": 73,
      "topos": 69
    },
    "IN": {
      "of": 4174,
      "in": 1664,
      "to": 919,
      "for": 810,
      "that": 752,
      "with": 619,
      "on": 529,
      "as": 502,
      "by": 489,
      "if": 235,
      "from": 228,
      "between": 218,
      "over": 159,
      "under": 86,
      "into": 74,
      "at": 58,
      "along": 46,
      "than": 37,
      "about": 33,
      "via": 32,
      "up": 27,
      "through": 23,
      "without": 20,
      "while": 20,
      "within": 14,
      "whether": 12,
      "among": 12,
      "although": 11,
      "so": 11,
      "out": 11,
      "after": 10,
      "like": 10,
      "→": 9,
      "since": 8,
      "because": 8,
      "iff": 8,
      "unlike": 6,
      "except": 5,
      "towards": 5,
      "throughout": 5,
      "though": 4,
      "=": 4,
      "whereas": 4,
      "due": 4,
      "beyond": 3,
      "amongst": 3,
      "inside": 2,
      "des": 2,
      "besides": 2,
      "above": 2
    },
    "JJ": {
      "monoidal": 273,
      "-": 248,
      "categorical": 150,
      "such": 146,
      "symmetric": 135,
      "weak": 132,
      "finite": 131,
      "equivalent": 127,
      "general": 113,
      "double": 109,
      "new": 109,
      "topological": 102,
      "small": 98,
      "algebraic": 97,
      "certain": 96,
      "abelian": 92,
      "closed": 91,
      "particular": 90,
      "free": 84,
      "other": 84,
      "internal": 83,
      "lax": 83,
      "universal": 80,
      "natural": 77,
      "simplicial": 77,
      "commutative": 76,
      "regular": 76,
      "strict": 74,
      "exact": 72,
      "complete": 70,
      "distributive": 69,
      "non": 68,
      "left": 68,
      "differential": 68,
      "dimensional": 68,
      "linear": 67,
      "full": 65,
      "cartesian": 64,
      "suitable": 59,
      "first": 55,
      "compact": 54,
      "special": 49,
      "pointed": 49,
      "classical": 48,
      "main": 47,
      "right": 47,
      "several": 47,
      "many": 45,
      "various": 44,
      "different": 43
    },
    "NNS": {
      "category": 729,
      "object": 194,
      "space": 188,
      "functor": 185,
      "algebra": 179,
      "morphism": 152,
      "structure": 124,
      "set": 123,
      "-": 116,
      "group": 114,
      "result": 102,
      "module": 102,
      "example": 98,
      "monad": 94,
      "condition": 92,
      "term": 86,
      "property": 85,
      "map": 78,
      "colimit": 69,
      "model": 64,
      "notion": 63,
      "limit": 56,
      "bicategorie": 55,
      "cell": 53,
      "equivalence": 52,
      "product": 52,
      "system": 51,
      "relation": 48,
      "groupoid": 48,
      "operad": 47,
      "construction": 46,
      "diagram": 45,
      "extension": 45,
      "class": 41,
      "complex": 41,
      "theory": 41,
      "action": 40,
      "span": 40,
      "topos": 39,
      "ring": 39,
      "-categorie": 37,
      "variety": 36,
      "transformation": 36,
      "monoid": 34,
      "theorem": 31,
      "application": 30,
      "axiom": 30,
      "lattice": 30,
      "subcategorie": 29,
      "fibration": 29
    },
    "VBG": {
      "use": 95,
      "satisfy": 34,
      "correspond": 33,
      "include": 31,
      "be": 28,
      "have": 23,
      "preserve": 21,
      "result": 20,
      "underlie": 17,
      "construct": 15,
      "follow": 15,
      "involve": 14,
      "consist": 12,
      "consider": 12,
      "arise": 11,
      "give": 11,
      "concern": 11,
      "provide": 11,
      "define": 11,
      "extend": 10,
      "classify": 10,
      "represent": 10,
      "make": 10,
      "branch": 10,
      "relate": 10,
      "show": 9,
      "take": 9,
      "replace": 9,
      "commute": 9,
      "contain": 9,
      "prove": 8,
      "introduce": 8,
      "lead": 8,
      "start": 8,
      "study": 8,
      "cover": 8,
      "generalize": 7,
      "characterize": 7,
      "merge": 7,
      "lift": 7,
      "interleave": 6,
      "develop": 6,
      "dualize": 6,
      "describe": 5,
      "mean": 5,
      "add": 5,
      "exist": 5,
      "induce": 4,
      "assume": 4,
      "map": 4
    },
    "CD": {
      "2": 353,
      "two": 190,
      "one": 130,
      "1": 129,
      "0": 65,
      "3": 35,
      "three": 32,
      "⁢": 13,
      "zero": 7,
      "six": 7,
      "four": 6,
      "n": 5,
      "2011": 5,
      "4": 3,
      "2005": 3,
      "2013": 3,
      "ii": 2,
      "-1": 2,
      "1981": 2,
      "five": 2,
      "12": 2,
      "01": 2,
      "eight": 2,
      "2-": 2,
      "ten": 2,
      "1970": 2,
      "lics‘04": 2,
      "2003": 2,
      "2004": 2,
      "1998": 2,
      "1974": 2,
      "1980": 2,
      "16": 2,
      "20": 2,
      "1999": 2,
      "n+1": 2,
      "1975": 1,
      "n-1": 1,
      "n=3": 1,
      "1991": 1,
      "nine": 1,
      "18": 1,
      "29,13": 1,
      "6,11": 1,
      "11": 1,
      "1979": 1,
      "2/3": 1,
      "336": 1,
      "1993": 1,
      "785": 1
    },
    "HYPH": {
      "-": 1186,
      "–": 5,
      "~": 4,
      "-small": 1,
      "-by-": 1
    },
    ".": {
      ".": 2867,
      ")": 24,
      "C.": 14,
      "]": 10,
      "X.": 8,
      "?": 7,
      "M.": 7,
      "G.": 6,
      "!": 6,
      "V.": 5,
      "E.": 4,
      "S.": 3,
      "B.": 3,
      "Q.": 3,
      "K.": 3,
      "H.": 3,
      "R.": 2,
      "T.": 2,
      "A.": 2,
      "L.": 2,
      "P.": 2,
      "D.": 2,
      "Y.": 1,
      "–": 1,
      "→A.": 1,
      "r.": 1,
      "t.": 1,
      "p.": 1,
      "→X.": 1,
      "Z.": 1,
      "Λ.": 1
    },
    "VBZ": {
      "be": 1382,
      "have": 137,
      "give": 49,
      "allow": 35,
      "provide": 30,
      "admit": 29,
      "satisfy": 29,
      "do": 24,
      "extend": 23,
      "exist": 22,
      "induce": 18,
      "generalize": 18,
      "lead": 17,
      "turn": 17,
      "imply": 17,
      "contain": 16,
      "include": 16,
      "preserve": 16,
      "hold": 15,
      "show": 14,
      "use": 13,
      "arise": 13,
      "involve": 12,
      "yield": 11,
      "follow": 11,
      "make": 11,
      "correspond": 11,
      "produce": 11,
      "mean": 10,
      "define": 10,
      "consist": 10,
      "enable": 10,
      "coincide": 9,
      "require": 7,
      "study": 7,
      "describe": 7,
      "act": 7,
      "come": 6,
      "lie": 6,
      "apply": 6,
      "simplify": 6,
      "represent": 6,
      "happen": 6,
      "reduce": 6,
      "unify": 6,
      "generate": 6,
      "embed": 5,
      "appear": 5,
      "carry": 5,
      "form": 5
    },
    "PRP$": {
      "our": 142,
      "its": 131,
      "their": 92,
      "his": 6
    },
    "CC": {
      "and": 1922,
      "or": 115,
      "but": 87,
      "both": 24,
      "&": 11,
      "either": 10,
      "nor": 7,
      "neither": 6,
      "+": 2,
      "yet": 1,
      "et": 1,
      "plus": 1
    },
    "MD": {
      "can": 185,
      "may": 43,
      "will": 41,
      "should": 14,
      "must": 11,
      "could": 7,
      "need": 6,
      "shall": 5,
      "would": 4,
      "might": 2
    },
    "VB": {
      "be": 340,
      "let": 30,
      "give": 30,
      "construct": 25,
      "have": 24,
      "define": 21,
      "show": 21,
      "prove": 15,
      "study": 15,
      "describe": 14,
      "obtain": 14,
      "exist": 11,
      "call": 11,
      "provide": 10,
      "see": 10,
      "extend": 10,
      "make": 9,
      "note": 8,
      "form": 8,
      "satisfy": 8,
      "hold": 8,
      "develop": 8,
      "produce": 8,
      "establish": 6,
      "use": 6,
      "get": 6,
      "present": 5,
      "identify": 5,
      "allow": 5,
      "characterize": 5,
      "work": 5,
      "understand": 5,
      "classify": 5,
      "apply": 5,
      "consider": 5,
      "compute": 5,
      "require": 4,
      "capture": 4,
      "formulate": 4,
      "coincide": 4,
      "ask": 4,
      "denote": 4,
      "derive": 4,
      "do": 4,
      "include": 4,
      "recover": 4,
      "reason": 3,
      "calculate": 3,
      "preserve": 3,
      "illustrate": 3
    },
    "VBN": {
      "give": 152,
      "define": 90,
      "know": 82,
      "call": 75,
      "enrich": 71,
      "show": 58,
      "use": 54,
      "associate": 53,
      "introduce": 46,
      "base": 45,
      "cross": 44,
      "generate": 42,
      "obtain": 39,
      "induce": 38,
      "equip": 32,
      "prove": 30,
      "consider": 29,
      "construct": 28,
      "present": 27,
      "describe": 27,
      "close": 26,
      "connect": 26,
      "value": 25,
      "be": 23,
      "provide": 23,
      "develop": 23,
      "relate": 21,
      "order": 21,
      "direct": 21,
      "see": 21,
      "grade": 20,
      "fix": 19,
      "index": 19,
      "extend": 18,
      "characterize": 18,
      "study": 18,
      "derive": 18,
      "motivate": 18,
      "determine": 16,
      "apply": 15,
      "bound": 13,
      "leave": 12,
      "discuss": 11,
      "build": 11,
      "make": 11,
      "decorate": 11,
      "require": 10,
      "preserve": 10,
      "interpret": 10,
      "filter": 9
    },
    "TO": {
      "to": 511
    },
    ",": {
      ",": 3212,
      ")": 11,
      "]": 3,
      ".": 3,
      "!": 3,
      "-": 1
    },
    "RB": {
      "also": 208,
      "not": 135,
      "only": 125,
      "then": 118,
      "well": 117,
      "locally": 101,
      "as": 61,
      "finitely": 60,
      "here": 51,
      "finally": 45,
      "precisely": 44,
      "so": 39,
      "moreover": 36,
      "thus": 29,
      "first": 25,
      "together": 21,
      "respectively": 20,
      "however": 20,
      "essentially": 19,
      "necessarily": 19,
      "weakly": 19,
      "fully": 18,
      "that": 16,
      "just": 16,
      "naturally": 16,
      "completely": 16,
      "rather": 15,
      "very": 15,
      "furthermore": 15,
      "hence": 15,
      "is": 14,
      "far": 14,
      "recently": 14,
      "closely": 14,
      "exactly": 13,
      "even": 13,
      "always": 12,
      "again": 12,
      "easily": 12,
      "generally": 11,
      "strongly": 11,
      "often": 10,
      "therefore": 10,
      "algebraically": 10,
      "totally": 10,
      "namely": 10,
      "specifically": 9,
      "freely": 9,
      "partially": 9,
      "actually": 8
    },
    "RBR": {
      "more": 71,
      "higher": 10,
      "less": 4,
      "well": 2,
      "worse": 1,
      "far": 1
    },
    "``": {
      "\"": 149,
      "'": 127
    },
    "''": {
      "\"": 148,
      "'": 127
    },
    "NNP": {
      "C": 159,
      "M": 64,
      "G": 56,
      "Lie": 55,
      "Hopf": 50,
      "Kan": 44,
      "Mal’tsev": 39,
      "A": 38,
      "Frobenius": 37,
      "Grothendieck": 37,
      "Cat": 37,
      "X": 32,
      "K": 28,
      "S": 27,
      "Chu": 27,
      "D": 27,
      "Quillen": 26,
      "E": 25,
      "Lawvere": 24,
      "Galois": 23,
      "Gray": 23,
      "V": 23,
      "Eilenberg": 21,
      "Moore": 21,
      "Hausdorff": 21,
      "T": 20,
      "Street": 19,
      "B": 19,
      "Joyal": 19,
      "Set": 19,
      "M.": 18,
      "Janelidze": 17,
      "A.": 17,
      "Batanin": 17,
      "Barr": 16,
      "Bourn": 16,
      "Segal": 15,
      "Cauchy": 15,
      "J.": 15,
      "Morita": 14,
      "Stone": 14,
      "Theorem": 14,
      "Kelly": 13,
      "Day": 13,
      "R": 13,
      "F": 13,
      "W": 13,
      "J": 12,
      "G.": 12,
      "Birkhoff": 12
    },
    ":": {
      ":": 209,
      ";": 169,
      "-": 89,
      "–": 31,
      "—": 21,
      "=": 21,
      "~": 5,
      ")": 3,
      "gt;=": 1,
      "lt;=": 1,
      "'": 1,
      "|": 1,
      "):": 1
    },
    "-LRB-": {
      "(": 750,
      "[": 58,
      "(=": 5,
      "{": 1
    },
    "LS": {
      "ii": 10,
      "2": 10,
      "i": 8,
      "iii": 7,
      "1": 7,
      "a": 4,
      "b": 4,
      "iv": 3,
      "3": 3,
      ".": 2,
      "c": 2,
      "i.": 1,
      "v.": 1,
      "vi": 1,
      "vii": 1,
      "2)(if": 1,
      "4": 1,
      "d": 1
    },
    "-RRB-": {
      ")": 790,
      ".": 74,
      ",": 55,
      "]": 50,
      "}": 1
    },
    "WRB": {
      "where": 103,
      "when": 91,
      "how": 66,
      "whenever": 8,
      "why": 3,
      "whereupon": 1,
      "wherein": 1
    },
    "XX": {
      "[": 22,
      "]": 20,
      "&": 8,
      "≤": 4,
      ",": 4,
      "x": 3,
      "v": 3,
      "-&gt": 2,
      "\\tensorx": 2,
      "σ": 2,
      "c[σ^-1": 2,
      "z[a": 2,
      "k": 2,
      "ccd": 2,
      "s[t_1": 1,
      "/": 1,
      "m": 1,
      "m[-n": 1,
      "lt;=": 1,
      "gt;2": 1,
      "’": 1,
      "e_x": 1,
      "n[x": 1,
      "g[x": 1,
      "x]=id_x": 1,
      "σwhen": 1,
      "t": 1,
      "\\cc": 1,
      "d_sa": 1,
      "d_lsa": 1,
      "da": 1,
      "\\id": 1,
      "κ": 1,
      "0,1": 1
    },
    "WDT": {
      "which": 476,
      "that": 148,
      "what": 3
    },
    "POS": {
      "’s": 136,
      "’": 8
    },
    "VBD": {
      "be": 54,
      "show": 12,
      "introduce": 7,
      "prove": 5,
      "construct": 4,
      "call": 4,
      "define": 3,
      "use": 2,
      "employ": 2,
      "put": 2,
      "do": 2,
      "claim": 1,
      "observe": 1,
      "have": 1,
      "deal": 1,
      "contain": 1,
      "conjecture": 1,
      "solve": 1,
      "suspect": 1,
      "discover": 1,
      "characterize": 1,
      "turn": 1,
      "point": 1,
      "emphasize": 1,
      "allow": 1,
      "appear": 1,
      "arise": 1,
      "describe": 1,
      "generalize": 1,
      "christen": 1,
      "set": 1,
      "appeal": 1,
      "study": 1,
      "consider": 1,
      "extend": 1
    },
    "JJR": {
      "high": 49,
      "weak": 12,
      "early": 11,
      "more": 10,
      "low": 9,
      "strong": 7,
      "well": 5,
      "large": 5,
      "small": 4,
      "simple": 4,
      "broad": 3,
      "less": 2,
      "great": 2,
      "deep": 2,
      "fine": 2,
      "easy": 2,
      "More": 1,
      "short": 1,
      "long": 1,
      "strict": 1,
      "rich": 1
    },
    "RP": {
      "out": 37,
      "up": 12,
      "on": 3,
      "in": 1,
      "back": 1
    },
    "JJS": {
      "least": 7,
      "most": 6,
      "simple": 3,
      "small": 2,
      "Most": 2,
      "large": 2,
      "fine": 1,
      "great": 1,
      "strong": 1,
      "high": 1,
      "foremost": 1,
      "few": 1,
      "good": 1
    },
    "EX": {
      "there": 92
    },
    "WP$": {
      "whose": 72
    },
    "WP": {
      "what": 26,
      "who": 4
    },
    "NFP": {
      "*": 45,
      "…": 8,
      "→": 6,
      "=": 5,
      "∙": 5,
      "⁢": 4,
      "⊗": 2,
      "↓": 2,
      "≃": 2,
      "+": 2,
      "¬": 2,
      "≤": 2,
      "∃": 1,
      "∈": 1,
      "_": 1,
      "∼": 1,
      "⇀": 1,
      "≈": 1,
      "¿": 1,
      "↦": 1,
      "♯": 1,
      "ω": 1,
      "∘": 1,
      "′": 1,
      "∩": 1,
      "∞": 1,
      "⊣": 1,
      "×": 1
    },
    "FW": {
      "i.e.": 34,
      "⁢": 16,
      "&": 15,
      ".": 8,
      "e.g.": 7,
      "gt": 6,
      "etc": 6,
      "∞": 5,
      "a.k.a": 4,
      "resp": 3,
      "x": 3,
      "-&gt": 3,
      "’": 3,
      "di": 3,
      "et": 3,
      "κ": 3,
      "⊗": 3,
      "\\op": 3,
      "petit": 2,
      "non": 2,
      "w.r.t": 2,
      "pretopos": 2,
      ",": 2,
      "*": 2,
      "a": 2,
      "⋅": 2,
      "∙": 2,
      "gros": 1,
      "topos": 1,
      "toposes": 1,
      "\\rel": 1,
      "↓": 1,
      "∘": 1,
      "η": 1,
      "\\meet": 1,
      "⊣": 1,
      "∃": 1,
      "⟶": 1,
      "abstraite": 1,
      "catégories": 1,
      "modèles": 1,
      "esquisses": 1,
      "tous": 1,
      "cônes": 1,
      "projectifs": 1,
      "d’indexation": 1,
      "connexe": 1,
      "vide": 1,
      "qua": 1,
      "o": 1
    },
    "PDT": {
      "such": 52,
      "all": 20,
      "both": 2
    },
    "SYM": {
      "→": 104,
      "/": 42,
      "=": 22,
      "+": 22,
      "×": 22,
      "x": 14,
      "~": 11,
      "↓": 8,
      "*": 8,
      "-": 8,
      "⊗": 6,
      "⁢": 5,
      "∘": 4,
      "⊣": 4,
      "∞": 4,
      "←": 4,
      ",": 2,
      "∈": 2,
      "↪": 2,
      "∗": 2,
      "^": 2,
      "⇀": 1,
      "⊆": 1,
      "η": 1,
      "≅": 1,
      "∼": 1,
      "der(-": 1,
      "∧": 1,
      "¬": 1,
      "κ": 1,
      "κ=∞": 1,
      "!": 1,
      "≥": 1
    },
    "NNPS": {
      "Spaces": 3,
      "Theorems": 3,
      "Structures": 2,
      "Systems": 2,
      "algebras": 1,
      "Continuations": 1,
      "Specifications": 1,
      "Notes": 1,
      "Facets": 1,
      "Homs": 1,
      "Graces": 1
    },
    "$": {
      "⁢": 3
    },
    "UH": {
      "please": 3,
      "mor": 2,
      "yes": 1,
      "no": 1
    },
    "ADD": {
      "http://www.tac.mta.ca/tac/volumes/1998/n10/reference.html": 1,
      "http://www.tac.mta.ca/tac/volumes/1998/n8/reference.html": 1,
      "http://www.tac.mta.ca/tac/volumes/1998/n7/reference.html": 1,
      "arxiv": 1,
      ":": 1,
      ".": 1
    },
    "RBS": {
      "most": 11,
      "least": 3
    }
  },
  "dep_stats": {
    "dep": {
      "  be": 49,
      "  show": 30,
      "  give": 27,
      "  define": 24,
      "  study": 17,
      "  introduce": 16,
      "  prove": 10,
      "  develop": 9,
      "  characterize": 7,
      "  present": 7,
      "  construct": 7,
      "  use": 6,
      "   ": 6,
      "  consider": 6,
      "  extend": 5,
      "  provide": 5,
      "be all": 5,
      "for be": 4,
      "  describe": 4,
      "  generalize": 4,
      "  investigate": 3,
      "  say": 3,
      "  associate": 3,
      "  characterise": 3,
      "  raise": 2,
      "  formulate": 2,
      "  take": 2,
      "  explore": 2,
      "  continue": 2,
      "  arise": 2,
      "  explain": 2,
      "  discuss": 2,
      "  have": 2,
      "  capture": 2,
      "be (": 2,
      "be ccd": 2,
      "  solve": 1,
      "suppose satisfy": 1,
      "  derive": 1,
      "  reformulate": 1,
      "order obtain": 1,
      "  bear": 1,
      "be each": 1,
      "both fail": 1,
      "be &": 1,
      "  analyze": 1,
      "  induce": 1,
      "  devise": 1,
      "  know": 1,
      "  enable": 1
    },
    "nsubj": {
      "we show": 267,
      "category be": 135,
      "we give": 115,
      "we prove": 111,
      "we introduce": 81,
      "we define": 76,
      "which be": 75,
      "it be": 69,
      "we study": 56,
      "we construct": 49,
      "we call": 42,
      "we consider": 41,
      "object be": 39,
      "that be": 36,
      "we use": 35,
      "we present": 35,
      "functor be": 34,
      "we describe": 33,
      "morphism be": 31,
      "this be": 29,
      "we obtain": 27,
      "we characterize": 24,
      "C be": 24,
      "we develop": 23,
      "result be": 20,
      "category have": 20,
      "we provide": 20,
      "we investigate": 18,
      "purpose be": 18,
      "we discuss": 17,
      "they be": 15,
      "x be": 15,
      "which have": 15,
      "we establish": 15,
      "we extend": 15,
      "we generalize": 14,
      "these be": 13,
      "we explain": 12,
      "we apply": 12,
      "map be": 12,
      "algebra be": 12,
      "- be": 12,
      "we examine": 12,
      "which generalize": 11,
      "bicategory be": 11,
      "structure be": 10,
      "we see": 10,
      "product be": 10,
      "b be": 10,
      "v be": 10
    },
    "ROOT": {
      "be be": 464,
      "show show": 308,
      "give give": 182,
      "prove prove": 119,
      "define define": 107,
      "introduce introduce": 102,
      "study study": 72,
      "use use": 69,
      "construct construct": 60,
      "provide provide": 59,
      "present present": 50,
      "consider consider": 50,
      "have have": 43,
      "describe describe": 43,
      "extend extend": 39,
      "obtain obtain": 38,
      "characterize characterize": 35,
      "develop develop": 34,
      "generalize generalize": 30,
      "include include": 29,
      "allow allow": 28,
      "apply apply": 26,
      "let let": 25,
      "discuss discuss": 23,
      "know know": 22,
      "see see": 20,
      "investigate investigate": 20,
      "call call": 19,
      "establish establish": 18,
      "turn turn": 17,
      "make make": 15,
      "examine examine": 14,
      "lead lead": 14,
      "explain explain": 12,
      "say say": 12,
      "find find": 12,
      "follow follow": 12,
      "satisfy satisfy": 11,
      "enable enable": 10,
      "adapt adapt": 10,
      "require require": 9,
      "explore explore": 9,
      "correspond correspond": 9,
      "recover recover": 9,
      "continue continue": 9,
      "associate associate": 9,
      "relate relate": 9,
      "work work": 9,
      "yield yield": 8,
      "derive derive": 8
    },
    "det": {
      "the category": 469,
      "a category": 372,
      "this paper": 159,
      "the notion": 146,
      "the case": 97,
      "the construction": 96,
      "the structure": 96,
      "the theory": 95,
      "the functor": 82,
      "the sense": 78,
      "a functor": 76,
      "a structure": 72,
      "the property": 67,
      "a notion": 57,
      "the class": 53,
      "an category": 52,
      "the result": 50,
      "the object": 44,
      "the group": 44,
      "any category": 43,
      "the algebra": 43,
      "the product": 42,
      "a space": 41,
      "the existence": 39,
      "the context": 37,
      "the one": 37,
      "a group": 37,
      "a result": 36,
      "a morphism": 36,
      "a topos": 36,
      "the author": 35,
      "the paper": 35,
      "a bicategory": 35,
      "a monad": 35,
      "the monad": 35,
      "the completion": 34,
      "the condition": 34,
      "a way": 33,
      "the set": 33,
      "the concept": 33,
      "a characterization": 32,
      "the definition": 30,
      "a theory": 30,
      "this result": 30,
      "a class": 30,
      "an object": 29,
      "a set": 29,
      "the study": 29,
      "an application": 29,
      "the theorem": 29
    },
    "compound": {
      "e s": 90,
      "model category": 77,
      "model structure": 68,
      "a s": 66,
      "t s": 64,
      "o s": 62,
      "s s": 58,
      "i s": 52,
      "tensor product": 47,
      "n s": 43,
      "r s": 41,
      "o n": 39,
      "e t": 36,
      "e d": 34,
      "s t": 33,
      "vector space": 32,
      "factorization system": 31,
      "l s": 31,
      "e n": 30,
      "o p": 29,
      "a n": 29,
      "s n": 29,
      "a l": 28,
      "i n": 27,
      "category theory": 26,
      "⁢ p": 26,
      "c s": 26,
      "a d": 25,
      "i d": 25,
      "h s": 25,
      "e c": 25,
      "Kan extension": 24,
      "o d": 24,
      "d s": 24,
      "i e": 23,
      "r n": 23,
      "⁢ c": 22,
      "Hopf algebra": 22,
      "t n": 22,
      "a t": 22,
      "category structure": 21,
      "f s": 21,
      "g s": 21,
      "equivalence relation": 20,
      "Mal’tsev category": 20,
      "vector bundle": 19,
      "homotopy category": 19,
      "⁢ l": 19,
      "⁢ t": 19,
      "l n": 19
    },
    "dobj": {
      "give rise": 34,
      "introduce notion": 31,
      "satisfy condition": 28,
      "prove theorem": 23,
      "give proof": 21,
      "give characterization": 20,
      "which call": 19,
      "give example": 14,
      "define notion": 14,
      "give condition": 13,
      "satisfy property": 13,
      "have property": 13,
      "extend result": 12,
      "construct category": 11,
      "give description": 11,
      "have adjoint": 11,
      "develop theory": 11,
      "prove result": 10,
      "give construction": 10,
      "define category": 10,
      "study property": 10,
      "have structure": 10,
      "use category": 9,
      "what call": 9,
      "construct structure": 8,
      "generalize notion": 8,
      "have object": 8,
      "use theory": 8,
      "introduce category": 8,
      "include category": 8,
      "play role": 8,
      "consider category": 8,
      "apply result": 7,
      "provide example": 7,
      "introduce concept": 7,
      "obtain characterization": 7,
      "extend notion": 6,
      "generalize result": 6,
      "give structure": 6,
      "study structure": 6,
      "construct functor": 6,
      "preserve colimit": 6,
      "have colimit": 6,
      "use it": 6,
      "provide framework": 6,
      "admit structure": 6,
      "describe structure": 6,
      "form category": 6,
      "use notion": 6,
      "enable we": 6
    },
    "prep": {
      "category of": 476,
      "notion of": 225,
      "class of": 98,
      "theory of": 97,
      "category with": 91,
      "equivalent to": 86,
      "in be": 71,
      "term of": 71,
      "sense of": 66,
      "be in": 62,
      "construction of": 62,
      "property of": 57,
      "extend to": 56,
      "structure on": 54,
      "respect to": 51,
      "characterization of": 50,
      "for be": 49,
      "existence of": 46,
      "model of": 45,
      "object in": 45,
      "base on": 43,
      "set of": 42,
      "example of": 41,
      "proof of": 41,
      "definition of": 40,
      "product of": 40,
      "case of": 39,
      "study of": 39,
      "version of": 39,
      "object of": 38,
      "correspond to": 38,
      "generalization of": 37,
      "subcategory of": 36,
      "equip with": 35,
      "approach to": 35,
      "give to": 35,
      "description of": 35,
      "be if": 34,
      "morphism of": 34,
      "concept of": 33,
      "that of": 31,
      "structure of": 31,
      "action of": 31,
      "up to": 30,
      "group of": 30,
      "kind of": 29,
      "category in": 28,
      "in show": 28,
      "apply to": 28,
      "analogue of": 27
    },
    "amod": {
      "monoidal category": 143,
      "double category": 78,
      "in particular": 68,
      "symmetric category": 63,
      "small category": 53,
      "topological space": 48,
      "- category": 40,
      "abelian category": 37,
      "distributive law": 36,
      "closed category": 35,
      "weak equivalence": 35,
      "simplicial set": 34,
      "such as": 33,
      "cartesian category": 33,
      "cross module": 31,
      "monoidal structure": 29,
      "differential category": 28,
      "full subcategory": 27,
      "left adjoint": 25,
      "enrich category": 24,
      "regular category": 24,
      "categorical group": 24,
      "exact category": 23,
      "universal property": 23,
      "special case": 23,
      "natural transformation": 23,
      "universal algebra": 21,
      "algebraic theory": 21,
      "semi category": 21,
      "main result": 20,
      "finite limit": 20,
      "right adjoint": 19,
      "abelian group": 19,
      "compact space": 19,
      "monoidal bicategory": 19,
      "weak category": 19,
      "categorical structure": 18,
      "monoidal functor": 18,
      "such be": 17,
      "protomodular category": 17,
      "strict category": 17,
      "- algebra": 16,
      "algebraic structure": 16,
      "pointed category": 16,
      "lax functor": 16,
      "complete category": 16,
      "commutative ring": 16,
      "internal category": 16,
      "geometric morphism": 15,
      "such category": 15
    },
    "pobj": {
      "of category": 445,
      "in category": 213,
      "in paper": 127,
      "of algebra": 126,
      "to category": 117,
      "of space": 112,
      "in sense": 97,
      "on category": 94,
      "for category": 91,
      "of group": 88,
      "of object": 81,
      "in case": 81,
      "in term": 80,
      "of functor": 74,
      "of set": 72,
      "of theory": 71,
      "of module": 65,
      "of -": 61,
      "in which": 58,
      "in context": 55,
      "of structure": 54,
      "of monad": 52,
      "with respect": 50,
      "of morphism": 48,
      "between category": 44,
      "in way": 42,
      "of result": 40,
      "of groupoid": 37,
      "in C": 35,
      "in theory": 33,
      "for which": 32,
      "with structure": 32,
      "of paper": 30,
      "of map": 29,
      "of equivalence": 28,
      "of construction": 28,
      "of C": 27,
      "of model": 27,
      "as category": 27,
      "in setting": 25,
      "to theory": 25,
      "of system": 25,
      "of operad": 25,
      "of product": 24,
      "as application": 24,
      "of theorem": 23,
      "in fact": 23,
      "of class": 23,
      "of interest": 22,
      "on object": 22
    },
    "pcomp": {
      "by use": 7,
      "by consider": 7,
      "by introduce": 7,
      "for construct": 6,
      "of be": 5,
      "by show": 5,
      "in [": 5,
      "provide be": 5,
      "of construct": 5,
      "of [": 4,
      "due to": 4,
      "to be": 4,
      "by prove": 3,
      "for be": 3,
      "of characterize": 3,
      "because of": 3,
      "for model": 3,
      "with be": 3,
      "with [": 3,
      "by define": 3,
      "of generate": 3,
      "by invert": 2,
      "of use": 2,
      "by replace": 2,
      "by look": 2,
      "of ]": 2,
      "to construct": 2,
      "of make": 2,
      "for obtain": 2,
      "for develop": 2,
      "in use": 2,
      "of call": 2,
      "by provide": 2,
      "in analyze": 2,
      "by take": 2,
      "by work": 2,
      "on lift": 2,
      "as be": 2,
      "to extent": 2,
      "by apply": 2,
      "of produce": 2,
      "by translate": 1,
      "by include": 1,
      "without assume": 1,
      "for describe": 1,
      "of say": 1,
      "by extend": 1,
      "of close": 1,
      "to ask": 1,
      "provide admit": 1
    },
    "nummod": {
      "2 category": 91,
      "2 -": 28,
      "2 monad": 25,
      "1 cell": 25,
      "2 group": 24,
      "2 algebra": 19,
      "2 cell": 17,
      "2 functor": 11,
      "two notion": 11,
      "0 cell": 8,
      "two category": 8,
      "two way": 7,
      "t 0": 7,
      "two structure": 6,
      "one object": 6,
      "n 1": 6,
      "2 space": 6,
      "two construction": 6,
      "two result": 5,
      "3 lemma": 5,
      "D 0": 5,
      "three property": 5,
      "one way": 4,
      "3 category": 4,
      "two sketch": 4,
      "two concept": 4,
      "two module": 4,
      "two monad": 4,
      "1 x": 4,
      "2 categorical": 4,
      "one type": 4,
      "2 trace": 4,
      "ℵ 1": 4,
      "two enrichment": 3,
      "one structure": 3,
      "2 type": 3,
      "two object": 3,
      "two subcategorie": 3,
      "two characterization": 3,
      "two application": 3,
      "2 k": 3,
      "2 x": 3,
      "two composition": 3,
      "2 term": 3,
      "1 cocycle": 3,
      "one correspondence": 3,
      "two system": 3,
      "h 1": 3,
      "two functor": 3,
      "1 cotabulator": 3
    },
    "punct": {
      "be .": 439,
      "show .": 297,
      ", be": 210,
      "give .": 182,
      "- category": 155,
      "be ,": 141,
      "prove .": 121,
      "category ,": 110,
      "define .": 98,
      "introduce .": 94,
      ", show": 73,
      "use .": 66,
      "study .": 66,
      "provide .": 59,
      "construct .": 56,
      "- cell": 56,
      "present .": 49,
      "- dimensional": 48,
      "consider .": 47,
      "give ,": 46,
      "describe .": 46,
      ", give": 44,
      "extend .": 42,
      "have .": 41,
      "obtain .": 37,
      "characterize .": 36,
      "of \"": 35,
      "develop .": 32,
      "show ,": 31,
      ", define": 31,
      "- monad": 30,
      "- group": 30,
      "- algebra": 30,
      "include .": 28,
      "generalize .": 27,
      "structure ,": 27,
      "have ,": 27,
      ", prove": 27,
      "( x": 27,
      "discuss .": 25,
      "apply .": 25,
      "be )": 25,
      ", obtain": 25,
      "allow .": 25,
      "functor ,": 25,
      ", have": 25,
      "n )": 25,
      "a )": 25,
      "; be": 24,
      ", introduce": 24
    },
    "acl": {
      "category enrich": 19,
      "category satisfy": 8,
      "proof be": 7,
      "category equip": 6,
      "case be": 5,
      "result be": 5,
      "category obtain": 4,
      "notion introduce": 4,
      "theorem be": 4,
      "category call": 4,
      "category introduce": 4,
      "fact be": 4,
      "completion define": 4,
      "category know": 3,
      "functor follow": 3,
      "condition involve": 3,
      "result prove": 3,
      "property be": 3,
      "construction use": 3,
      "category have": 3,
      "module associate": 3,
      "result relate": 3,
      "axiom define": 3,
      "question be": 3,
      "theory develop": 3,
      "theory classify": 3,
      "result show": 2,
      "structure underlie": 2,
      "category arise": 2,
      "limit commute": 2,
      "colimit commute": 2,
      "algebra generate": 2,
      "complex represent": 2,
      "functor preserve": 2,
      "condition characterize": 2,
      "duality induce": 2,
      "category consider": 2,
      "way be": 2,
      "those close": 2,
      "category give": 2,
      "group associate": 2,
      "class define": 2,
      "structure associate": 2,
      "functor define": 2,
      "order make": 2,
      "factorization associate": 2,
      "condition have": 2,
      "spectrum base": 2,
      "theory define": 2,
      "manifold embed": 2
    },
    "poss": {
      "our result": 22,
      "its category": 15,
      "whose object": 14,
      "our approach": 9,
      "our paper": 8,
      "our construction": 8,
      "their property": 7,
      "our framework": 6,
      "our theorem": 6,
      "Birkhoff Theorem": 6,
      "whose domain": 5,
      "its dual": 5,
      "our work": 5,
      "our category": 5,
      "whose morphism": 5,
      "its structure": 4,
      "its complement": 4,
      "its group": 4,
      "our example": 4,
      "its algebra": 4,
      "its property": 4,
      "their algebra": 4,
      "our monad": 4,
      "its right": 3,
      "their dual": 3,
      "their category": 3,
      "our purpose": 3,
      "our model": 3,
      "our study": 3,
      "their transformation": 3,
      "our theory": 3,
      "their relation": 3,
      "their functor": 3,
      "their use": 3,
      "our proof": 3,
      "our motivation": 2,
      "its version": 2,
      "whose map": 2,
      "its application": 2,
      "its consequence": 2,
      "its proof": 2,
      "our investigation": 2,
      "its extension": 2,
      "our analysis": 2,
      "its image": 2,
      "their cell": 2,
      "whose structure": 2,
      "whose category": 2,
      "its completion": 2,
      "author thesis": 2
    },
    "cc": {
      "be and": 117,
      "category and": 67,
      "if and": 67,
      "define and": 45,
      "introduce and": 36,
      "space and": 28,
      "of and": 24,
      "give and": 23,
      "have and": 21,
      "show and": 20,
      "functor and": 19,
      "consider and": 19,
      "study and": 18,
      "limit and": 17,
      "product and": 16,
      "set and": 15,
      "for and": 14,
      "prove and": 14,
      "algebra and": 14,
      "be but": 13,
      "theory and": 12,
      "object and": 11,
      "to and": 10,
      "describe and": 10,
      "left and": 9,
      "group and": 9,
      "colimit and": 9,
      "class and": 9,
      "monad and": 9,
      "generalize and": 8,
      "characterize and": 8,
      "module and": 8,
      "result and": 8,
      "preserve and": 8,
      "morphism and": 8,
      "construct and": 7,
      "necessary and": 7,
      "in and": 7,
      "structure and": 7,
      "present and": 7,
      "on and": 6,
      "Brown and": 6,
      "p and": 6,
      "form and": 6,
      "sum and": 6,
      "x and": 6,
      "discuss and": 6,
      "transformation and": 6,
      "operad and": 6,
      "example and": 6
    },
    "aux": {
      "to be": 83,
      "to give": 23,
      "to construct": 19,
      "to define": 16,
      "to prove": 15,
      "to have": 14,
      "to show": 14,
      "to study": 14,
      "to obtain": 13,
      "to describe": 11,
      "can define": 11,
      "can see": 11,
      "can describe": 10,
      "can use": 9,
      "to extend": 9,
      "to make": 8,
      "to produce": 8,
      "do exist": 6,
      "to provide": 6,
      "to form": 6,
      "can recover": 6,
      "may be": 6,
      "to compute": 6,
      "can interpret": 6,
      "to establish": 5,
      "can give": 5,
      "to get": 5,
      "to hold": 5,
      "to understand": 5,
      "to develop": 5,
      "will show": 5,
      "can regard": 5,
      "have show": 4,
      "will see": 4,
      "to capture": 4,
      "to formulate": 4,
      "to ask": 4,
      "can be": 4,
      "to characterize": 4,
      "should be": 4,
      "to work": 4,
      "to identify": 4,
      "to classify": 4,
      "can build": 4,
      "can view": 4,
      "can construct": 4,
      "can lift": 4,
      "can obtain": 4,
      "will give": 4,
      "to reason": 3
    },
    "auxpass": {
      "be give": 51,
      "be show": 49,
      "be define": 43,
      "be use": 41,
      "be know": 31,
      "be prove": 25,
      "be obtain": 21,
      "be present": 21,
      "be call": 18,
      "be see": 18,
      "be characterize": 17,
      "be extend": 16,
      "be introduce": 16,
      "be construct": 16,
      "be consider": 15,
      "be describe": 14,
      "be base": 14,
      "be relate": 13,
      "be study": 12,
      "be discuss": 11,
      "be generate": 11,
      "be apply": 11,
      "be close": 10,
      "be develop": 10,
      "be interpret": 10,
      "be preserve": 9,
      "be regard": 9,
      "be provide": 8,
      "be derive": 8,
      "be determine": 8,
      "be recover": 8,
      "be build": 8,
      "be lift": 8,
      "be leave": 7,
      "be equip": 6,
      "be think": 6,
      "be replace": 6,
      "be make": 6,
      "be motivate": 6,
      "be induce": 5,
      "be state": 5,
      "be compute": 5,
      "be view": 5,
      "be say": 4,
      "be satisfy": 4,
      "be restrict": 4,
      "be establish": 4,
      "be express": 4,
      "be enrich": 4,
      "be embed": 4
    },
    "conj": {
      "be be": 63,
      "category category": 42,
      "if be": 36,
      "of of": 30,
      "for for": 16,
      "define prove": 15,
      "category functor": 15,
      "space map": 13,
      "limit colimit": 12,
      "to to": 12,
      "left right": 11,
      "on on": 10,
      "introduce show": 10,
      "in in": 9,
      "introduce study": 8,
      "space space": 8,
      "by by": 8,
      "necessary sufficient": 7,
      "be have": 7,
      "functor transformation": 7,
      "have be": 7,
      "define show": 6,
      "module module": 6,
      "if have": 6,
      "theory theory": 5,
      "cell cell": 5,
      "define study": 5,
      "with with": 5,
      "have have": 5,
      "pushout pullback": 5,
      "companion conjoint": 5,
      "study prove": 4,
      "set set": 4,
      "set relation": 4,
      "product coproduct": 4,
      "introduce prove": 4,
      "be satisfy": 4,
      "be give": 4,
      "transformation modification": 4,
      "satisfy be": 4,
      "Joyal Tierney": 4,
      "give show": 4,
      "sum product": 4,
      "be preserve": 4,
      "Bourn Janelidze": 4,
      "Day Street": 4,
      "input output": 4,
      "Janelidze Kelly": 3,
      "be show": 3,
      "set group": 3
    },
    "xcomp": {
      "show be": 13,
      "turn be": 12,
      "know be": 6,
      "use study": 6,
      "say be": 5,
      "use give": 5,
      "use show": 5,
      "use prove": 4,
      "be give": 4,
      "turn have": 3,
      "prove be": 3,
      "fail be": 3,
      "be ask": 3,
      "use describe": 3,
      "use define": 3,
      "use identify": 3,
      "use classify": 3,
      "use produce": 3,
      "be describe": 3,
      "use reason": 2,
      "be establish": 2,
      "be determine": 2,
      "use present": 2,
      "take be": 2,
      "use provide": 2,
      "show construct": 2,
      "intend give": 2,
      "show extend": 2,
      "be make": 2,
      "define be": 2,
      "use obtain": 2,
      "seem be": 2,
      "use compare": 2,
      "be generalize": 2,
      "require be": 2,
      "enable see": 2,
      "be develop": 2,
      "happen have": 2,
      "use construct": 2,
      "make consider": 2,
      "show arise": 2,
      "apply calculate": 1,
      "be emphasize": 1,
      "big contain": 1,
      "prompt formulate": 1,
      "fail have": 1,
      "need impose": 1,
      "show take": 1,
      "know coincide": 1,
      "show simplify": 1
    },
    "advcl": {
      "be be": 60,
      "be have": 11,
      "show be": 10,
      "be show": 9,
      "use show": 8,
      "have be": 7,
      "be exist": 6,
      "define use": 5,
      "use give": 4,
      "give use": 4,
      "be mean": 4,
      "be define": 4,
      "call be": 4,
      "construct use": 3,
      "be satisfy": 3,
      "be admit": 3,
      "define be": 3,
      "be make": 3,
      "mean be": 3,
      "be provide": 3,
      "apply obtain": 3,
      "construct be": 3,
      "be hold": 3,
      "use prove": 3,
      "prove be": 3,
      "show induce": 3,
      "develop use": 3,
      "condition have": 2,
      "be know": 2,
      "say be": 2,
      "sufficient be": 2,
      "be use": 2,
      "be require": 2,
      "show give": 2,
      "express use": 2,
      "be equip": 2,
      "map show": 2,
      "be commute": 2,
      "build use": 2,
      "be =": 2,
      "see be": 2,
      "give give": 2,
      "exist be": 2,
      "happen be": 2,
      "write be": 2,
      "study use": 2,
      "describe use": 2,
      "use introduce": 2,
      "extend use": 2,
      "motivate define": 2
    },
    "advmod": {
      "where be": 48,
      "as as": 46,
      "well as": 46,
      "when be": 44,
      "only be": 41,
      "well know": 31,
      "also show": 24,
      "locally presentable": 23,
      "be also": 21,
      "finitely presentable": 19,
      "so call": 18,
      "more general": 17,
      "together with": 16,
      "then be": 15,
      "that is": 14,
      "not only": 14,
      "but also": 14,
      "also give": 13,
      "finitely generate": 13,
      "also prove": 12,
      "2 dimensional": 12,
      "as well": 11,
      "finitely complete": 11,
      "rather than": 9,
      "fully faithful": 9,
      "be precisely": 9,
      "locally connect": 9,
      "locally small": 8,
      "well behave": 8,
      "be again": 8,
      "more generally": 8,
      "completely distributive": 8,
      "finally show": 7,
      "at least": 7,
      "freely generate": 7,
      "closely related": 7,
      "higher dimensional": 7,
      "only have": 7,
      "then apply": 7,
      "1 dimensional": 7,
      "then show": 6,
      "then use": 6,
      "however be": 6,
      "moreover be": 6,
      "partially order": 6,
      "i.e. be": 6,
      "locally cartesian": 6,
      "moreover show": 6,
      "also know": 5,
      "then define": 5
    },
    "mark": {
      "that be": 389,
      "if be": 104,
      "that have": 43,
      "that exist": 18,
      "that give": 18,
      "if have": 17,
      "that induce": 15,
      "that preserve": 13,
      "that form": 12,
      "that admit": 11,
      "that coincide": 11,
      "that satisfy": 11,
      "if exist": 9,
      "for be": 9,
      "that hold": 8,
      "that obtain": 7,
      "whether be": 7,
      "that imply": 7,
      "that provide": 6,
      "if admit": 6,
      "that arise": 6,
      "as show": 6,
      "while be": 6,
      "that extend": 5,
      "that commute": 5,
      "since be": 4,
      "that correspond": 4,
      "that generate": 4,
      "that classify": 4,
      "that characterize": 4,
      "that describe": 4,
      "iff be": 4,
      "that produce": 4,
      "that model": 4,
      "that contain": 4,
      "for hold": 4,
      "that factor": 4,
      "that suffice": 3,
      "if induce": 3,
      "if satisfy": 3,
      "because be": 3,
      "as define": 3,
      "if generate": 3,
      "that carry": 3,
      "as know": 3,
      "as be": 3,
      "that leave": 3,
      "that embed": 3,
      "that interpret": 3,
      "in be": 3
    },
    "acomp": {
      "be equivalent": 98,
      "be isomorphic": 18,
      "be closed": 12,
      "be representable": 11,
      "be small": 10,
      "be monadic": 10,
      "be stable": 10,
      "be -": 9,
      "be exponentiable": 9,
      "be presentable": 9,
      "be complete": 8,
      "be compatible": 8,
      "be related": 8,
      "be monoidal": 8,
      "be invertible": 7,
      "be possible": 6,
      "be know": 6,
      "be distributive": 6,
      "be regular": 6,
      "be functorial": 6,
      "be exact": 5,
      "be adjoint": 5,
      "be faithful": 5,
      "be accessible": 5,
      "be true": 5,
      "be subtractive": 5,
      "be additive": 4,
      "be relevant": 4,
      "be autonomous": 4,
      "be important": 4,
      "be cocomplete": 4,
      "be analogous": 4,
      "be abelian": 4,
      "be comonadic": 4,
      "be trivial": 4,
      "be free": 4,
      "be universal": 4,
      "be affirmative": 4,
      "be general": 3,
      "be invariant": 3,
      "be unique": 3,
      "be coreflective": 3,
      "be useful": 3,
      "be homotopic": 3,
      "be full": 3,
      "be able": 3,
      "be projective": 3,
      "be satisfied": 3,
      "be similar": 3,
      "be symmetric": 3
    },
    "ccomp": {
      "show be": 157,
      "prove be": 67,
      "be be": 38,
      "let be": 27,
      "show have": 16,
      "show give": 13,
      "know be": 9,
      "show admit": 8,
      "show satisfy": 8,
      "show induce": 7,
      "say be": 7,
      "prove have": 7,
      "allow construct": 6,
      "show exist": 6,
      "show coincide": 5,
      "show extend": 5,
      "show arise": 5,
      "show obtain": 5,
      "ask be": 5,
      "imply be": 5,
      "define be": 5,
      "conjecture be": 5,
      "make precise": 5,
      "argue be": 5,
      "allow define": 5,
      "follow be": 5,
      "prove exist": 4,
      "obtain be": 4,
      "require be": 4,
      "show define": 4,
      "prove hold": 4,
      "show produce": 4,
      "show provide": 3,
      "observe be": 3,
      "show suffice": 3,
      "see be": 3,
      "note be": 3,
      "show generate": 3,
      "prove coincide": 3,
      "show preserve": 3,
      "assert be": 3,
      "characterize be": 3,
      "say have": 3,
      "have be": 3,
      "mean be": 3,
      "show form": 3,
      "prove give": 3,
      "show describe": 3,
      "show correspond": 3,
      "call be": 3
    },
    "neg": {
      "be not": 33,
      "not exist": 6,
      "not necessarily": 6,
      "not be": 5,
      "not require": 4,
      "not in": 3,
      "not hold": 3,
      "not every": 3,
      "not need": 2,
      "not category": 2,
      "as not": 2,
      "not change": 2,
      "not satisfy": 2,
      "not involve": 2,
      "not loop": 2,
      "not all": 2,
      "not identify": 1,
      "not object": 1,
      "not only": 1,
      "not order": 1,
      "not coincide": 1,
      "not always": 1,
      "not sketchable": 1,
      "not restrict": 1,
      "not behave": 1,
      "not understand": 1,
      "not meet": 1,
      "not fabricate": 1,
      "not give": 1,
      "not mention": 1,
      "not colimit": 1,
      "not class": 1,
      "non empty": 1,
      "not know": 1,
      "not axiomatizable": 1,
      "not allow": 1,
      "group not": 1,
      "never satisfy": 1,
      "not weaken": 1,
      "not seem": 1,
      "not admit": 1,
      "not leave": 1,
      "not from": 1,
      "not irreducible": 1,
      "not rely": 1,
      "no long": 1,
      "not discuss": 1,
      "never preserve": 1,
      "not work": 1,
      "not one": 1
    },
    "nsubjpass": {
      "it show": 30,
      "it know": 15,
      "it prove": 12,
      "notion extend": 5,
      "notion define": 5,
      "category introduce": 5,
      "application give": 4,
      "theory develop": 4,
      "result apply": 4,
      "proof give": 4,
      "which define": 4,
      "structure show": 4,
      "which regard": 4,
      "which base": 4,
      "structure use": 3,
      "theorem prove": 3,
      "example give": 3,
      "which use": 3,
      "structure define": 3,
      "category embed": 3,
      "we lead": 3,
      "term use": 2,
      "f say": 2,
      "result prove": 2,
      "this use": 2,
      "notion describe": 2,
      "complex introduce": 2,
      "result give": 2,
      "condition give": 2,
      "condition meet": 2,
      "condition satisfy": 2,
      "description give": 2,
      "notion develop": 2,
      "these study": 2,
      "what call": 2,
      "functor know": 2,
      "construction perform": 2,
      "property show": 2,
      "it generate": 2,
      "structure introduce": 2,
      "category present": 2,
      "that close": 2,
      "model construct": 2,
      "example discuss": 2,
      "construction do": 2,
      "structure extend": 2,
      "sequence obtain": 2,
      "idea use": 2,
      "definition give": 2,
      "result see": 2
    },
    "meta": {
      "i be": 3,
      "2 be": 2,
      "i give": 1,
      "ii give": 1,
      "iii construct": 1,
      "ii and": 1,
      "m &": 1,
      "1 d": 1,
      ". d": 1,
      ". ⁢": 1,
      "ii fail": 1,
      "iii be": 1,
      "i limit": 1,
      "ii product": 1,
      "iii equalizer": 1,
      "iv object": 1,
      "a commute": 1,
      "b distribute": 1,
      "c be": 1,
      "a c": 1,
      "c characterize": 1,
      "i module": 1,
      "ii module": 1,
      "iii module": 1,
      "iv module": 1,
      "b b": 1,
      "a category": 1,
      "b category": 1,
      "ii cohesion": 1,
      "ii be": 1,
      "a admit": 1,
      "b be": 1,
      "1 be": 1,
      "1 index": 1,
      "2 enrich": 1,
      "1 characterization": 1,
      "2 setting": 1,
      "3 be": 1,
      "4 admit": 1,
      "1 employ": 1,
      "2 preserve": 1,
      "3 characterize": 1,
      "ii obtain": 1,
      "iii obtain": 1,
      "i monad": 1,
      "ii -monad": 1,
      "ii element": 1,
      "1 write": 1,
      "2 interpret": 1,
      "3 extend": 1
    },
    "npadvmod": {
      "star autonomous": 9,
      "self dual": 5,
      "set value": 4,
      "property like": 4,
      "Morita equivalent": 4,
      "category theoretic": 4,
      "action accessible": 4,
      "Weber 2011": 4,
      "structure preserve": 3,
      "order preserve": 3,
      "set theoretic": 3,
      "Quillen equivalent": 3,
      "Barr exact": 3,
      "action representable": 3,
      "monoid like": 3,
      "set side": 3,
      "Cauchy complete": 2,
      "edge symmetric": 2,
      "negation free": 2,
      "be itself": 2,
      "be -": 2,
      "composition representative": 2,
      "Weber 2005": 2,
      "Batanin 1998": 2,
      "cr epic": 2,
      "duality preserve": 2,
      "star multiplicative": 2,
      "topos theoretic": 2,
      "sheaf theoretic": 2,
      "coalgebra like": 2,
      "algebra like": 2,
      "path connect": 2,
      "group like": 2,
      "v -enriche": 2,
      "k reflexive": 2,
      "Mackey complete": 2,
      "torsion free": 2,
      "g cross": 1,
      "pullback stable": 1,
      "Alexandroff discrete": 1,
      "space value": 1,
      "l separate": 1,
      "cut free": 1,
      "homotopy continuous": 1,
      "cauchy complete": 1,
      "Fourier like": 1,
      "join rectangle": 1,
      "tensor par": 1,
      "Barr 1991": 1,
      "functor value": 1
    },
    "nmod": {
      "Lie algebra": 14,
      "⁢ a": 13,
      "⁢ t": 12,
      "a a": 10,
      "e m": 9,
      "⁢ b": 9,
      "⁢ p": 8,
      "t v)-algebra": 7,
      "⁢ k": 7,
      "⁢ n": 6,
      "⁢ d": 6,
      "⁢ v": 6,
      "x y": 6,
      "⁢ c": 6,
      "⁢ \\wdl": 6,
      "k k": 6,
      "π λ": 6,
      "⁢ g": 5,
      "⁢ x": 5,
      "p b": 5,
      "a v": 5,
      "p p": 5,
      "p s": 4,
      "⁢ X": 4,
      "c t": 4,
      "homotopy groupoid": 4,
      "Lie group": 4,
      "a u": 4,
      "R G": 4,
      "C -algebra": 4,
      "x τ": 4,
      "⁢ \\k": 3,
      "d b": 3,
      "e b": 3,
      "l a": 3,
      "⁢ f": 3,
      "term sequence": 3,
      "t n": 3,
      "⁢ i": 3,
      "x x": 3,
      "λ category": 3,
      "change functor": 3,
      "Cat &": 3,
      "φ weight": 3,
      "o v": 3,
      "y x": 3,
      "cohomology group": 3,
      "a -functor": 3,
      "Rep(C D": 3,
      "v category": 3
    },
    "appos": {
      "category c": 11,
      "category category": 11,
      "c t": 9,
      "category C": 8,
      "category v": 7,
      "n k": 7,
      "a a": 6,
      "object x": 5,
      "system m": 5,
      "functor f": 5,
      "n n": 5,
      "category x": 5,
      "p t": 5,
      "class φ": 5,
      "\\wdl n": 5,
      "category m": 4,
      "category a": 4,
      "t t": 4,
      "functor p": 4,
      "f d": 4,
      "u a": 4,
      "functor c": 4,
      "o B": 4,
      "k k": 4,
      "functor C": 4,
      "morphism f": 3,
      "f a": 3,
      "f gt": 3,
      "f b": 3,
      "v c": 3,
      "f \\el": 3,
      "category s": 3,
      "f f": 3,
      "category r": 3,
      "b c": 3,
      "object a": 3,
      "functor b": 3,
      "p b": 3,
      "category k": 3,
      "\\alg 1": 3,
      "morphism b": 3,
      "v a": 3,
      "category A": 3,
      "category -": 3,
      "set set": 3,
      "c c": 3,
      "t x": 3,
      "c d": 3,
      "k x": 3,
      "c x": 3
    },
    "attr": {
      "be category": 92,
      "be equivalence": 23,
      "be functor": 20,
      "be morphism": 20,
      "be monad": 17,
      "be space": 17,
      "be -": 15,
      "be class": 14,
      "be case": 14,
      "be object": 13,
      "be epimorphism": 12,
      "be subcategory": 11,
      "be topos": 11,
      "be algebra": 10,
      "be set": 9,
      "be construction": 8,
      "be map": 8,
      "be variety": 8,
      "be part": 8,
      "be group": 8,
      "be structure": 8,
      "be relation": 7,
      "be notion": 7,
      "be isomorphism": 7,
      "be extension": 7,
      "be analogue": 7,
      "be bicategory": 7,
      "be model": 6,
      "be tool": 6,
      "be generalization": 6,
      "be version": 6,
      "be quotient": 6,
      "be that": 5,
      "be same": 5,
      "be transformation": 5,
      "be colimit": 5,
      "be nerve": 5,
      "be locale": 5,
      "be way": 5,
      "be quantale": 5,
      "be monomorphism": 5,
      "be example": 5,
      "be theory": 4,
      "be one": 4,
      "be kind": 4,
      "be t": 4,
      "be those": 4,
      "be ring": 4,
      "be composition": 4,
      "be monoid": 4
    },
    "relcl": {
      "category be": 37,
      "category have": 10,
      "case be": 8,
      "structure be": 6,
      "subcategory be": 6,
      "functor be": 6,
      "object be": 5,
      "condition be": 5,
      "space be": 5,
      "set be": 5,
      "notion be": 5,
      "monad be": 4,
      "morphism be": 4,
      "category satisfy": 4,
      "category generalize": 4,
      "map be": 3,
      "variety be": 3,
      "property be": 3,
      "class be": 3,
      "category call": 3,
      "class call": 3,
      "functor send": 3,
      "operad be": 3,
      "condition hold": 3,
      "condition exist": 2,
      "topos have": 2,
      "d embed": 2,
      "property hold": 2,
      "model be": 2,
      "category use": 2,
      "-module be": 2,
      "sense make": 2,
      "functor preserve": 2,
      "functor assign": 2,
      "object have": 2,
      "complex satisfy": 2,
      "type call": 2,
      "one have": 2,
      "k be": 2,
      "b be": 2,
      "framework arise": 2,
      "way define": 2,
      "algebra be": 2,
      "subcategorie be": 2,
      "pair be": 2,
      "weight be": 2,
      "ψ commute": 2,
      "algebra have": 2,
      "representation be": 2,
      "those be": 2
    },
    "case": {
      "Birkhoff ’s": 8,
      "Quillen ’s": 5,
      "author ’s": 5,
      "Lawvere ’s": 5,
      "Kan ’s": 4,
      "Street ’s": 4,
      "Segal ’s": 3,
      "Gray ’s": 3,
      "Batanin ’s": 3,
      "Beck ’s": 3,
      "Joyal ’s": 3,
      "Trimble ’s": 3,
      "Paiva ’s": 2,
      "Day ’s": 2,
      "Godel ’s": 2,
      "Girard ’s": 2,
      "Scott ’s": 2,
      "Benabou ’s": 2,
      "Szabo ’s": 2,
      "Smith ’s": 2,
      "Kelly ’s": 2,
      "Leinster ’s": 2,
      "Makkai ’s": 2,
      "Barr ’s": 2,
      "Isbell ’s": 2,
      "Sweedler ’s": 2,
      "Getzler ’s": 2,
      "a ∞": 2,
      "colored *": 2,
      "Whitehead ’s": 1,
      "Porter ’s": 1,
      "Conduche ’s": 1,
      "Kuratowski ’s": 1,
      "Ellis ’": 1,
      "Lambek ’s": 1,
      "Putnam ’s": 1,
      "Paré ’s": 1,
      "Fox ’s": 1,
      "Verdier ’s": 1,
      "Müller ’s": 1,
      "k λ": 1,
      "Grandjean ’s": 1,
      "Hopf ’s": 1,
      "φ -atomic": 1,
      "gm ’s": 1,
      "gms ’s": 1,
      "Burroni ’s": 1,
      "Tierney ’s": 1,
      "strict ω": 1,
      "Parigot ’s": 1
    },
    "prt": {
      "turn out": 23,
      "set up": 5,
      "work out": 4,
      "build up": 4,
      "point out": 4,
      "single out": 3,
      "go on": 3,
      "build in": 1,
      "drop out": 1,
      "pick up": 1,
      "hold up": 1,
      "pull back": 1,
      "make out": 1,
      "quotiente out": 1
    },
    "agent": {
      "introduce by": 29,
      "give by": 25,
      "induce by": 20,
      "define by": 19,
      "generate by": 18,
      "motivate by": 17,
      "determine by": 9,
      "develop by": 8,
      "describe by": 7,
      "preserve by": 7,
      "follow by": 7,
      "characterize by": 6,
      "classify by": 6,
      "replace by": 5,
      "consider by": 5,
      "show by": 5,
      "study by": 4,
      "index by": 4,
      "inspire by": 4,
      "link by": 3,
      "obtain by": 3,
      "play by": 3,
      "use by": 2,
      "prove by": 2,
      "satisfy by": 2,
      "encode by": 2,
      "form by": 2,
      "model by": 2,
      "specify by": 2,
      "suggest by": 2,
      "observe by": 2,
      "relate by": 2,
      "modelize by": 2,
      "construct by": 2,
      "invert by": 1,
      "outline by": 1,
      "provide by": 1,
      "inherit by": 1,
      "work by": 1,
      "control by": 1,
      "bound by": 1,
      "present by": 1,
      "dictate by": 1,
      "axiomatizable by": 1,
      "compose by": 1,
      "pioneer by": 1,
      "possess by": 1,
      "begin by": 1,
      "expound by": 1,
      "bear by": 1
    },
    "expl": {
      "there be": 75,
      "there exist": 15,
      "be there": 2
    },
    "preconj": {
      "both left": 3,
      "both category": 2,
      "not for": 2,
      "not be": 1,
      "both these": 1,
      "both algebraically": 1,
      "neither empty": 1,
      "not conservative": 1,
      "either limit": 1,
      "both language": 1,
      "both by": 1,
      "neither transformation": 1,
      "neither closed": 1,
      "either of": 1,
      "both branch": 1,
      "both adjoint": 1,
      "not seem": 1,
      "both module": 1,
      "either setting": 1,
      "both v": 1,
      "both paradigm": 1,
      "both in": 1,
      "both for": 1,
      "both enriched": 1,
      "not lattice": 1,
      "either have": 1,
      "not E": 1,
      "be not": 1,
      "neither enrichment": 1,
      "both normal": 1,
      "not preserve": 1,
      "both companion": 1,
      "both product": 1,
      "both tensor": 1,
      "both local": 1,
      "both restriction": 1,
      "not make": 1,
      "both real": 1,
      "both monoreflective": 1,
      "either topo": 1,
      "not notion": 1,
      "not work": 1,
      "either pullback": 1,
      "either lax": 1,
      "either k": 1,
      "neither axiom": 1,
      "yield both": 1,
      "not by": 1,
      "neither complete": 1,
      "both known": 1
    },
    "predet": {
      "such category": 8,
      "such way": 6,
      "such structure": 4,
      "all structure": 3,
      "such action": 2,
      "all category": 2,
      "such condition": 2,
      "such flow": 2,
      "such pair": 2,
      "such functor": 2,
      "such site": 1,
      "all axiom": 1,
      "such product": 1,
      "both factorization": 1,
      "tous projectifs": 1,
      "such map": 1,
      "such constant": 1,
      "all property": 1,
      "such framework": 1,
      "all weight": 1,
      "both class": 1,
      "such extension": 1,
      "all equivalence": 1,
      "such sheaf": 1,
      "such retract": 1,
      "such class": 1,
      "all map": 1,
      "such formalism": 1,
      "all epimorphism": 1,
      "such theory": 1,
      "such groupoid": 1,
      "such theorem": 1,
      "all context": 1,
      "such quadruple": 1,
      "such passage": 1,
      "such P.": 1,
      "such p": 1,
      "such coreflection": 1,
      "such representation": 1,
      "both space": 1,
      "all morphism": 1,
      "such biextension": 1,
      "all theory": 1,
      "all subcategorie": 1,
      "all sphere": 1,
      "all this": 1,
      "such limit": 1,
      "such distributor": 1,
      "such quotient": 1,
      "all construction": 1
    },
    "oprd": {
      "call category": 6,
      "call group": 5,
      "call algebra": 3,
      "call core": 3,
      "call monad": 2,
      "call topos": 2,
      "call nerve": 2,
      "call functor": 2,
      "leave exact": 2,
      "call closed": 2,
      "call module": 2,
      "call structure": 2,
      "hold true": 2,
      "call topology": 2,
      "call like": 1,
      "call interpolad": 1,
      "call -": 1,
      "call multilinearity": 1,
      "call quantification": 1,
      "call distributive": 1,
      "denote A": 1,
      "call ring": 1,
      "make precise": 1,
      "call homology": 1,
      "call simple": 1,
      "call protocategory": 1,
      "call cardinal": 1,
      "call complex": 1,
      "call groupoid": 1,
      "call sketch": 1,
      "call representative": 1,
      "call modulation": 1,
      "call jacobiator": 1,
      "entitle enrichment": 1,
      "call morphism": 1,
      "term monad": 1,
      "call pointed": 1,
      "call categorification": 1,
      "call type": 1,
      "make symmetric": 1,
      "denote d": 1,
      "call dense": 1,
      "seem appropriate": 1,
      "call isomorphism": 1,
      "call locale": 1,
      "leave open": 1,
      "call operation": 1,
      "call analytic": 1,
      "call Tamb(A": 1,
      "call double": 1
    },
    "dative": {
      "give to": 5,
      "give we": 3,
      "give g": 2,
      "send to": 2,
      "give both": 1,
      "σi -": 1,
      "give non": 1,
      "give -": 1,
      "give expert": 1,
      "owe to": 1,
      "tell we": 1,
      "teach we": 1
    },
    "parataxis": {
      "describe see": 1,
      "prove admit": 1,
      "be study": 1,
      "conservative be": 1,
      "describe be": 1,
      "be exist": 1,
      "explore see": 1,
      "imply be": 1,
      "space be": 1,
      "Pt d": 1,
      "algebra =": 1,
      "be recall": 1,
      "prove note": 1,
      "turn use": 1,
      "have be": 1,
      "single do": 1,
      "obtain be": 1,
      "be equip": 1,
      "dualizable come": 1,
      "be those": 1,
      "be be": 1
    },
    "intj": {
      "please note": 3,
      "be yes": 1,
      "nous donnons": 1,
      "to mor": 1,
      "with mor": 1
    },
    "quantmod": {
      "two three": 5,
      "out three": 5,
      "of three": 5,
      "∞ 1": 2,
      "χ 1": 1,
      "x 12": 1,
      "0 1": 1,
      "than ten": 1,
      "one one": 1,
      "to one": 1,
      "than one": 1,
      "× 3": 1,
      "low 3": 1,
      "this three": 1
    },
    "csubj": {
      "restrict give": 2,
      "model define": 1,
      "add change": 1,
      "call be": 1,
      "find be": 1,
      "vary require": 1,
      "prove unify": 1,
      "start yield": 1,
      "keep help": 1,
      "give provide": 1,
      "localize result": 1,
      "put be": 1,
      "set be": 1,
      "be imply": 1,
      "have be": 1
    }
  },
  "entity_stats": {
    "CARDINAL": {
      "2": 227,
      "two": 190,
      "1": 82,
      "one": 69,
      "three": 32,
      "3": 20,
      "0": 16,
      "zero": 7,
      "six": 7,
      "four": 6,
      "iii": 5,
      "ii": 5,
      "3 3": 5,
      "4": 4,
      "2 1": 2,
      "12": 2,
      "01": 2,
      "eight": 2,
      "20": 2,
      "at least one": 2,
      "five": 1,
      "nine": 1,
      "336": 1,
      "785": 1,
      "iv": 1,
      "ten": 1,
      "9": 1,
      "5": 1,
      "6": 1,
      "7": 1,
      "375": 1,
      "1 - 3": 1,
      "193": 1,
      "28": 1,
      "more than one": 1,
      "4.2": 1,
      "4.3": 1,
      "451": 1,
      "24": 1,
      "10": 1,
      "392": 1,
      "16": 1,
      "434": 1,
      "1,1": 1,
      "n": 1,
      "22": 1,
      "only one": 1,
      "295": 1,
      "8.3": 1
    },
    "PERSON": {
      "Grothendieck": 26,
      "Frobenius": 21,
      "Lawvere": 20,
      "Quillen": 18,
      "Kan": 17,
      "Hausdorff": 16,
      "Street": 14,
      "Hopf": 12,
      "Birkhoff": 11,
      "Markov": 11,
      "Chu": 10,
      "Day": 10,
      "Kelly": 9,
      "Janelidze": 9,
      "Barr": 9,
      "Batanin": 9,
      "Morita": 8,
      "Cauchy": 8,
      "Scott": 8,
      "Joyal": 8,
      "Mal’tsev": 8,
      "Stone": 7,
      "Feynman": 7,
      "D. Bourn": 7,
      "Huq": 7,
      "Euler": 7,
      "Mackey": 6,
      "Dedekind": 6,
      "Beck": 6,
      "Baez": 6,
      "G. Janelidze": 6,
      "Bourn": 6,
      "Eilenberg": 6,
      "Getzler": 6,
      "Brown": 5,
      "Higgins": 5,
      "Gray": 5,
      "Smith": 5,
      "Kleisli": 5,
      "Weber": 5,
      "Lack": 5,
      "Lefschetz": 5,
      "Segal": 5,
      "Paré": 4,
      "Walters": 4,
      "Moore": 4,
      "A. Joyal": 4,
      "Postnikov": 4,
      "Borceux": 4,
      "A. Ursini": 4
    },
    "ORG": {
      "TAC": 3,
      "Quillen": 3,
      "Bousfield": 2,
      "Maltsev": 2,
      "EA": 2,
      "Leinster": 2,
      "Kan": 2,
      "Hopf": 2,
      "Chu": 2,
      "Dialectica": 2,
      "Brown - Grossman": 1,
      "CW": 1,
      "Warf": 1,
      "Walk": 1,
      "Trans . Amer . Math . Soc .": 1,
      "Al - Agl , Brown and Steiner": 1,
      "CBPV": 1,
      "a Basic Intuitionistic Class Theory": 1,
      "Awodey , Butz , Simpson and Streicher": 1,
      "Algebraic Topology": 1,
      "Trimble": 1,
      "Abramsky - Jagadeesan": 1,
      "CT08": 1,
      "Morse Theory": 1,
      "Loday": 1,
      "Whitney": 1,
      "Computer Science": 1,
      "Vitale": 1,
      "Street": 1,
      "Takahashi": 1,
      "FinStat": 1,
      "Eilenberg - Moore": 1,
      "Crans": 1,
      "Grothendieck": 1,
      "Johnstone": 1,
      "Atiyah": 1,
      "Homs": 1,
      "Linear Logic": 1,
      "Mackey": 1,
      "Haagerup": 1,
      "Connes": 1,
      "Maple": 1,
      "Pixley": 1,
      "Koenig - Zhu": 1,
      "Buan - Iyama - Reiten - Scott": 1,
      "Zhou - Zhu": 1,
      "Kan - Quillen": 1,
      "Lafont": 1,
      "Gray": 1,
      "de Paiva": 1
    },
    "NORP": {
      "Galois": 17,
      "cartesian": 11,
      "abelian": 6,
      "Kan": 5,
      "noetherian": 4,
      "galois": 3,
      "cauchy": 3,
      "Batanin": 2,
      "tannakian": 2,
      "Segal": 2,
      "Vietoris": 2,
      "Chu": 2,
      "Mal’tsev": 1,
      "pre - hilbert": 1,
      "non - abelian": 1,
      "Cauchy": 1,
      "Hopf Galois": 1,
      "archimedean": 1,
      "Orzech": 1,
      "seely": 1,
      "Set": 1,
      "non - archimedian": 1,
      "artinian": 1,
      "polish": 1
    },
    "MONEY": {
      "⁢ c": 4,
      "⁢ v": 2,
      "⁢ s": 2,
      "⁢ u": 2,
      "⁢ b": 2,
      "⁢ m o": 1,
      "⁢ r": 1,
      "⁢ q b": 1,
      "⁢ p r": 1,
      "⁢ χ A": 1,
      "⁢ f": 1,
      "⁢ k ϕ": 1
    },
    "ORDINAL": {
      "first": 72,
      "second": 34,
      "third": 11,
      "secondly": 4,
      "firstly": 3,
      "3rd": 2,
      "fourth": 1,
      "thirdly": 1
    },
    "WORK_OF_ART": {
      "the Calculus of Structures": 1,
      "Geometry of Interaction": 1,
      "phd": 1
    },
    "DATE": {
      "2011": 5,
      "2005": 3,
      "2013": 3,
      "1981": 2,
      "1970": 2,
      "2003": 2,
      "2004": 2,
      "1998": 2,
      "1974": 2,
      "1980": 2,
      "1999": 2,
      "the 1960": 2,
      "1975": 1,
      "1991": 1,
      "1979": 1,
      "recent year": 1,
      "1993": 1,
      "more than ten year ago": 1,
      "1989": 1,
      "the early 1990 ’": 1,
      "2002": 1,
      "2007b": 1,
      "2007": 1,
      "vol . 16": 1,
      "the nineteenth century": 1,
      "2001": 1,
      "1965": 1,
      "decade": 1,
      "2012": 1,
      "2014": 1,
      "the late 1960 ’": 1,
      "2009": 1,
      "2018": 1
    },
    "PRODUCT": {
      "Monadic Equational Systems": 2,
      "Equational Metalogic": 2,
      "Gray - Cat": 1,
      "Tambara": 1,
      "Differential Linear Logic": 1,
      "Linear Logic": 1,
      "Groebner": 1,
      "Gray": 1
    },
    "LOC": {
      "Isbell": 3,
      "Hausdorff": 2,
      "Yoneda": 1,
      "Stone": 1,
      "Alster": 1,
      "Segal space": 1,
      "cartesian": 1,
      "Kan": 1,
      "Artin - Mazur": 1,
      "Tate": 1
    },
    "GPE": {
      "Leinster": 4,
      "Lindelof": 2,
      "Batanin": 2,
      "Yanking": 1,
      "Bourn": 1,
      "Chu": 1,
      "Calais": 1,
      "Penon": 1,
      "Trimble": 1
    },
    "FAC": {
      "Dialectica": 3,
      "Whitney": 2,
      "Dieudonne": 1,
      "the Periodic Table": 1,
      "Tate": 1
    },
    "LAW": {
      "proposition 4.4": 1,
      "proposition 8.1": 1,
      "proposition 8.2": 1
    },
    "LANGUAGE": {
      "Kan": 2,
      "C": 1
    },
    "EVENT": {
      "TAC Vol": 1
    },
    "QUANTITY": {
      "1 ⁢ f n": 1
    }
  }
}