Skip to content

Schema unification (WIP) #224

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
ScriptRaccoon wants to merge 18 commits into
base: main
Choose a base branch
from
Draft

Schema unification (WIP) #224

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
7489a66
unify schema
ScriptRaccoon May 31, 2026
08cdbf7
adjust seed script to unified schema (major refactor)
ScriptRaccoon Jun 1, 2026
8ab313a
adapt: deduce special objects / morphisms
ScriptRaccoon Jun 1, 2026
67bf087
bring back: required target categories
ScriptRaccoon Jun 1, 2026
c4b6507
unified deduction of implications
ScriptRaccoon Jun 1, 2026
759a70e
adjust query functions for functors and categories to new schema
ScriptRaccoon Jun 3, 2026
da8a853
adjust deduction helpers to new schema
ScriptRaccoon Jun 3, 2026
214ce6f
adjust deduction of properties to new schema
ScriptRaccoon Jun 3, 2026
95ff86a
adjust tests to new schema
ScriptRaccoon Jun 3, 2026
19c233f
deduce implications: refactor
ScriptRaccoon Jun 3, 2026
8ea18e9
refactor redundancy utility
ScriptRaccoon Jun 3, 2026
d26def5
unify functions to fetch normalized implications
ScriptRaccoon Jun 3, 2026
4f57399
complete revision of schema
ScriptRaccoon Jun 4, 2026
97cf7b7
adjust seed script to revised schema
ScriptRaccoon Jun 5, 2026
48f8602
general insert of mapped assumptions
ScriptRaccoon Jun 5, 2026
9a0b0a1
rename fields in seed file: related_categories -> related, etc.
ScriptRaccoon Jun 5, 2026
ab6833f
rename some fields in schema, adjust seed script
ScriptRaccoon Jun 5, 2026
d348a8b
insert structure values (WIP - NOT WORKING)
ScriptRaccoon Jun 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/0.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- finite
- thin

related_categories:
related:
- '1'

satisfied_properties:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/1.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ tags:
- single object
- thin

related_categories:
related:
- '0'
- '2'

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/2.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- finite
- thin

related_categories:
related:
- '1'

satisfied_properties:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Ab.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Ab
tags:
- algebra

related_categories:
related:
- Ab_fg
- CMon
- FinAb
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Ab_fg.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/finitely+generated+module
tags:
- algebra

related_categories:
related:
- Ab
- FinAb

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Alg(R).yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Alg
tags:
- algebra

related_categories:
related:
- CAlg(R)
- R-Mod
- Ring
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/B.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- combinatorics
- set theory

related_categories:
related:
- FI
- FS

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/BG_c.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ tags:
- category theory
- single object

related_categories:
related:
- BG_f
- BN

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/BG_f.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ tags:
- finite
- single object

related_categories:
related:
- BG_c
- BN

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/BN.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ tags:
- number theory
- single object

related_categories:
related:
- BG_c
- BOn

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/BOn.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- set theory
- single object

related_categories:
related:
- BN

satisfied_properties:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Ban.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Banach+space
tags:
- analysis

related_categories:
related:
- Met

satisfied_properties:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/CAlg(R).yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/CommAlg
tags:
- algebra

related_categories:
related:
- Alg(R)
- CRing
- R-Mod
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/CMon.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/category+of+monoids
tags:
- algebra

related_categories:
related:
- Ab
- CRing
- Mon
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/CRing.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/CRing
tags:
- algebra

related_categories:
related:
- CAlg(R)
- Ring
- Rng
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Cat.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- algebra
- category theory

related_categories:
related:
- Mon
- Set

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/CompHaus.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/compact+Hausdorff+space
tags:
- topology

related_categories:
related:
- Haus
- Top

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Delta.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ tags:
- order theory
- topology

related_categories:
related:
- FinOrd
- Setne
- sSet
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/FI.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- combinatorics
- set theory

related_categories:
related:
- B
- FS
- FinSet
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/FS.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- combinatorics
- set theory

related_categories:
related:
- B
- FI
- FinSet
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/FinAb.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/finite+abelian+group
tags:
- algebra

related_categories:
related:
- Ab
- Ab_fg
- FinGrp
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/FinGrp.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/finite+group
tags:
- algebra

related_categories:
related:
- FinAb
- Grp
- Grp_c
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/FinOrd.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- order theory
- topology

related_categories:
related:
- Delta
- FinSet
- Pos
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/FinSet.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/FinSet
tags:
- set theory

related_categories:
related:
- FI
- FS
- Set
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Fld.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Field
tags:
- algebra

related_categories:
related:
- CRing

comments:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/FreeAb.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: null
tags:
- algebra

related_categories:
related:
- Ab
- TorsFreeAb

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Grp.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Grp
tags:
- algebra

related_categories:
related:
- FinGrp
- Grp_c
- Ab
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Grp_c.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: null
tags:
- algebra

related_categories:
related:
- Grp
- FinGrp
- Set_c
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Haus.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Hausdorff+space
tags:
- topology

related_categories:
related:
- Met_c
- Top
- CompHaus
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/J2.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ tags:
- algebra
- set theory

related_categories:
related:
- M-Set

satisfied_properties:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/LRS_R.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/locally+ringed+topological+space
tags:
- algebraic geometry

related_categories:
related:
- Sch_R

satisfied_properties:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/M-Set.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/MSet
tags:
- algebra

related_categories:
related:
- J2
- R-Mod
- Set
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Man.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- analysis
- topology

related_categories:
related:
- Haus
- Top

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Meas.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Meas
tags:
- analysis

related_categories:
related:
- Top

comments:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Met.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Met
tags:
- analysis

related_categories:
related:
- Ban
- Met_c
- Met_oo
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Met_c.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/metrisable+topological+space
tags:
- analysis

related_categories:
related:
- Haus
- Met
- Met_oo
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Met_oo.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Met
tags:
- analysis

related_categories:
related:
- Met
- Met_c

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Mon.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/category+of+monoids
tags:
- algebra

related_categories:
related:
- CMon
- Cat
- Grp
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/N.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- number theory
- thin

related_categories:
related:
- N_oo
- On
- Z_div
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/N_oo.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- number theory
- thin

related_categories:
related:
- N
- On

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/On.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags:
- set theory
- thin

related_categories:
related:
- N

satisfied_properties:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/PMet.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: null
tags:
- analysis

related_categories:
related:
- Met

satisfied_properties:
Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Pos.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Pos
tags:
- order theory

related_categories:
related:
- FinOrd
- Prost

Expand Down
2 changes: 1 addition & 1 deletion databases/catdat/data/categories/Prost.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ nlab_link: https://ncatlab.org/nlab/show/Prost
tags:
- order theory

related_categories:
related:
- Pos

satisfied_properties:
Expand Down
Loading