Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
6895e9b
generate yaml files for all categories
ScriptRaccoon May 7, 2026
53e4143
seed categories from yaml files
ScriptRaccoon May 7, 2026
1f4db48
generate yaml files for all properties of categories
ScriptRaccoon May 7, 2026
b3b893a
seed properties from yaml files
ScriptRaccoon May 7, 2026
f2159cc
remove positions
ScriptRaccoon May 7, 2026
3afee46
refactor seed config
ScriptRaccoon May 7, 2026
5acb7bf
refactor seeding of categories
ScriptRaccoon May 7, 2026
9415774
wrap clearing of data in transaction
ScriptRaccoon May 7, 2026
3c5e696
refactor seeding of category properties
ScriptRaccoon May 7, 2026
959e7d6
generate yaml files for all lemmas
ScriptRaccoon May 7, 2026
2aa616b
seed lemmas
ScriptRaccoon May 7, 2026
8a94b90
seed category property assignments from yaml files
ScriptRaccoon May 7, 2026
dfaecf7
seed property comments from yaml files
ScriptRaccoon May 7, 2026
e2ef9cb
generate yaml files for all implications by topic
ScriptRaccoon May 8, 2026
05edd46
seed category implications from yaml files
ScriptRaccoon May 8, 2026
6b37fcd
add logs to new seed script
ScriptRaccoon May 8, 2026
d1d85b2
add rudimentary error logging
ScriptRaccoon May 8, 2026
7a311e1
no assigned objects or morphisms for Set^op
ScriptRaccoon May 8, 2026
aa38417
save comments from deprecated sql files
ScriptRaccoon May 8, 2026
abfd94c
generate yaml files for functors, their properties and implications
ScriptRaccoon May 8, 2026
225b5e8
seed functors, their properties and implications from yaml files
ScriptRaccoon May 8, 2026
ccf4390
delete old SQL files and old seed script
ScriptRaccoon May 8, 2026
c8ebc41
bring back schema diff check
ScriptRaccoon May 8, 2026
d728a71
delete script whose work is done
ScriptRaccoon May 8, 2026
4b3621c
refactor seed script for yaml files (part 1)
ScriptRaccoon May 8, 2026
fb7837e
refactor seed script for yaml files (part 2)
ScriptRaccoon May 8, 2026
2e1d830
mention YAML files in documentation
ScriptRaccoon May 8, 2026
4cd7b12
format yaml files: replace " with ', unescape backslashes
ScriptRaccoon May 9, 2026
f30aab0
remove |- from yaml seed files, put string values into one line for now
ScriptRaccoon May 9, 2026
abd1af8
italics for functor property defs
ScriptRaccoon May 10, 2026
e3240bc
replace <br> with yaml files with proper line breaks + render them as…
ScriptRaccoon May 10, 2026
b8af78f
improve list formatting in yaml files
ScriptRaccoon May 10, 2026
a697214
Ab_fg is related to Ab
ScriptRaccoon May 10, 2026
4c90ed1
add section on authoring of YAML files
ScriptRaccoon May 10, 2026
cab4eee
use separate config file for cspell, fix typo
ScriptRaccoon May 10, 2026
ddb213b
define macros in yaml file
ScriptRaccoon May 10, 2026
2425b5e
put $$ formulas in separate lines in all yaml files
ScriptRaccoon May 10, 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