Preprint / scholarly article

Natural Language as Preimage, Formal Semantics as Image

K. Takahashi

Published
DOI
10.5281/zenodo.17547803

Abstract

The bridge is right-written with composition expressed as g after f and is Sup-enriched, enabling explicit bookkeeping of strong vs (op)lax transport with falsifiable audit tags.

Keywords

  • AI
  • large language models
  • language
  • category theory
  • enriched categories
  • kan extension
  • cech nerve
  • natural language to constraints

Identifiers and source records