Preprint / scholarly article

Comparative Universes

K. Takahashi

Published
DOI
10.5281/zenodo.17317567

Abstract

This preprint introduces a typed framework for comparing and composing mathematical universes through admissible translations and explicit comparison data. It studies local gluing, path aggregation, attenuation, and base-change rules in quantaloid-valued settings.

Keywords

  • category theory
  • enriched category theory
  • quantaloid
  • quantales
  • double categories
  • proarrow equipment
  • čech gluing
  • promonoidal weights
  • weighted limits
  • attenuation
  • first-step masked bound
  • non-dominance criterion

Identifiers and source records