bio | website | maths.mq.edu.au/~slack |
---|---|---|
location | Sydney, Australia | |
age | ||
visits | member for | 3 years, 11 months |
seen | Jun 4 '13 at 12:16 | |
stats | profile views | 608 |
Sep 17 |
awarded | Nice Answer |
Jul 17 |
awarded | Nice Answer |
Mar 16 |
awarded | Enlightened |
Mar 16 |
awarded | Nice Answer |
Nov 16 |
awarded | Yearling |
Jun 25 |
awarded | ct.category-theory |
Jun 25 |
awarded | Revival |
Mar 11 |
comment |
Why do filtered colimits commute with finite limits?
Thanks, Dylan. I agree that J being filtered will have to be used. But what properties of Set should be used? |
Nov 19 |
awarded | Necromancer |
Nov 16 |
awarded | Yearling |
Oct 25 |
awarded | Popular Question |
Aug 10 |
awarded | Good Question |
Feb 14 |
awarded | Critic |
Jan 15 |
awarded | Necromancer |
Jan 11 |
answered | Topos associated to a category |
Jan 10 |
comment |
Finitary mono preserving functors on varieties that fail to preserve intersections.
An empty intersection of subobjects is the whole object, so is always preserved. The example I gave involved failure to preserve a binary intersection. Perhaps it would be helpful if you explained what you were really after. |
Jan 10 |
comment |
Finitary mono preserving functors on varieties that fail to preserve intersections.
Rob, I'm not sure quite what this means. I take it that the modified version sends everything to 1? In that case the empty set will no longer possess an algebra structure. |
Jan 9 |
comment |
Finitary mono preserving functors on varieties that fail to preserve intersections.
The endofunctor T of Set sending a set X to a singleton 1 if it is non-empty, and to the empty set 0 if it is empty preserves monomorphisms, since it sends every map to a monomorphism. But it does not preserve the intersection of the two maps from a singleton 1 to a two-element set 2. |
Nov 17 |
awarded | Yearling |
Jun 11 |
comment |
Classification of Quasi-topoi
it extends to Grothendieck toposes; not sure about more generally than that. |