# Algebra

> How are parts arranged under laws?

Record: `reason:math-type-algebra`
Kind: math-type
Canonical: https://banes-lab.com/ontology/reasoning#reason-math-type-algebra

## domain

- [Algebra](https://banes-lab.com/records/reason/math-domain-algebra.md)

## contracts

- [Agent Sequence Definition](https://banes-lab.com/records/algo/agent-sequence-definition.md)
- [Anti-Pattern Remediation Algebra](https://banes-lab.com/records/algo/anti-pattern-remediation-algebra.md)
- [Architecture Refactoring Roadmap](https://banes-lab.com/records/algo/architecture-refactoring-roadmap.md)
- [Structural Mediation](https://banes-lab.com/records/algo/structural-mediation.md)
- [Atomic Refactor Phase](https://banes-lab.com/records/algo/atomic-refactor-phase.md)
- [Hierarchical Numbering](https://banes-lab.com/records/algo/hierarchical-numbering.md)
- [Cascade Layer Partition](https://banes-lab.com/records/algo/cascade-layer-partition.md)
- [Assembly Composition](https://banes-lab.com/records/algo/assembly-composition.md)
- [Sequential Chain Duplication](https://banes-lab.com/records/algo/sequential-chain-duplication.md)
- [Concrete-vs-Abstract Responsibility Split](https://banes-lab.com/records/algo/concrete-vs-abstract-responsibility-split.md)
- [Template Method Lifecycle](https://banes-lab.com/records/algo/template-method-lifecycle.md)
- [Migration Ordering](https://banes-lab.com/records/algo/migration-ordering.md)
- [Name Projection](https://banes-lab.com/records/algo/name-projection.md)
- [Technique and Invariant Selection](https://banes-lab.com/records/algo/technique-invariant-selection.md)

## referenced-by

- [Ont Structure](https://banes-lab.com/records/reason/node-ont-structure.md)
- [Ana Structural](https://banes-lab.com/records/reason/node-ana-structural.md)
- [Rep Symbolic](https://banes-lab.com/records/reason/node-rep-symbolic.md)
- [For Structure](https://banes-lab.com/records/reason/node-for-structure.md)
- [Structure](https://banes-lab.com/records/reason/substrate-node-structure.md)
- [Structure](https://banes-lab.com/records/reason/substrate-node-structure.md)
- [Structural](https://banes-lab.com/records/reason/lens-structural.md)
- [Relational](https://banes-lab.com/records/reason/lens-relational.md)
- [Transformational](https://banes-lab.com/records/reason/lens-transformational.md)