| 1. Domain | 1.1 Scope of the Domain | Boundaries | The range of phenomena the science includes and excludes. | Studies spaces up to continuous deformation (homotopy); includes homotopy classes of maps, fundamental group, higher homotopy groups, fibrations, cofibrations, homotopy equivalences, CW-complexes, spectra, stable homotopy theory. Excludes point-set topology not relevant to homotopy invariants and geometric structures requiring rigid metrics or smoothness. |
| | Scale | The spatial, temporal, or organizational level at which the science operates (e.g., quantum, cellular, social, cosmic). | Operates across local-to-global deformation scales: from paths to loops to higher-dimensional spheres; from finite CW-complexes to infinite spectra; from unstable to stable homotopy ranges. |
| 1.2 Ontological Commitments | Entities | The kinds of things assumed to exist within the domain (particles, organisms, agents, fields, etc.). | Spaces, paths, homotopies, loops, spheres (S^n), homotopy classes ([X,Y]), fibrations, cofibrations, homotopy fibers, CW-complexes, spectra, stable homotopy types. |
| | Properties | The fundamental attributes these entities possess (mass, charge, genotype, preference, etc.). | Homotopy invariance, contractibility, connectivity, fundamental group behavior, higher homotopy groups, long exact sequences, lifting properties, stability phenomena. |
| | Categories | The basic ontological types used to classify domain elements (substances, processes, relations, structures). | CW-complexes, path spaces, loop spaces ((\Omega X)), suspension spaces ((\Sigma X)), fibrations/cofibrations, homotopy categories, stable homotopy categories, spectra, pointed vs. unpointed spaces. |
| 1.3 State-Variables | Variables | The measurable or definable properties that describe system conditions. | Homotopy classes of maps, basepoints, dimension level (n) for (\pi_n), cell structures, fibration/cofibration sequences, stabilization level, connectivity degree. |
| | Parameterization | How variables encode and represent the system’s state. | Encoded via homotopies, cell attachments, fibration diagrams, exact sequences, suspension/loop operators, spectrum-indexing, connectivity and skeleton filtrations. |
| 1.4 Admissible Idealizations | Simplifications | Conceptual reductions used to make the domain tractable (point masses, rational agents, perfect gases). | Assuming CW-structure exists; working with nice categories (compactly generated, Hausdorff); treating spaces as cofibrant/fibrant; assuming fibrations satisfy lifting properties; using stable range approximations. |
| | Validity Conditions | The limits and contexts in which idealizations hold or break down. | Break down for arbitrary wild spaces, non-Hausdorff or non-locally contractible spaces, failure of lifting properties, unstable phenomena outside stable range, missing CW-approximations. |
| 1.5 Domain Assumptions | Structural Assumptions | Background ontological stances such as determinism, continuity, randomness, discreteness. | Assumes continuity of homotopies; applicability of CW-approximation; validity of long exact sequences; well-behaved loop/suspension adjunctions; existence of model categories supporting homotopy. |
| | Implicit Commitments | Unstated but necessary assumptions that shape the field’s conceptual structure. | Assumes deformation captures “essential” topology; homotopy equivalence is the correct notion of sameness; stable phenomena reflect true underlying structure; cell decompositions sufficiently represent spaces. |
| 1.6 Internal Coherence Requirements | Consistency | The demand that domain concepts do not contradict one another. | Requires coherence of homotopy definitions; compatibility of fibrations/cofibrations with homotopy lifting; consistency of long exact sequences; stability of invariants across models. |
| | Compatibility | The requirement that entities, variables, and assumptions fit together into a unified descriptive framework. | Requires alignment among homotopy groups, fibrations, cofibrations, suspensions, loop spaces, CW-structures, and categorical models (model categories, (\infty)-categories). |
| 2. Evidence Layer | 2.1 Observable Phenomena | Observables | The aspects of the domain that can produce detectable signals accessible to measurement. | Behavior of paths, loops, homotopies, homotopy classes, fiber-sequence structure, long exact sequence patterns, suspension stability. |
| | Detection Limits | The boundaries of what can be resolved or sensed by current instruments or methods. | Sequences cannot detect higher homotopy; homotopy cannot detect metric or smooth features; CW-structure needed to expose invariants; unstable range hides deeper structure. |
| 2.2 Measurement Systems | Units | Standardized quantifications (meters, seconds, volts, decibels, dollars, etc.) necessary for consistent comparison. | Homotopy-group values (\pi_n(X)); connectivity degree; cell dimensions; spectrum indices; lengths/positions in long exact sequences. |
| | Instruments | Devices and tools (microscopes, spectrometers, sensors, surveys, detectors) used to produce measurements. | Homotopies, mapping cylinders, loop/suspension functors, fibrations, cofibrations, CW-approximations, spectral sequences, Postnikov towers. |
| 2.3 Operational Definitions | Definitions | Terms defined by specific measurement procedures, ensuring empirical clarity. | Homotopy, homotopy equivalence, loop space, suspension, fibration, cofibration, homotopy groups, Postnikov invariants, spectra. |
| | Procedures | The explicit steps required to perform a measurement in a reproducible way. | Constructing homotopies; computing homotopy groups; forming long exact sequences; attaching cells; building mapping cylinders; constructing Postnikov towers; stabilizing via suspension. |
| 2.4 Data Acquisition | Protocols | Formal processes for gathering data under controlled or standardized conditions. | Building CW models; forming fibration/cofibration sequences; generating spectral sequences; constructing homotopy pushouts/pullbacks; sampling maps between spaces. |
| | Sampling | Rules determining which subset of the domain is measured and how representative it is. | Sampling loops; sampling sphere maps; sampling attaching maps; sampling fibers of fibrations; sampling Postnikov stages and skeletal filtrations. |
| 2.5 Data Character & Format | Data Types | The form raw evidence takes (time series, spectra, images, counts, qualitative records). | Long exact sequences, tables of (\pi_n), Postnikov invariants, spectral-sequence pages, fibration diagrams, CW-skeleton charts, spectra indices. |
| | Resolution | The granularity or precision with which data is captured. | Determined by skeleton depth, sphere dimension in (\pi_n), number of Postnikov stages, refinement of spectral sequences, stable-range precision. |
| 2.6 Reliability & Calibration | Calibration | Adjustment procedures ensuring instruments produce accurate results. | Verifying lifting properties; checking exactness in homotopy sequences; confirming CW-approximations; validating Postnikov invariants; calibrating spectral-sequence convergence. |
| | Error Characterization | Identification and quantification of noise, uncertainty, bias, and measurement error. | Incorrect homotopy-group computations; failed lifts; broken exact sequences; wrong attaching maps; misread spectral-sequence differentials; incorrect stable/unstable classification. |
| 3. Structural Layer | 3.1 Patterns & Regularities | Laws / Relations | Stable, repeatable patterns governing how observables behave across conditions. | Homotopy invariance of constructions; long exact sequences of homotopy groups; loop–suspension adjunction; stability under suspension; fibration/cofibration homotopy-lifting laws. |
| | Invariants | Quantities or properties that remain constant under transformations (symmetries, conservation laws). | Homotopy groups (\pi_n); connectivity; homotopy type; Postnikov invariants; stable homotopy groups; Whitehead torsion; mapping-degree invariants. |
| 3.2 Causal Architecture | Mechanisms | Underlying processes or structures that produce the observed regularities. | Fibration mechanisms generating long exact sequences; lifting mechanisms defining homotopy extension; cell-attachment mechanisms influencing homotopy groups; stabilization mechanisms via suspension. |
| | Pathways | Organized sequences of interactions forming a causal chain or network. | Fibration/cofibration sequences; CW-skeleton attachments; loop/suspension iteration pathways; Postnikov tower pathways; spectral-sequence filtration pathways. |
| 3.3 Theoretical Vocabulary | Concepts | Core terms that encode the domain’s structure (force, gene, equilibrium, field). | Homotopy, homotopy equivalence, loop space (\Omega X), suspension (\Sigma X), fibration, cofibration, exact sequences, Postnikov towers, spectra, stable homotopy, H-spaces. |
| | Classifications | Taxonomies, categories, or typologies that organize entities and relations. | Simply connected vs. non-simply connected; n-connected spaces; CW-complex types; stable vs. unstable phenomena; classification via Postnikov invariants; classes of fibrations/cofibrations. |
| 3.4 Formal Representations | Equations | Mathematical constructs expressing laws, relations, or mechanisms. | Long exact sequence equations; loop–suspension adjunction formulas; fibration/cofibration exactness relations; homotopy-group definitions; spectral-sequence (E_r) page relations. |
| | Models | Structured representations—mathematical, computational, or conceptual—used to predict and explain phenomena. | CW-complex models; loop-space models; suspension models; Postnikov stage models; fibration diagrams; spectra representing cohomology theories; model-category presentations. |
| 3.5 Idealized Structures | Simplified Models | Purposeful abstractions that capture essential dynamics while omitting irrelevant detail. | Spheres and basic CW-complexes; contractible spaces; wedges of spheres; simplified Postnikov fragments; idealized fibrations; stable-range approximations. |
| | Limit Conditions | Regimes where specific models or approximations hold (classical vs. quantum, linear vs. nonlinear). | Failures in non-CW spaces; breakdown of lifting properties; instability outside the stable range; spectral-sequence divergence; inability to classify wild spaces via homotopy invariants. |
| 3.6 Integrative Frameworks | Unifying Theories | Higher-order structures that connect disparate laws or mechanisms under a coherent whole. | Loop–suspension theory; stable homotopy theory; model-category homotopy frameworks; Postnikov decomposition; spectral-sequence integration; (\infty)-categorical homotopy theory. |
| | Interdisciplinary Links | Points where the theory connects to adjacent sciences or larger explanatory systems. | Links to algebraic topology (cohomology, homology), higher-category theory, differential topology (smooth structure via homotopy type), mathematical physics (topological field theories), and geometry (fiber bundles). |
| 4. Method Layer | 4.1 Inquiry Design | Experimental Design | Structured plans for manipulating variables to test causal claims. | Varying CW-structures, adjusting attaching maps, modifying fibrations/cofibrations, altering suspension/loop levels, and choosing different skeletal filtrations to test homotopy behavior. |
| | Observational Design | Systematic approaches for gathering non-manipulated data (surveys, field studies, natural experiments). | Observing homotopy behavior without modifying structure: tracking loop-space phenomena, watching long exact sequences evolve, observing stability, and examining Postnikov invariants across existing models. |
| 4.2 Testing & Validation | Hypothesis Testing | Procedures for evaluating whether evidence supports or contradicts specific claims. | Testing lifting properties in fibrations; checking exactness of long exact sequences; verifying homotopy equivalences; testing connectivity claims; validating Postnikov decomposition accuracy; testing stabilization behavior. |
| | Replication | The requirement that results be independently reproducible under similar conditions. | Recomputing homotopy groups from multiple fibrations; repeating exact-sequence derivations; replicating cell attachments; re-running spectral sequences; confirming stable results across suspensions. |
| 4.3 Inference & Evaluation | Statistical Inference | Rules for drawing conclusions from noisy or incomplete data. | Logical analogues: analyzing homotopy-group growth, comparing stability ranges, evaluating convergence of spectral sequences, examining Postnikov-stage refinement, assessing consistency across multiple resolutions. |
| | Model Comparison | Criteria (fit, simplicity, predictive accuracy, robustness) used to evaluate competing models. | Comparing CW-models of the same space; comparing fibrations with different bases/fibers; comparing unstable vs. stable invariants; evaluating spectra representing the same cohomology theory; comparing Postnikov towers. |
| 4.4 Error Management | Error Analysis | Identification and quantification of random and systematic errors. | Incorrect lifting in fibrations; wrong homotopy-group calculations; broken exact sequences; misidentified attaching maps; spectral-sequence differential errors; incorrect stable/unstable classification. |
| | Bias Control | Methods for minimizing subjective, instrumental, or procedural biases. | Avoiding bias from “nice” CW-structures; preventing reliance on low-dimensional examples; avoiding under-sampling of higher homotopy groups; ensuring fibrations chosen are representative; avoiding premature stabilization. |
| 4.5 Adjudication & Revision | Peer Scrutiny | Collective evaluation of claims through critique, review, and debate. | Independent checking of homotopy-group computations, fibration/cofibration proofs, long exact sequences, spectral-sequence arguments, Postnikov tower correctness, and model-category constructions. |
| | Theory Revision | Procedures for modifying, replacing, or discarding models based on new evidence. | Updating Postnikov descriptions; refining CW-decompositions; improving fibrations/cofibrations; revising spectral-sequence calculations; modifying stable homotopy frameworks when counterexamples arise. |
| 4.6 Integrity Conditions | Transparency | Requirements to disclose methods, data, assumptions, and limitations. | Full disclosure of chosen CW-structures, attaching maps, basepoints, fibration/cofibration assumptions, spectral-sequence conventions, stabilization criteria, and model-category replacements. |
| | Ethical Standards | Norms ensuring responsible conduct in experimentation, data handling, and publication. | Accurate reporting of computations; honest declaration of unstable behaviors; avoidance of overstating homotopy equivalences; proper attribution of classical and modern homotopy results. |