Searching for "G-dinaturality." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Traced Premonoidal Categories
- … then tr U A,B(f;(g ⊗ U)) = tr U A,B ′(f); g : A → B Dinaturality (Sliding): If f : A ⊗ U → B ⊗ V , g : V…
- Cited by 4 (0 self) – Add To MetaCart
-
Towards a typed geometry of interaction
- … – Dinaturality in U: For any f : X ⊗ U → Y ⊗ U ′ , g : U ′ → U, (1Y ⊗ g)f ∈ T U X,Y iff f(1X ′ U ⊗ g) ∈ TX…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 2.
