claim-boundary · CB-CONT-REP

Continuation Is Not Representability

canonical-boundary transport representability profunctor

Overview

Coherent admissible continuation may be intrinsically distributor-valued. Ordinary functorial transport is recovered only when coherent representability is separately proved.

Archive note

This page is generated from the typed archive record. See the source manuscript and related entries for the full argument and its scope.

Bidirectional research graph

Where this object sits in the mathematics

Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.

Open full research graph →

Points to

Bounded by