Category talk:Axiomatic quantum field theory