Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with ct.category-theory
Search options not deleted
user 54548
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
3
votes
Accepted
Profinite completion of a partial order
Let $\mathbf{Po}$ be the category of posets with monotone maps, $\mathbf{PrSp}$ the category of Priestley spaces. Then let $U:\mathbf{PrSp}\to \mathbf{Po}$ be the forgetful functor. The profinite comp …
- 161
3
votes
1
answer
315
views
Profinite completion of a partial order
In Johnstone's Stone Spaces it is proved that the category of profinite partial orders is (equivalent to) the category of ordered Stone spaces (also called Priestley spaces) and that the obvious embed …
- 161