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 higher-category-theory
Search options not deleted
user 294858
For questions involving one or more categorical dimensions, or involving homotopy coherent categorical structures.
6
votes
Accepted
Can every weighted colimit in a $\mathbf{Pos}$-enriched category be rephrased as a conical c...
Consider the terminal object $1\in\mathbf{Pos}$.
Then the closure of $1$ in $\mathbf{Pos}$ under all weighted colimits is $\mathbf{Pos}$ itself: If $X\in\mathbf{Pos}$, then $X\cong X\cdot 1$ is the co …
- 499
4
votes
Classification of absolute 2-limits?
A 2-category is Cauchy complete (in the sense you describe) if and only if idempotents splits, which is, if and only if its underlying ordinary category is Cauchy complete.
This holds more generally i …
- 499