What is the topology associated with the algebras for the ultrafilter monad? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Is there a way to make tangent bundle a monad?Coproducts and pushouts of Boolean algebras and Heyting algebrasProof of theorems in the field of banach-and $c^*$-algebras in a categorial languageEpimorphisms of locally compact spacesThis is just the Eilenberg-Moore category, right?Which spaces can be used as “test spaces” for the Stone-Čech compactification?What is the opposite category of $operatornameTop$?Finitely presentable objects and the Kleisli categoryultrafilter convergence versus non-standard topologyMorita theory for algebras for a monad $T$
How to tell that you are a giant?
Why is my ESD wriststrap failing with nitrile gloves on?
Generate an RGB colour grid
A term for a woman complaining about things/begging in a cute/childish way
Why wasn't DOSKEY integrated with COMMAND.COM?
How to write this math term? with cases it isn't working
Most bit efficient text communication method?
Should I follow up with an employee I believe overracted to a mistake I made?
How does the math work when buying airline miles?
What are the out-of-universe reasons for the references to Toby Maguire-era Spider-Man in Into the Spider-Verse?
How come Sam didn't become Lord of Horn Hill?
The code below, is it ill-formed NDR or is it well formed?
Why doesn't SQL Optimizer use my constraint?
Does the Weapon Master feat grant you a fighting style?
Do I really need to have a message in a novel to appeal to readers?
Export Xpubkey from Bitcoin Core
Time to Settle Down!
SF book about people trapped in a series of worlds they imagine
How can I reduce the gap between left and right of cdot with a macro?
Why do we need to use the builder design pattern when we can do the same thing with setters?
Multiple OR (||) Conditions in If Statement
How do I use the new nonlinear finite element in Mathematica 12 for this equation?
Is grep documentation about ignoring case wrong, since it doesn't ignore case in filenames?
What is the appropriate index architecture when forced to implement IsDeleted (soft deletes)?
What is the topology associated with the algebras for the ultrafilter monad?
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Is there a way to make tangent bundle a monad?Coproducts and pushouts of Boolean algebras and Heyting algebrasProof of theorems in the field of banach-and $c^*$-algebras in a categorial languageEpimorphisms of locally compact spacesThis is just the Eilenberg-Moore category, right?Which spaces can be used as “test spaces” for the Stone-Čech compactification?What is the opposite category of $operatornameTop$?Finitely presentable objects and the Kleisli categoryultrafilter convergence versus non-standard topologyMorita theory for algebras for a monad $T$
$begingroup$
It is easy to find references stating that the category of compact Hausdorff spaces $mathbfCompHaus$ is equivalent to the category of algebras for the ultrafilter monad, $mathbfbeta Alg$. After doing some digging, the $mathbfCompHausto mathbfbeta Alg$ half of the equivalence is simple enough, but I haven't been able to find a description of the $mathbfbeta Algto mathbfCompHaus$ half of this equivalence. I have tried to work it out, but I have little experience with topological spaces and am not sure what the associated topology ought to look like.
I'm wondering if anyone has a good reference that describes the $mathbfbeta Algto mathbfCompHaus$ half of the equivalence, or can describe it here.
general-topology category-theory
asked 2 hours ago
Malice VidrineMalice Vidrine
6,34121123
$endgroup$
add a comment |
$begingroup$
It is easy to find references stating that the category of compact Hausdorff spaces $mathbfCompHaus$ is equivalent to the category of algebras for the ultrafilter monad, $mathbfbeta Alg$. After doing some digging, the $mathbfCompHausto mathbfbeta Alg$ half of the equivalence is simple enough, but I haven't been able to find a description of the $mathbfbeta Algto mathbfCompHaus$ half of this equivalence. I have tried to work it out, but I have little experience with topological spaces and am not sure what the associated topology ought to look like.
I'm wondering if anyone has a good reference that describes the $mathbfbeta Algto mathbfCompHaus$ half of the equivalence, or can describe it here.
general-topology category-theory
asked 2 hours ago
Malice VidrineMalice Vidrine
6,34121123
$endgroup$
add a comment |
$begingroup$
It is easy to find references stating that the category of compact Hausdorff spaces $mathbfCompHaus$ is equivalent to the category of algebras for the ultrafilter monad, $mathbfbeta Alg$. After doing some digging, the $mathbfCompHausto mathbfbeta Alg$ half of the equivalence is simple enough, but I haven't been able to find a description of the $mathbfbeta Algto mathbfCompHaus$ half of this equivalence. I have tried to work it out, but I have little experience with topological spaces and am not sure what the associated topology ought to look like.
I'm wondering if anyone has a good reference that describes the $mathbfbeta Algto mathbfCompHaus$ half of the equivalence, or can describe it here.
general-topology category-theory
asked 2 hours ago
Malice VidrineMalice Vidrine
6,34121123
$endgroup$
It is easy to find references stating that the category of compact Hausdorff spaces $mathbfCompHaus$ is equivalent to the category of algebras for the ultrafilter monad, $mathbfbeta Alg$. After doing some digging, the $mathbfCompHausto mathbfbeta Alg$ half of the equivalence is simple enough, but I haven't been able to find a description of the $mathbfbeta Algto mathbfCompHaus$ half of this equivalence. I have tried to work it out, but I have little experience with topological spaces and am not sure what the associated topology ought to look like.
I'm wondering if anyone has a good reference that describes the $mathbfbeta Algto mathbfCompHaus$ half of the equivalence, or can describe it here.
general-topology category-theory
general-topology category-theory
asked 2 hours ago
Malice VidrineMalice Vidrine
6,34121123
asked 2 hours ago
Malice VidrineMalice Vidrine
6,34121123
asked 2 hours ago
Malice VidrineMalice Vidrine
6,34121123
asked 2 hours ago
Malice VidrineMalice Vidrine
6,34121123
asked 2 hours ago
Malice VidrineMalice Vidrine
6,34121123
6,34121123
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The other half of the equivalence is described on the nLab page on ultrafilters.
Given an algebra structure $xicolon beta X to X$, we define the topology on $X$ by declaring that a subset $Usubseteq X$ is open if and only if for every point $xin U$ and every ultrafilter $Fin beta X$ such that $xi(F) = x$, we have $Uin F$.
answered 2 hours ago
Alex KruckmanAlex Kruckman
28.8k32758
$endgroup$
$begingroup$
Of course I looked at precisely the wrong nLab pages to answer my question :P Thanks!
$endgroup$
– Malice Vidrine
1 hour ago
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
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%2f3192728%2fwhat-is-the-topology-associated-with-the-algebras-for-the-ultrafilter-monad%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The other half of the equivalence is described on the nLab page on ultrafilters.
Given an algebra structure $xicolon beta X to X$, we define the topology on $X$ by declaring that a subset $Usubseteq X$ is open if and only if for every point $xin U$ and every ultrafilter $Fin beta X$ such that $xi(F) = x$, we have $Uin F$.
answered 2 hours ago
Alex KruckmanAlex Kruckman
28.8k32758
$endgroup$
$begingroup$
Of course I looked at precisely the wrong nLab pages to answer my question :P Thanks!
$endgroup$
– Malice Vidrine
1 hour ago
add a comment |
$begingroup$
The other half of the equivalence is described on the nLab page on ultrafilters.
Given an algebra structure $xicolon beta X to X$, we define the topology on $X$ by declaring that a subset $Usubseteq X$ is open if and only if for every point $xin U$ and every ultrafilter $Fin beta X$ such that $xi(F) = x$, we have $Uin F$.
answered 2 hours ago
Alex KruckmanAlex Kruckman
28.8k32758
$endgroup$
$begingroup$
Of course I looked at precisely the wrong nLab pages to answer my question :P Thanks!
$endgroup$
– Malice Vidrine
1 hour ago
add a comment |
$begingroup$
The other half of the equivalence is described on the nLab page on ultrafilters.
Given an algebra structure $xicolon beta X to X$, we define the topology on $X$ by declaring that a subset $Usubseteq X$ is open if and only if for every point $xin U$ and every ultrafilter $Fin beta X$ such that $xi(F) = x$, we have $Uin F$.
answered 2 hours ago
Alex KruckmanAlex Kruckman
28.8k32758
$endgroup$
The other half of the equivalence is described on the nLab page on ultrafilters.
Given an algebra structure $xicolon beta X to X$, we define the topology on $X$ by declaring that a subset $Usubseteq X$ is open if and only if for every point $xin U$ and every ultrafilter $Fin beta X$ such that $xi(F) = x$, we have $Uin F$.
answered 2 hours ago
Alex KruckmanAlex Kruckman
28.8k32758
answered 2 hours ago
Alex KruckmanAlex Kruckman
28.8k32758
answered 2 hours ago
Alex KruckmanAlex Kruckman
28.8k32758
answered 2 hours ago
Alex KruckmanAlex Kruckman
28.8k32758
28.8k32758
$begingroup$
Of course I looked at precisely the wrong nLab pages to answer my question :P Thanks!
$endgroup$
– Malice Vidrine
1 hour ago
add a comment |
$begingroup$
Of course I looked at precisely the wrong nLab pages to answer my question :P Thanks!
$endgroup$
– Malice Vidrine
1 hour ago
$begingroup$
Of course I looked at precisely the wrong nLab pages to answer my question :P Thanks!
$endgroup$
– Malice Vidrine
1 hour ago
$begingroup$
Of course I looked at precisely the wrong nLab pages to answer my question :P Thanks!
$endgroup$
– Malice Vidrine
1 hour ago
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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%2f3192728%2fwhat-is-the-topology-associated-with-the-algebras-for-the-ultrafilter-monad%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
