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 1709
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
15
votes
Categorical foundations without set theory
Yes, you can do category theory without set theory. A category can easily be expressed in first order logic, like metacategories in MacLane's book. However, there are many concepts in category theor …
- 1,292
7
votes
measure spaces as presheaves?
In Johnstone's book "Topos theory" there is an interesting example of a topos based on a measure space, see 6.62(ii). If $(X,\Sigma,\mu)$ is a measure space, then the site consists of the poset $\Sig …
- 1,292
6
votes
How can category theory help my research in set theory?
One reason why category theory has not been too successful when dealing with set theory is due to the fact that set functions do not preserve most of the structure of a set. By this I mean that funct …
- 1,292