File tree Expand file tree Collapse file tree
databases/catdat/data/categories Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ {
2+ "ignoreWords" : [
3+ " Vect" ,
4+ " Setne" ,
5+ " Xmark" ,
6+ " notrack" ,
7+ " sqcup" ,
8+ " infty" ,
9+ " chartjs" ,
10+ " Prost" ,
11+ " SetxSet" ,
12+ " hilberts" ,
13+ " maxage" ,
14+ " ndash" ,
15+ " emptyset" ,
16+ " varnothing" ,
17+ " mdash"
18+ ],
19+ "words" : [
20+ " abelian" ,
21+ " abelianization" ,
22+ " abelianize" ,
23+ " Adamek" ,
24+ " adic" ,
25+ " algébriques" ,
26+ " anneaux" ,
27+ " Artin" ,
28+ " Auslander" ,
29+ " bijection" ,
30+ " bijections" ,
31+ " bijective" ,
32+ " biproduct" ,
33+ " biproducts" ,
34+ " Birkhoff" ,
35+ " cancellative" ,
36+ " Catabase" ,
37+ " catdat" ,
38+ " Catégories" ,
39+ " clopen" ,
40+ " Clowder" ,
41+ " coaccessible" ,
42+ " cocartesian" ,
43+ " coclosed" ,
44+ " cocomplete" ,
45+ " cocompletion" ,
46+ " cocone" ,
47+ " cocones" ,
48+ " cocongruence" ,
49+ " cocongruences" ,
50+ " cocontinuous" ,
51+ " codiagonal" ,
52+ " codirected" ,
53+ " codistributive" ,
54+ " codomain" ,
55+ " codomains" ,
56+ " coequalized" ,
57+ " coequalizer" ,
58+ " coequalizers" ,
59+ " coequalizes" ,
60+ " coexponentials" ,
61+ " cofiltered" ,
62+ " cofinitary" ,
63+ " cofull" ,
64+ " cogenerates" ,
65+ " cogenerating" ,
66+ " cogenerator" ,
67+ " cogenerators" ,
68+ " cokernel" ,
69+ " cokernels" ,
70+ " colimit" ,
71+ " colimits" ,
72+ " comonad" ,
73+ " comonadic" ,
74+ " conormal" ,
75+ " copower" ,
76+ " copowers" ,
77+ " copresentable" ,
78+ " coprime" ,
79+ " coproduct" ,
80+ " coproducts" ,
81+ " coquotients" ,
82+ " coreflection" ,
83+ " coreflective" ,
84+ " coreflexive" ,
85+ " coreflexivity" ,
86+ " coregular" ,
87+ " corelations" ,
88+ " corestrict" ,
89+ " corestriction" ,
90+ " corestricts" ,
91+ " cosifted" ,
92+ " coslice" ,
93+ " cospan" ,
94+ " cospans" ,
95+ " cosymmetric" ,
96+ " cosymmetry" ,
97+ " cotransitive" ,
98+ " cotransitivity" ,
99+ " counital" ,
100+ " delooping" ,
101+ " deloopings" ,
102+ " Demazure" ,
103+ " Diers" ,
104+ " diffeomorphism" ,
105+ " diffeomorphisms" ,
106+ " disjointness" ,
107+ " dualizable" ,
108+ " Dualization" ,
109+ " Eilenberg" ,
110+ " endofunctors" ,
111+ " Engelking" ,
112+ " epimorphic" ,
113+ " epimorphism" ,
114+ " épimorphismes" ,
115+ " epimorphisms" ,
116+ " exponentials" ,
117+ " extensivity" ,
118+ " extremal" ,
119+ " fieldification" ,
120+ " finitary" ,
121+ " Freyd" ,
122+ " functor" ,
123+ " functorial" ,
124+ " functors" ,
125+ " Gillam" ,
126+ " Grothendieck" ,
127+ " Groupes" ,
128+ " groupoid" ,
129+ " groupoids" ,
130+ " Haus" ,
131+ " Heyting" ,
132+ " homotopy" ,
133+ " hypercategories" ,
134+ " hypercategory" ,
135+ " hypercollection" ,
136+ " hypercollections" ,
137+ " idempotents" ,
138+ " infima" ,
139+ " infimum" ,
140+ " infinitary" ,
141+ " injection" ,
142+ " injections" ,
143+ " injective" ,
144+ " injectivity" ,
145+ " Isbell" ,
146+ " Johnstone" ,
147+ " Jónsson" ,
148+ " Kashiwara" ,
149+ " katex" ,
150+ " Kolmogorov" ,
151+ " Lawvere" ,
152+ " libsql" ,
153+ " Lindelöf" ,
154+ " Makkai" ,
155+ " Malcev" ,
156+ " Mathoverflow" ,
157+ " metrizable" ,
158+ " Moerdijk" ,
159+ " monic" ,
160+ " monoid" ,
161+ " monoidal" ,
162+ " monoids" ,
163+ " monomorphism" ,
164+ " monomorphisms" ,
165+ " morphism" ,
166+ " morphisms" ,
167+ " Multialgébriques" ,
168+ " naturality" ,
169+ " Niefield" ,
170+ " nilradical" ,
171+ " nlab" ,
172+ " Noetherian" ,
173+ " objectwise" ,
174+ " pointwise" ,
175+ " Pontryagin" ,
176+ " poset" ,
177+ " posets" ,
178+ " preadditive" ,
179+ " precomposed" ,
180+ " precomposition" ,
181+ " preimage" ,
182+ " preimages" ,
183+ " preorder" ,
184+ " preordered" ,
185+ " prerender" ,
186+ " prerendered" ,
187+ " Prerendering" ,
188+ " presheaf" ,
189+ " presheaves" ,
190+ " pretopos" ,
191+ " procyclic" ,
192+ " proset" ,
193+ " prosets" ,
194+ " protomodular" ,
195+ " pushforward" ,
196+ " pushout" ,
197+ " pushouts" ,
198+ " quasitopos" ,
199+ " rng" ,
200+ " rngs" ,
201+ " Rosicky" ,
202+ " saft" ,
203+ " Schapira" ,
204+ " semigroup" ,
205+ " semigroups" ,
206+ " semisimple" ,
207+ " setoid" ,
208+ " Sheafifiable" ,
209+ " simplicial" ,
210+ " subalgebra" ,
211+ " subconjugated" ,
212+ " submanifold" ,
213+ " submonoid" ,
214+ " subobject" ,
215+ " subobjects" ,
216+ " subposet" ,
217+ " subproset" ,
218+ " subscheme" ,
219+ " subsemigroup" ,
220+ " subsheaf" ,
221+ " summands" ,
222+ " suprema" ,
223+ " supremum" ,
224+ " surject" ,
225+ " surjection" ,
226+ " surjections" ,
227+ " surjective" ,
228+ " surjectivity" ,
229+ " Tarski" ,
230+ " tensoring" ,
231+ " topoi" ,
232+ " Turso" ,
233+ " unital" ,
234+ " unitalization" ,
235+ " vercel" ,
236+ " Vite" ,
237+ " Wedderburn" ,
238+ " well-copowered" ,
239+ " Yoneda" ,
240+ " Zulip"
241+ ],
242+ "ignorePaths" : [
243+ " node_modules" ,
244+ " pnpm-lock.yaml" ,
245+ " .git" ,
246+ " .vscode" ,
247+ " .svelte-kit" ,
248+ " .netlify" ,
249+ " build"
250+ ],
251+ "ignoreRegExpList" : [" \\ $[^$]*\\ $" , " \\ $\\ $[^$]*\\ $\\ $" ]
252+ }
You can’t perform that action at this time.
0 commit comments