*-Category


Next: Terminal Object Up: Appendix Previous: Monoidal Category


*-Category

Definition 2.4   A *-category is a category in which for each morphisms $ f:a\rightarrow b$ there is associated a morphism $ f^*:b\rightarrow a$ such that the following are satisfied
  • $ 1^*_a=1_a$
  • $ (fg)^*=g^*f^*$
  • $ f^{**}=f$



Cecilia Flori 2006-11-19