Enriched extranaturality

symmetric monoidal category: $\mathcal{V}$
$\mathcal{V}$ -functor: $T : \mathcal{A} ^ {\operatorname{op}} \otimes \mathcal{A} \to \mathcal{B}$
$K \in \mathcal{B}$

および $\mathcal{V}$ -morphism の族:

f:id:mbps:20150326022102p:plain

について、 $\mathcal{V}$ -extranaturality とは

f:id:mbps:20150326022144p:plain

を満たすこと。

f:id:mbps:20150326022109p:plain

の場合も同様(図を反転する)。

上記のような $\beta$ をそれぞれ $\mathcal{V}$ -wedge、 $\mathcal{V}$ -cowedge と言う(言えると思う)。

上記の $\beta$ および

について

f:id:mbps:20150326022131p:plain

は $D$ について $\mathcal{V}$ -extranatural。

~~Constant $\mathcal{V}$ -functor が作れないので dinaturality に一般化できそうにない。~~