A category is $\mathbf{J}$-complete?

35 Views Asked by At

Let $\mathbf{C}$ be a category and $\mathbf{J}$ be an index category. What does it mean to say that $\mathbf{C}$ is $\mathbf{J}$-complete? Is it just saying that all $\mathbf{J}$ shaped diagrams in $\mathbf{C}$ have a limit?

1

There are 1 best solutions below

0
On BEST ANSWER

Yes, this is exactly what it means. A category is $\mathbf{J}$-complete when it has all $\mathbf{J}$-shaped limits.