Categorical semantics
From LLWiki
Revision as of 18:01, 23 March 2009 by Samuel Mimram (Talk | contribs)
TODO: why categories? how to extract categorical models? etc.
Categories recalled
See [1]for a more detailed introduction to category theory.
Monoidal categories
Definition (Monoidal category)
A monoidal category is a category equipped with
- a functor called tensor product,
- an object I called unit object,
- three natural isomorphisms of components
called respectively associator, left unitor and right unitor,
such that
- for every objects A,B,C,D in , the diagram
commutes,
- for every objects A and B in , the diagrams
commute.
References
- ↑ MacLane, Saunders. Categories for the Working Mathematician.