天庭的四大金刚和佛教道教的四大金刚是不是同一批人

不是
天庭的四大天王和佛教道教的四大金刚不是同一批人，具体区别如下3：
所属宗教体系不同
天庭四大天王 ：属于道教体系，是天庭的安保力量，负责看守天庭四大天门（东、南、西、北天门），在《西游记》中与玉帝、老君等天庭神祇并列。
佛教四大金刚 ：属于佛教体系，是如来佛祖的四大护法神，专司护法职责，如五台山秘魔岩神通广大泼法金刚、峨眉山清凉洞法力无量胜至金刚等。
职能与定位差异
天庭四大天王主要承担天界秩序维护任务，是道教神话中的重要神祇。
佛教四大金刚则是佛教信仰中的护法象征，具有明确的护法职能，与佛教教义和修行密切相关。
文化融合背景
四大天王原为印度教概念，后随佛教传入中国，并与本土道教文化融合，形成了天庭四大天王这一独特形象。
佛教四大金刚则直接保留了印度教起源的护法职能，未受道教体系影响。
综上，两者虽名称相似，但分属不同宗教体系，职能和文化背景均存在显著差异。