# Algebra

> How are parts arranged under laws?

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Graph](https://banes-lab.com/records/reasoning/math-type-graph.md) and before [Analysis](https://banes-lab.com/records/reasoning/math-type-analysis.md).

## Contracts

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

## Math domains

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

## Math type of

- [Structure](https://banes-lab.com/records/reasoning/node-ont-structure.md)
- [Structural Analysis](https://banes-lab.com/records/reasoning/node-ana-structural.md)
- [Symbolic Representation](https://banes-lab.com/records/reasoning/node-rep-symbolic.md)
- [Formal Structure](https://banes-lab.com/records/reasoning/node-for-structure.md)
- [Structure](https://banes-lab.com/records/reasoning/substrate-node-structure.md)

## Linked from

- [Agent workflow](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-workflow.md)
- [Anti-patterns](https://banes-lab.com/ontology/algorithms/algorithms-domain-anti-patterns.md)
- [Architecture](https://banes-lab.com/ontology/algorithms/algorithms-domain-architecture.md)
- [Architecture relationships](https://banes-lab.com/ontology/algorithms/algorithms-domain-arch-relationships.md)
- [Centralization](https://banes-lab.com/ontology/algorithms/algorithms-domain-centralization.md)
- [Checklist creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-checklist-creation.md)
- [Test coverage](https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md)
- [Pattern distillation](https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md)
- [CSS cascade](https://banes-lab.com/ontology/algorithms/algorithms-domain-css-cascade.md)
- [Taxonomy](https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md)
- [The substrate](https://banes-lab.com/ontology/reasoning/the-substrate.md)
- [The nodes](https://banes-lab.com/ontology/reasoning/the-nodes.md)
- [The maps](https://banes-lab.com/ontology/reasoning/the-maps.md)