158b3419d5516t0518g30 510 512 algebra algèbrehomologique algèbresnonassociatives analysecombinatoire categories(mathematics) combinatorialanalysis computablefunctions congresses differentialequations functionalanalysis functortheory galoiscohomology hopfalgebras kk-theory kleenealgebra mathematics modeltheory monoids nonassociativealgebras partial qa320