.cspell.json

{
	"ignoreWords": [
		"Appl",
		"coloneqq",
		"comphaus",
		"coprod",
		"devlog",
		"esbuild",
		"FiltVect",
		"indisc",
		"maxage",
		"mdash",
		"ndash",
		"networkidle",
		"noiso",
		"notrack",
		"powerset",
		"Quiv",
		"Setne",
		"SetxSet",
		"symm",
		"tikzcd",
		"Unif",
		"Vect",
		"Xmark",
		"allowbreak",
		"rowid"
	],
	"words": [
		"abelian",
		"abelianization",
		"abelianizations",
		"abelianize",
		"Adámek",
		"adic",
		"Alaoglu",
		"algebraicity",
		"algébriques",
		"anneaux",
		"Aronszajn",
		"Artin",
		"Artinian",
		"Auslander",
		"Axiomatising",
		"axiomatization",
		"Baer",
		"Baire",
		"Barnea",
		"Baumslag",
		"Beke",
		"bijection",
		"bijections",
		"bijective",
		"bimodule",
		"Binet",
		"biproduct",
		"biproducts",
		"Birkhoff",
		"Bogachev",
		"Borel",
		"brauer",
		"Bredon",
		"cancellative",
		"Carboni",
		"cartesian",
		"Carus",
		"Catabase",
		"catdat",
		"Catégories",
		"cauchy",
		"Čech",
		"characterisation",
		"clopen",
		"closedness",
		"Clowder",
		"coaccessible",
		"coalgebraic",
		"coalgebras",
		"cocartesian",
		"cochain",
		"coclosed",
		"cocomplete",
		"cocompleteness",
		"cocompletion",
		"cocompletions",
		"cocone",
		"cocones",
		"cocongruence",
		"cocongruences",
		"coconstant",
		"cocontinuous",
		"codescent",
		"codiagonal",
		"codirected",
		"codiscrete",
		"codistributive",
		"codistributivity",
		"codomain",
		"codomains",
		"coequalize",
		"coequalized",
		"coequalizer",
		"coequalizers",
		"coequalizes",
		"coexact",
		"coexponentials",
		"coextensivity",
		"cofiltered",
		"cofiltering",
		"cofinal",
		"cofinitary",
		"cofinite",
		"cofull",
		"cogenerates",
		"cogenerating",
		"cogenerator",
		"cogenerators",
		"cogroup",
		"Cohomology",
		"coidentity",
		"coimage",
		"coinverse",
		"cokernel",
		"cokernels",
		"colimit",
		"colimits",
		"comonad",
		"comonadic",
		"comonadicity",
		"comonads",
		"compactification",
		"compactifications",
		"comultiplication",
		"conatural",
		"concretizability",
		"concretizable",
		"conormal",
		"coordinatewise",
		"coparametrized",
		"copointed",
		"copower",
		"copowers",
		"copresentability",
		"copresentable",
		"coprime",
		"coproduct",
		"coproducts",
		"coprojection",
		"coprojections",
		"coquotient",
		"coquotients",
		"coreflection",
		"coreflective",
		"coreflector",
		"coreflexive",
		"coreflexivity",
		"coregular",
		"coregularity",
		"corelations",
		"corestrict",
		"corestriction",
		"corestrictions",
		"corestricts",
		"coretraction",
		"coretractions",
		"coseparating",
		"coseparator",
		"coseparators",
		"cosifted",
		"coslice",
		"cospan",
		"cospans",
		"cosymmetric",
		"cosymmetry",
		"cotopos",
		"cototal",
		"cotransitive",
		"cotransitivity",
		"cotripleable",
		"cotriples",
		"counit",
		"counital",
		"covariety",
		"Cramer",
		"delooping",
		"deloopings",
		"Demazure",
		"diagonalization",
		"Diers",
		"Dieudonné",
		"diffeomorphism",
		"diffeomorphisms",
		"disjointness",
		"dualizable",
		"Dualization",
		"Duskin",
		"Easton",
		"Eilenberg",
		"Eklof",
		"elementwise",
		"endofunctor",
		"endofunctors",
		"Engelking",
		"epimorphic",
		"epimorphism",
		"épimorphismes",
		"epimorphisms",
		"epis",
		"equivariant",
		"EUMDL",
		"exponentials",
		"extensivity",
		"extremal",
		"Faddeev",
		"Farb",
		"fibration",
		"fieldification",
		"filtrations",
		"finitary",
		"foundedness",
		"freyd",
		"Freyd",
		"Frobenius",
		"functionals",
		"functor",
		"functorial",
		"functoriality",
		"functors",
		"Gillam",
		"Gille",
		"Glicksberg",
		"grothendieck",
		"Grothendieck",
		"Grötzsch",
		"Groupes",
		"groupoid",
		"groupoids",
		"Hanai",
		"Haus",
		"hausdorff",
		"Herrlich",
		"Hertweck",
		"Heunen",
		"Heyting",
		"Hofmann",
		"homeomorphic",
		"homotopic",
		"homotopy",
		"Hušek",
		"hypercategories",
		"hypercategory",
		"hypercocomplete",
		"hypercollection",
		"hypercollections",
		"hypercomplete",
		"idempotents",
		"Ieke",
		"indeterminates",
		"infima",
		"infimum",
		"infinitary",
		"injection",
		"injections",
		"injective",
		"injectivity",
		"invertibility",
		"irreflexive",
		"Isbell",
		"isos",
		"Jaap",
		"Janelidze",
		"Johnstone",
		"Jónsson",
		"Karoubian",
		"Kashiwara",
		"Kategorien",
		"katex",
		"Kawase",
		"Kerodon",
		"Kolmogorov",
		"Krause",
		"Krein",
		"Kunen",
		"Kuratowski",
		"Kurz",
		"Lawvere",
		"LCCC",
		"libsql",
		"Lindelöf",
		"Lipschitz",
		"Lodha",
		"Lokal",
		"loopless",
		"Luca",
		"Makkai",
		"malcev",
		"Malcev",
		"Maltsev",
		"Marra",
		"maximality",
		"Mekler",
		"Mesablishvili",
		"Métayer",
		"metrizable",
		"Moerdijk",
		"monadicity",
		"monic",
		"monoid",
		"monoidal",
		"monoidally",
		"monoids",
		"monomorphism",
		"monomorphisms",
		"morphism",
		"morphisms",
		"Multialgébriques",
		"multigraphs",
		"naturality",
		"Neerven",
		"Neumann",
		"Neves",
		"Niefield",
		"nilpotent",
		"nilradical",
		"nimbers",
		"nlab",
		"Noetherian",
		"Noncommutative",
		"objectwise",
		"Oosten",
		"opfibration",
		"Paré",
		"Perrone",
		"pointwise",
		"Pontryagin",
		"poset",
		"posets",
		"präsentierbare",
		"preadditive",
		"precomposed",
		"precomposing",
		"precomposition",
		"precotopos",
		"preimage",
		"preimages",
		"preorder",
		"preordered",
		"preorders",
		"prerender",
		"prerendered",
		"Prerendering",
		"presheaf",
		"presheaves",
		"pretopos",
		"procyclic",
		"proset",
		"prosets",
		"protomodular",
		"pseudograph",
		"pseudographs",
		"pseudomonic",
		"pushforward",
		"pushout",
		"pushouts",
		"quasicotopos",
		"quasitopos",
		"Quillan",
		"Reggio",
		"Renato",
		"rng",
		"rngs",
		"Rosický",
		"saft",
		"Schapira",
		"Schepler",
		"Schreier",
		"semidirect",
		"semigroup",
		"semigroups",
		"Séminaire",
		"semisimple",
		"Serre",
		"setoid",
		"Sheafifiable",
		"Shelah",
		"Sierpiński",
		"simplicial",
		"simplicially",
		"Šmulian",
		"Specker",
		"Strecker",
		"subalgebra",
		"subalgebras",
		"subbasic",
		"subbasis",
		"subcollection",
		"subcollections",
		"subconjugate",
		"subconjugated",
		"subcover",
		"subdirect",
		"subdirectly",
		"subfunctor",
		"subfunctors",
		"submanifold",
		"submatrix",
		"submonoid",
		"subobject",
		"subobjects",
		"subposet",
		"subquiver",
		"subquivers",
		"subring",
		"subscheme",
		"subsemigroup",
		"subsheaf",
		"subterminal",
		"summands",
		"suprema",
		"supremum",
		"surject",
		"surjection",
		"surjections",
		"surjective",
		"surjectivity",
		"surjects",
		"Szamuely",
		"Tarski",
		"tensoring",
		"Tholen",
		"Tietze",
		"topoi",
		"torsionfree",
		"tripleability",
		"tripleable",
		"Turso",
		"Tychonoff",
		"Tyrer",
		"Ulmer",
		"ultrafilters",
		"ultrapower",
		"uncountably",
		"unital",
		"unitalization",
		"unitor",
		"Universalis",
		"Universitext",
		"Urysohn",
		"Vandermonde",
		"vercel",
		"Verlag",
		"Vicari",
		"Vincenzo",
		"Vite",
		"Wedderburn",
		"Weibel",
		"well-copowered",
		"Wengenroth",
		"Yoneda",
		"Zangurashvili",
		"Zulip"
	],
	"ignorePaths": [
		"node_modules",
		"pnpm-lock.yaml",
		".git",
		".vscode",
		".svelte-kit",
		".netlify",
		"build",
		"todo.txt",
		"*.svg"
	],
	"ignoreRegExpList": ["\\$[^$]*\\$", "\\$\\$[^$]*\\$\\$", "Wahrscheinlichkeitstheorie"]
}