No title
This paper concerns the proper definition of embeddings in purely category-theoretical terms. It is argued that plain category theory cannot capture what, in the general case, constitutes an embedding of one structure in another. We discuss three available solutions to this problem: variants of monics, concrete categories, and allegories. The first and last of these are found to be unable to solve
