Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
055bd7a
generate yaml files for all categories
ScriptRaccoon May 7, 2026
107e3d8
generate yaml files for all properties of categories
ScriptRaccoon May 7, 2026
2f46b42
generate yaml files for all lemmas
ScriptRaccoon May 7, 2026
32ef843
generate yaml files for all implications by topic
ScriptRaccoon May 8, 2026
3cf8b91
generate yaml files for functors, their properties and implications
ScriptRaccoon May 8, 2026
79cd25c
save comments from deprecated sql files
ScriptRaccoon May 8, 2026
89c6fb3
seed all data from yaml files
ScriptRaccoon May 7, 2026
1969077
delete old SQL files and old seed script
ScriptRaccoon May 8, 2026
0e01cf7
bring back schema diff check
ScriptRaccoon May 8, 2026
5eb3ead
refactor seed script for yaml files
ScriptRaccoon May 8, 2026
c165fc7
format yaml files: replace " with ', unescape backslashes
ScriptRaccoon May 9, 2026
92ce641
remove |- from yaml seed files, put string values into one line for now
ScriptRaccoon May 9, 2026
3fe856c
italics for functor property defs
ScriptRaccoon May 10, 2026
f97eca7
replace <br> in yaml files with proper line breaks + render them as <br>
ScriptRaccoon May 10, 2026
952bfd1
improve list formatting in yaml files
ScriptRaccoon May 10, 2026
3c5d816
Ab_fg is related to Ab
ScriptRaccoon May 10, 2026
27bc039
mention YAML files in documentation
ScriptRaccoon May 8, 2026
7d73a21
use separate config file for cspell, fix typos
ScriptRaccoon May 10, 2026
1a1b92b
define macros in yaml file
ScriptRaccoon May 10, 2026
1cc5ac1
put $$ formulas in separate lines in all yaml files
ScriptRaccoon May 10, 2026
6a2c170
rename file
ScriptRaccoon May 11, 2026
89e925d
always pass nlab_link and description in category yaml file, null is …
ScriptRaccoon May 11, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
252 changes: 252 additions & 0 deletions .cspell.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,252 @@
{
"ignoreWords": [
"Vect",
"Setne",
"Xmark",
"notrack",
"sqcup",
"infty",
"chartjs",
"Prost",
"SetxSet",
"hilberts",
"maxage",
"ndash",
"emptyset",
"varnothing",
"mdash"
],
"words": [
"abelian",
"abelianization",
"abelianize",
"Adamek",
"adic",
"algébriques",
"anneaux",
"Artin",
"Auslander",
"bijection",
"bijections",
"bijective",
"biproduct",
"biproducts",
"Birkhoff",
"cancellative",
"Catabase",
"catdat",
"Catégories",
"clopen",
"Clowder",
"coaccessible",
"cocartesian",
"coclosed",
"cocomplete",
"cocompletion",
"cocone",
"cocones",
"cocongruence",
"cocongruences",
"cocontinuous",
"codiagonal",
"codirected",
"codistributive",
"codomain",
"codomains",
"coequalized",
"coequalizer",
"coequalizers",
"coequalizes",
"coexponentials",
"cofiltered",
"cofinitary",
"cofull",
"cogenerates",
"cogenerating",
"cogenerator",
"cogenerators",
"cokernel",
"cokernels",
"colimit",
"colimits",
"comonad",
"comonadic",
"conormal",
"copower",
"copowers",
"copresentable",
"coprime",
"coproduct",
"coproducts",
"coquotients",
"coreflection",
"coreflective",
"coreflexive",
"coreflexivity",
"coregular",
"corelations",
"corestrict",
"corestriction",
"corestricts",
"cosifted",
"coslice",
"cospan",
"cospans",
"cosymmetric",
"cosymmetry",
"cotransitive",
"cotransitivity",
"counital",
"delooping",
"deloopings",
"Demazure",
"Diers",
"diffeomorphism",
"diffeomorphisms",
"disjointness",
"dualizable",
"Dualization",
"Eilenberg",
"endofunctors",
"Engelking",
"epimorphic",
"epimorphism",
"épimorphismes",
"epimorphisms",
"exponentials",
"extensivity",
"extremal",
"fieldification",
"finitary",
"Freyd",
"functor",
"functorial",
"functors",
"Gillam",
"Grothendieck",
"Groupes",
"groupoid",
"groupoids",
"Haus",
"Heyting",
"homotopy",
"hypercategories",
"hypercategory",
"hypercollection",
"hypercollections",
"idempotents",
"infima",
"infimum",
"infinitary",
"injection",
"injections",
"injective",
"injectivity",
"Isbell",
"Johnstone",
"Jónsson",
"Kashiwara",
"katex",
"Kolmogorov",
"Lawvere",
"libsql",
"Lindelöf",
"Makkai",
"Malcev",
"Mathoverflow",
"metrizable",
"Moerdijk",
"monic",
"monoid",
"monoidal",
"monoids",
"monomorphism",
"monomorphisms",
"morphism",
"morphisms",
"Multialgébriques",
"naturality",
"Niefield",
"nilradical",
"nlab",
"Noetherian",
"objectwise",
"pointwise",
"Pontryagin",
"poset",
"posets",
"preadditive",
"precomposed",
"precomposition",
"preimage",
"preimages",
"preorder",
"preordered",
"prerender",
"prerendered",
"Prerendering",
"presheaf",
"presheaves",
"pretopos",
"procyclic",
"proset",
"prosets",
"protomodular",
"pushforward",
"pushout",
"pushouts",
"quasitopos",
"rng",
"rngs",
"Rosicky",
"saft",
"Schapira",
"semigroup",
"semigroups",
"semisimple",
"setoid",
"Sheafifiable",
"simplicial",
"subalgebra",
"subconjugated",
"submanifold",
"submonoid",
"subobject",
"subobjects",
"subposet",
"subproset",
"subscheme",
"subsemigroup",
"subsheaf",
"summands",
"suprema",
"supremum",
"surject",
"surjection",
"surjections",
"surjective",
"surjectivity",
"Tarski",
"tensoring",
"topoi",
"Turso",
"unital",
"unitalization",
"vercel",
"Vite",
"Wedderburn",
"well-copowered",
"Yoneda",
"Zulip"
],
"ignorePaths": [
"node_modules",
"pnpm-lock.yaml",
".git",
".vscode",
".svelte-kit",
".netlify",
"build"
],
"ignoreRegExpList": ["\\$[^$]*\\$", "\\$\\$[^$]*\\$\\$"]
}
Loading