lock, shock and barrel talk about category theory