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 topos-theory
Search options not deleted
user 6153
A topos is a category that behaves very much like the category of sets and possesses a good notion of localization. Related to topos are: sheaves, presheaves, descent, stacks, localization,...
4
votes
Topos theory reference suitable for undergraduates
Introduction to Higher Order Categorical Logic by Joachim Lambek and P. J. Scott. Try Google Books for this. The point of view is much more suitable for the functional programming aspects, even though …
4
votes
Stone Spaces, Locales, and Topoi for the (relative) beginner
The texts by Vickers and Johnstone are rather different, and certainly are different in intention. I was struck by a remark made to me by a leading computer scientist, to the effect that Stone Spaces …
- 12.6k
15
votes
Au revoir, law of excluded middle?
I don't know whether this will be helpful, but here goes. There used to be things called the "Laws of Thought", and they used to be equated (tendentiously) with sort-of axioms for rationality, when "a …
- 12.6k
0
votes
Lattice of subcategories: subobject classifier in Cat
Special cases being the submonoids of a monoid, and suborders of a partial order. What would one expect to be a common generalisation of those two, that was of interest? All one really asks for is a c …
- 12.6k