Skip to main content
added 8 characters in body; edited title
Source Link

What's the point of Why do we need filtered categories to index ind-objects?

Sorry forI edited the stupid titlequestion in view of several helpful replies (thanks). When

When we define ind-objects in a category, we use in general filtered diagrams in a category, not just sequences $A_1 \rightarrow A_2 \rightarrow A_3 \dots$ indexed by the integers. Why? More generally, if one wants a "bigger" limit, we could look at diagrams indexed by an ordinal.

I'm not doubtingIs there is a good reason. What I would really like is some "weird" examplessimple example of filtered categories to keep in my mind, which behave very differently to the positive integers as a directed set.an ind-object that can't be indexed by an ordinal?

What's the point of filtered categories?

Sorry for the stupid title. When we define ind-objects in a category, we use in general filtered diagrams in a category, not just sequences $A_1 \rightarrow A_2 \rightarrow A_3 \dots$ indexed by the integers. Why?

I'm not doubting there is a good reason. What I would really like is some "weird" examples of filtered categories to keep in my mind, which behave very differently to the positive integers as a directed set.

Why do we need filtered categories to index ind-objects?

I edited the question in view of several helpful replies (thanks).

When we define ind-objects in a category, we use in general filtered diagrams in a category, not just sequences $A_1 \rightarrow A_2 \rightarrow A_3 \dots$ indexed by the integers. More generally, if one wants a "bigger" limit, we could look at diagrams indexed by an ordinal.

Is there a simple example of an ind-object that can't be indexed by an ordinal?

Post Made Community Wiki by Todd Trimble
edited title
Link

What's the point of cofilteredfiltered categories?

Source Link

What's the point of cofiltered categories?

Sorry for the stupid title. When we define ind-objects in a category, we use in general filtered diagrams in a category, not just sequences $A_1 \rightarrow A_2 \rightarrow A_3 \dots$ indexed by the integers. Why?

I'm not doubting there is a good reason. What I would really like is some "weird" examples of filtered categories to keep in my mind, which behave very differently to the positive integers as a directed set.