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 46003
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
11
votes
Accepted
Product of topological spaces and product of corresponding locales
Your map $f$ is known to be an injective dense localic map. See, for example, Proposition 4.2.2 in [1]. In general, it isn't an isomorphism. The reason for this is that $\Omega(X \times_t Y)$ is quoti …
- 621
17
votes
Accepted
Combination topological space and locale?
The proper term is topological system as found in Vickers' book Topology via Logic. Vickers actually uses precisely your expanded definition.
What you call "topological" Vickers calls "spatial" and y …
- 621
8
votes
Big list of comonads
The so-called game comonads have been recently studied in the context of finite model theory. The main references are the following:
Samson Abramsky, Anuj Dawar, and Pengming Wang. "The pebbling como …