inclusion functor of FinSet into Top
up vote
3
down vote
favorite
I was reading Codensity and Stone spaces by Andrei Sipos where the author defines an inclusion functor from FinSet to Top without (or perhaps I missed it) specifying the topological structure we would endow on finite sets. Does any one know if there is a canonical choice of topological structure associated with a given finite set?
category-theory
edited Nov 20 at 21:03
Derek Elkins
15.9k11336
asked Nov 20 at 20:48
discretizer
1277
add a comment |
up vote
3
down vote
favorite
I was reading Codensity and Stone spaces by Andrei Sipos where the author defines an inclusion functor from FinSet to Top without (or perhaps I missed it) specifying the topological structure we would endow on finite sets. Does any one know if there is a canonical choice of topological structure associated with a given finite set?
category-theory
edited Nov 20 at 21:03
Derek Elkins
15.9k11336
asked Nov 20 at 20:48
discretizer
1277
4
The discrete topology is standard. It's the only Hausdorff one, at least.
– anomaly
Nov 20 at 20:52
Probably the discrete topology, but I can't say for sure
– Max
Nov 20 at 20:53
1
@anomaly thanks! The observation that only the discrete topology is helpful! Since the claim is the algebra category associated with the induced codensity monad given by the inclusion functor from FinSet into Top is the category of Stone spaces, the Hausdorff structure is probably necessary.
– discretizer
Nov 20 at 21:01
@Max thanks a lot!
– discretizer
Nov 20 at 21:02
add a comment |
up vote
3
down vote
favorite
up vote
3
down vote
favorite
I was reading Codensity and Stone spaces by Andrei Sipos where the author defines an inclusion functor from FinSet to Top without (or perhaps I missed it) specifying the topological structure we would endow on finite sets. Does any one know if there is a canonical choice of topological structure associated with a given finite set?
category-theory
edited Nov 20 at 21:03
Derek Elkins
15.9k11336
asked Nov 20 at 20:48
discretizer
1277
I was reading Codensity and Stone spaces by Andrei Sipos where the author defines an inclusion functor from FinSet to Top without (or perhaps I missed it) specifying the topological structure we would endow on finite sets. Does any one know if there is a canonical choice of topological structure associated with a given finite set?
category-theory
category-theory
edited Nov 20 at 21:03
Derek Elkins
15.9k11336
asked Nov 20 at 20:48
discretizer
1277
edited Nov 20 at 21:03
Derek Elkins
15.9k11336
asked Nov 20 at 20:48
discretizer
1277
edited Nov 20 at 21:03
Derek Elkins
15.9k11336
edited Nov 20 at 21:03
Derek Elkins
15.9k11336
edited Nov 20 at 21:03
Derek Elkins
15.9k11336
15.9k11336
asked Nov 20 at 20:48
discretizer
1277
asked Nov 20 at 20:48
discretizer
1277
asked Nov 20 at 20:48
discretizer
1277
1277
4
The discrete topology is standard. It's the only Hausdorff one, at least.
– anomaly
Nov 20 at 20:52
Probably the discrete topology, but I can't say for sure
– Max
Nov 20 at 20:53
1
@anomaly thanks! The observation that only the discrete topology is helpful! Since the claim is the algebra category associated with the induced codensity monad given by the inclusion functor from FinSet into Top is the category of Stone spaces, the Hausdorff structure is probably necessary.
– discretizer
Nov 20 at 21:01
@Max thanks a lot!
– discretizer
Nov 20 at 21:02
add a comment |
4
The discrete topology is standard. It's the only Hausdorff one, at least.
– anomaly
Nov 20 at 20:52
Probably the discrete topology, but I can't say for sure
– Max
Nov 20 at 20:53
1
@anomaly thanks! The observation that only the discrete topology is helpful! Since the claim is the algebra category associated with the induced codensity monad given by the inclusion functor from FinSet into Top is the category of Stone spaces, the Hausdorff structure is probably necessary.
– discretizer
Nov 20 at 21:01
@Max thanks a lot!
– discretizer
Nov 20 at 21:02
4
4
The discrete topology is standard. It's the only Hausdorff one, at least.
– anomaly
Nov 20 at 20:52
The discrete topology is standard. It's the only Hausdorff one, at least.
– anomaly
Nov 20 at 20:52
Probably the discrete topology, but I can't say for sure
– Max
Nov 20 at 20:53
Probably the discrete topology, but I can't say for sure
– Max
Nov 20 at 20:53
1
1
@anomaly thanks! The observation that only the discrete topology is helpful! Since the claim is the algebra category associated with the induced codensity monad given by the inclusion functor from FinSet into Top is the category of Stone spaces, the Hausdorff structure is probably necessary.
– discretizer
Nov 20 at 21:01
@anomaly thanks! The observation that only the discrete topology is helpful! Since the claim is the algebra category associated with the induced codensity monad given by the inclusion functor from FinSet into Top is the category of Stone spaces, the Hausdorff structure is probably necessary.
– discretizer
Nov 20 at 21:01
@Max thanks a lot!
– discretizer
Nov 20 at 21:02
@Max thanks a lot!
– discretizer
Nov 20 at 21:02
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3006868%2finclusion-functor-of-finset-into-top%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
4
The discrete topology is standard. It's the only Hausdorff one, at least.
– anomaly
Nov 20 at 20:52
Probably the discrete topology, but I can't say for sure
– Max
Nov 20 at 20:53
1
@anomaly thanks! The observation that only the discrete topology is helpful! Since the claim is the algebra category associated with the induced codensity monad given by the inclusion functor from FinSet into Top is the category of Stone spaces, the Hausdorff structure is probably necessary.
– discretizer
Nov 20 at 21:01
@Max thanks a lot!
– discretizer
Nov 20 at 21:02