Mathematics – Category Theory
Scientific paper
2010-04-07
Mathematics
Category Theory
32 pages
Scientific paper
We introduce homotopical methods based on rewriting on higher-dimensional categories to prove coherence results in categories with an algebraic structure. We express the coherence problem for (symmetric) monoidal categories as an asphericity problem for a track category and we use rewriting methods on polygraphs to solve it. The setting is extended to more general coherence problems, seen as 3-dimensional word problems in a track category, including the case of braided monoidal categories.
Guiraud Yves
Malbos Philippe
No associations
LandOfFree
Coherence in monoidal track categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Coherence in monoidal track categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coherence in monoidal track categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-396956