## *-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