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 cartesian-closed-categories
Search options not deleted
user 152679
2
votes
About cartesian closed categories of models of a cartesian theory
I'll answer the question for algebraic theories, or Lawvere theories, which is the context in which "commutative theories" are typically discussed. This question is then the topic of Johnstone's Colla …
- 10.7k
8
votes
2
answers
303
views
When is a locally presentable category (locally) cartesian-closed?
Let $\kappa$ be a regular cardinal. A category $\mathscr C$ is locally $\kappa$-presentable iff it is the free completion of a small $\kappa$-cocomplete category under $\kappa$-filtered colimits. Is t …
- 10.7k
7
votes
2
answers
642
views
Existence of nontrivial categories in which every object is atomic
An object $X$ of a cartesian closed category $\mathbf C$ is atomic if $({-})^X \colon \mathbf C \to \mathbf C$ has a right adjoint (hence is also internally tiny). Intuitively, atomic objects are "ver …
- 10.7k