The connection is that the functor U^n is representable, being represented by the free object F[n]=R[x 1,…,x n], so that a natural transformation U^n→U is canonically identified with a transformation hom(R[x 1,…,x n],−)→U or to an element of UR[x 1,…,x n].
What the chain says
- Block
- 658 774
- Time
- 2020-10-28T03:04:28Z
- Signer
- 1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#7453
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ Verified