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$
Chinese Seal on silk painting - what does it mean?
Does lack of seasonality imply random time series?
AppleTVs create a chatty alternate WiFi network
Should I follow up with an employee I believe overracted to a mistake I made?
When a candle burns, why does the top of wick glow if bottom of flame is hottest?
Source for Esri sample data from 911 Hot Spot Analysis
Using et al. for a last / senior author rather than for a first author
Is there hard evidence that the grant peer review system performs significantly better than random?
What is the appropriate index architecture when forced to implement IsDeleted (soft deletes)?
How often does castling occur in grandmaster games?
How to install press fit bottom bracket into new frame
Using audio cues to encourage good posture
A term for a woman complaining about things/begging in a cute/childish way
Why aren't air breathing engines used as small first stages?
What would you call this weird metallic apparatus that allows you to lift people?
Drawing without replacement: why the order of draw is irrelevant?
Multiple OR (||) Conditions in If Statement
How can I reduce the gap between left and right of cdot with a macro?
Should I use a zero-interest credit card for a large one-time purchase?
As a beginner, should I get a Squier Strat with a SSS config or a HSS?
Effects on objects due to a brief relocation of massive amounts of mass
How come Sam didn't become Lord of Horn Hill?
Crossing US/Canada Border for less than 24 hours
How fail-safe is nr as stop bytes?
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
