MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

In “Arbib, Manes. Arrows, Structures and Functors. The Categorical Imperative. 6. Structured sets.” there is an approach to formalize structures. I have a strong feeling that they describe just concrete categories in other words. For a concrete category $(C, U)$, the set of structures on a set $X$ (this is Arbib, Manes's term) is $(fr\\_ob(U))^{-1}(X)$ where $fr\\_ob(U)$ is a mapping of $U$ on objects. Similarly, the set of admissible functions $A\to B$ (for $A\ B\in ob(C)$) is $im(fr\\_hom(U)(A, B))$ where $fr\\_hom(U)$ is a mapping of $U$ on morphisms.

If I am on the right track, what do other parts of Arbib, Manes's theory (e.g. optimal lifts) correspond to?

(Please add the tag “concrete-category” to this question.)

share|cite|improve this question
The "ct.x" style tags are reserved for arXiv subjects. – Qiaochu Yuan Sep 13 '11 at 16:18
@Qiaochu Yuan: Thanks, I did not know that. I have removed “ct.”. – beroal Sep 16 '11 at 18:18

Your Answer


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

Browse other questions tagged or ask your own question.