Skip to content

Merge category and functor deduction scripts#191

Merged
ScriptRaccoon merged 8 commits into
mainfrom
refactor-functor-deductions
May 18, 2026
Merged

Merge category and functor deduction scripts#191
ScriptRaccoon merged 8 commits into
mainfrom
refactor-functor-deductions

Conversation

@ScriptRaccoon
Copy link
Copy Markdown
Owner

@ScriptRaccoon ScriptRaccoon commented May 18, 2026

  • Fix outdated functor deduction logic by aligning it with the category BFS algorithm (Use BFS for deductions + Refactor #174)
  • Reduce duplication between categories and functors (only a few schema-specific parts remain separate)
  • Ensure future algorithm changes apply to both structures automatically
  • Provide a foundation for extending the same deduction logic to other categorical structures (Add support for other categorical structures #4)
  • Add tests for functors (similar to the category tests) ensuring that selected functors have all properties decided
  • Remove "category" as default value from Svelte components

@ScriptRaccoon ScriptRaccoon force-pushed the refactor-functor-deductions branch from d6de2e1 to 649fbb8 Compare May 18, 2026 20:23
@ScriptRaccoon ScriptRaccoon force-pushed the refactor-functor-deductions branch from 649fbb8 to 8deb90d Compare May 18, 2026 20:27
@ScriptRaccoon ScriptRaccoon merged commit a1e6136 into main May 18, 2026
1 check passed
@ScriptRaccoon ScriptRaccoon deleted the refactor-functor-deductions branch May 18, 2026 20:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant