Barr's Embedding Theorem for Enriched Categories
arXiv:0903.1173
Abstract
We generalize Barr's embedding theorem for regular categories to the context of enriched categories.
11 pages
arXiv:0903.1173
We generalize Barr's embedding theorem for regular categories to the context of enriched categories.
11 pages