Talk:Envelope (category theory)