FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ABCEFHILMNOPRSTW
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