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 3154
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
11
votes
Programming Languages Based on Category Theory
All of the answers so far are based on Cartesian closed categories. There are a few languages based on Cartesian categories, which reject use of higher-order functions in the base language:
The key …
7
votes
Accepted
Is there a relationship between model theory and category theory?
Between model theory and category theory broadly conceived: not anything really compelling, because a category, on its own, does not stand as an interpretation for anything.
Between model theory and …
- 2,283
3
votes
Accepted
Can infinite first-order categories be specified other than as categories of models?
Sure, by direct construction. Rings, preorders, the category of paths of a given graph, etc. But that's not what you wanted to know, is it?
- 2,283