**Next:**Terminal Object

**Up:**Appendix

**Previous:**Monoidal Category

#

*-Category

**Definition 2.4**

*A *-category is a category in which for each morphisms there is associated a morphism such that the following are satisfied*

Cecilia Flori 2006-11-19