Coherence Carried by Its Fillers: Admissible Squier Certificates for Oriented Higher Rewri

A theoretical dataset concerning admissible Squier certificates for oriented higher rewriting systems. The dataset was authored by Richard Goodman of IAOM and was last updated on July 11, 2026. Its specific content and structure are described by the title, but detailed metadata is limited.

Use Cases

• Formal verification of coherence conditions based on the concept of admissible Squier certificates.
• Analysis of higher-dimensional rewriting paths as suggested by the title's focus on oriented higher rewriting.
• Theoretical research into the structure of fillers in higher category theory, as indicated by the phrase 'Coherence Carried by Its Fillers'.

Strengths

• Dataset has a specific author (Richard Goodman) and affiliated organization (IAOM).
• A precise last update timestamp is provided: 2026-07-11 22:40:28.

Limitations

• Description metadata is limited; actual data quality requires manual inspection after download.
• Column-level documentation is absent; field semantics must be inferred after download.
• Row count and file format are unknown, which may limit suitability assessment.

Provenance

Source

IAOM, via the Dataverse platform.

Freshness

Last updated 2026-07-11 22:40:28; freshness should be verified.