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 6153
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
12
votes
Tensor product and category theory
My view of the pedagogy, based on teaching this to second year undergraduates at Cambridge.
The tensor product of vector spaces is defined by generators and relations. Also generators and relations, …
- 12.6k
10
votes
A category with objects that are not based on sets or classes
The free topos (rather over the top, but still). See the book of Lambek and Scott. In categorical logic and the computer science associated to functional programming, the issue is really the other way …
- 12.6k
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 …
2
votes
Categorical construction of the category of schemes?
The answer to the main question is undoubtedly "yes". I think there are going to be two lots of literature about this, one coming direct from the Grothendieck school (probably somewhere in the Demazur …
- 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