Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can all non-concrete categories be constructed by taking a concrete category and identifying some of its morphisms?


share|cite|improve this question
Or rather: Given any category, can we find a suitable concrete category such that ... Personally, I doubt that. – Hagen von Eitzen Dec 4 '12 at 10:06
All small categories are concrete. Categories that fail to be locally small cannot possibly be quotients of concrete categories, but it is possible to obtain non-locally-small categories by localising concrete categories. – Zhen Lin Dec 4 '12 at 10:33

The answer to this question is Yes you can. The relevant paper is Ludek Kucera, Every category is a factorization of a concrete one, Journal of Pure and Applied Algebra, Volume 1, Issue 4, December 1971, Pages 373-376. You may read the paper here: .

However, this is a formal construction that does not seem to be of much use in concrete problems (such as working in homotopy theory). Also this used the axiom of class choice in Godel-Bernays-Von von neumann set theory.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.