Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

I came across the notion of inductive limits in C*-algebras, where they exist. Except for the category of finite sets, what are natural examples of categories which fail to have inductive limits?

share|cite|improve this question
I guess examples like "a non-complete boolean algebra considered as a category" don't count for you either? Obviously, categories with all (co)limits are nice, and one tries to avoid studying categories which are not nice. – Zhen Lin Mar 16 '12 at 20:54
Since your question is tagged functional analysis: The categories of Banach/Fréchet/Hilbert spaces with bounded linear maps or separable $C^\ast$-algebras or general Banach algebras would be natural examples. – t.b. Mar 16 '12 at 20:58
@Zhen: from an analytic perspective completeness is often a bit too much to ask for and I insist that the categories I mentioned are nice and natural. :) – t.b. Mar 16 '12 at 21:00
The category of fields doesn't have coproducts, much less arbitrary direct limits. – SL2 Mar 16 '12 at 21:01
Thank you for your comments. – user26770 Mar 17 '12 at 16:19

The comments contain the following examples:

  • A non-complete Boolean algebra considered as a category;
  • The category of Banach/Fréchet/Hilbert spaces with bounded linear maps as morphisms;
  • Categories of separable $C^*$-algebras and Banach algebras;
  • The category of fields.
share|cite|improve this answer

Your Answer


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