The bilinear product category (Q1073171)

Duality theorems have been investigated categorically using closed categories or triples, by several authors in the early seventies. Considering that closed categories are not as common as one could hope the author defines a more external construction, the bilinear product category, which enables him to define bilinear maps involving objects from poorly related categories. Let \(\sigma\) : \({\mathcal A}\to {\mathcal C}\) and \(\tau\) : \({\mathcal T}\to {\mathcal C}\) be functors. A fibre object for (\(\sigma\),\(\tau)\) is an ordered pair (A,T) such that \(A\in Ob({\mathcal A})\), \(T\in Ob({\mathcal T})\) and \(\sigma A=\tau T\). Let \({\mathcal C}\) be a category with finite products and P an object which satisfies the following conditions: 1. P is a generator of \({\mathcal C}\). 2. There is a natural epimorphism \(m: 1_{{\mathcal C}}\to L_ P\) where \(L_ P\) is the left multiplication by P. If \({\mathcal A}\) and \({\mathcal T}\) are categories and \(\sigma\) : \({\mathcal A}\to {\mathcal C}\), \(\tau\) : \({\mathcal T}\to {\mathcal C}\) are faithful functors, we choose a fibre object \(E=(^*E,E^*)\) for (\(\sigma\),\(\tau)\) denoting by E the object \(\sigma^*E=\tau E^*.\) Definition. The bilinear product category of \({\mathcal A}\) and \({\mathcal T}\) with respect to \(\sigma\), \(\tau\) and E is the category \({\mathcal B}_ E({\mathcal A},{\mathcal T})\) with objects of the form (A,e,T) where \(A\in Ob({\mathcal A})\), \(T\in Ob({\mathcal T})\) and \(e\in {\mathcal C}(\sigma A\times \tau T,E)\) satisfies the following properties: 1. For every \(a\in {\mathcal C}(P,\sigma A)\) there is a (unique) \(e_ a\in {\mathcal T}(T,E^*)\) such that \(\tau (e_ a)=e(a\times 1)m: \tau T\to E\). 2. For every \(t\in {\mathcal C}(P,\tau T)\) there is a (unique) \(e_ t\in {\mathcal A}(A,^*E)\) such that \(\sigma (e_ t)=e(1\times t)n: \sigma A\to E\). Morphisms and composition are defined suitably. Many of the dualities resolve through bilinear product categories.