Welcome to MathOverflow

Question

7

4

Is there a functor that preserves all small limits but not a large one?

flag	asked Jul 26 2010 at 12:13 Amadeus 131●5

I did not know that some limits are small and some are large. – Wadim Zudilin Jul 26 2010 at 12:48

1

"small" refers to the index category of the diagram; this should be small (in the sense that its object class is a set). – Martin Brandenburg Jul 26 2010 at 13:00

1

By the way, I've never seen so far a large limit which exists and does not restrict somehow to a small limit. – Martin Brandenburg Jul 26 2010 at 13:02

Tom Goodwillie · Accepted Answer · 2010-07-26 16:26:48Z UTC

17

Let's try this. I'll use colimits, so take the opposite.

The class of all ordinals is ordered. Add one more element $\infty$ at the end, bigger than all of them. View this "large ordered set" as a large category $\cal C$. A small diagram in $\cal C$ has colimit $\infty$ if $\infty$ occurs in the diagram, and otherwise it has a colimit less than $\infty$. But the large diagram consisting of everything except $\infty$ has colimit $\infty$. The functor to the ordered set $\lbrace 0<1\rbrace$ that sends $\infty$ to $1$ and everything else to $0$ preserves small colimits but not all colimits.

answered Jul 26 2010 at 16:26

Tom Goodwillie
26.6k●2●58●110

	1+. Nice example. Somehow it is 'generic'. – Martin Brandenburg Jul 26 2010 at 17:03
	Yes. First I tried to come up with a clever counterexample, but then I found this instructive one instead. – Tom Goodwillie Jul 27 2010 at 0:57
	Sweet, didn't know there's such a simple example. To Tom Goodwillie and Martin Brandenburg, why do so many people use proper class? I follow MacLane's method and think of small being an element of a fixed universe U, and large as a set that's not in U. They are all "sets" in this way, and the class of all ordinals can be interpreted as the set of all small ordinals. If you insist on using proper class, how can you construct functor categories like Set^Set? My set theory is very weak but I'm pretty sure talking about Set^Set is like talking about the power class of the class of all sets. – Amadeus Jul 27 2010 at 4:32

Preservation of limits

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.