Categorical semantics
From LLWiki
(Difference between revisions)
(biblio) |
|||
| Line 2: | Line 2: | ||
== Categories recalled == |
== Categories recalled == |
||
| + | See <ref>{{BibEntry|bibtype=book|author=MacLane, Saunders|title=Categories for the Working Mathematician|publisher=Springer Verlag,year=1971,volume=5,series=Graduate Texts in Mathematics}}</ref>for a more detailed introduction to category theory. |
||
=== Monoidal categories === |
=== Monoidal categories === |
||
| Line 25: | Line 26: | ||
commute. |
commute. |
||
}} |
}} |
||
| + | |||
| + | == References == |
||
| + | <references /> |
||
Revision as of 18:01, 23 March 2009
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.
