Skip to main content
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
Search options questions only not deleted user 101848
3 votes
1 answer
139 views

Ind-completion commutes with category product

$\iota_\C:\C\to\ind(\C)$ is an ind-completion. Moreover, a quasi-inverse to $\iota_{\C,*}$ as in \eqref{fun} is given by $\iota_\C^\dagger$. Proof. …
Elías Guisado Villalgordo's user avatar
6 votes
2 answers
348 views

Is the ind-completion of a triangulated category triangulated?

Here $\alpha:\K_S\to\ind(\K)$ is the canonical embedding of the localization of a category into its ind-completion, see e.g. [KS, Proposition 7.4.1]. … Given a triangulated category $\K$, is there some canonical triangulated structure on its ind-completion $\ind(\K)$ turning $\K\to\ind(\K)$ into a triangulated functor? (Q2). …
Elías Guisado Villalgordo's user avatar