TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

A | |

A-infinity-(co)algebras | |

Adjunctions | |

Associative operad | |

B | |

Backus FP | |

bicategories | |

Braidings | |

Buchberger algorithm | |

C | |

Cartesian Monoids | |

Categorification | |

Chinese monoids | |

coherence | |

coherent presentations | |

Combinatorics | |

Confluence and Standardization | |

cross-section property | |

E | |

Eckmann-Hilton morphism | |

F | |

formalization | |

H | |

Higher dimensional linear rewriting | |

Homological algebra | |

Homotopical algebra | |

I | |

isotopy | |

L | |

Linear categories | |

Linear polygraphs | |

M | |

Minimal models | |

monoidal categories | |

multicategories | |

multitope | |

N | |

normal forms | |

O | |

Operad | |

opetope | |

P | |

polycategories | |

polygraph | |

polygraphs | |

R | |

Rewrite system | |

rewriting | |

S | |

Simulation of Turing Machines | |

strictification | |

string data structures | |

string diagram | |

Sylleptic categories | |

T | |

termination | |

Tree | |

W | |

Weak omega category theory | |

weak units |