違いを除いて
数学におけるモノイド圏（モノイドけん、; モノイド的圏、モノイダル圏）あるいはテンソル圏（テンソルけん、）は、（自然同型の違いを除いて結合的な と、 について（再び自然同型の違いを除いて）左および右単位元となる対象 を備えた圏 である。この圏における自然同型は、関連する全ての図式を可換にすることを保証した（一貫性条件、整合条件）に従わなければならない。したがって、モノイド圏は抽象代数におけるモノイドの圏論的な緩い類似物である。