Vollständigkeitseigenschaften freier Colimes-Komplettierungen. (Completeness properties of free colimit completions)
type: Item
instance of: scholarly article
title: Vollständigkeitseigenschaften freier Colimes-Komplettierungen. (Completeness properties of free colimit completions)
zbMATH Open document ID: 0582.18003
DOI: 10.1007/BF01193685
author: Helmut Weberpals
published in: Archiv der Mathematik
publication date: 1986-01-01T00:00:00Z
review text: If \(C\) is a category with finite limits, then Ind-\(C\), its completion with respect to filtered colimits, has finite limits, too. To prove this \textit{A. Grothendieck} and \textit{J. L. Verdier} [Préfaisceaux (SGA 4, No.1), (Lect. Notes Math. 269) (1972; Zbl 0249.18021)] as well as \textit{E. Artin} and \textit{B. Mazur} [Etale homotopy (Lect. Notes Math. 100) (1969; Zbl 0182.260)] constructed an equivalence between \([X,Ind-C]\) and Ind-\([X,C]\), provided X is a ''rigid'' finite category, i.e. X has no endomorphisms but the identities. For \(\Delta\) a regular class of colimits in the sense of \textit{P. Gabriel} and \textit{F. Ulmer} [Lokal präsentierbare Kategorien (Lect. Notes Math. 221) (1971; Zbl 0225.18004)], let \(L(\Delta)\) be the class of limits such that in Sets, L(\(\Delta)\)-limits and \(\Delta\)-colimits commute. The present paper generalizes the above result: If \(C\) is a category with \(L(\Delta)\)-limits, then \(K_{\Delta}(C)\), its completion with respect to \(\Delta\)-colimits, has L(\(\Delta)\)-limits, too. In particular, for \(\alpha\) any regular cardinal and C a category with \(\alpha\)-small limits, the completion with respect to \(\alpha\)-filtered colimits has \(\alpha\)-small limits; and for \(\Delta\) the class of arbitrary coproducts, \(K_{\Delta}(C)\) has connected limits provided C has them. In this latter case, however, for \(X=\cdot \begin{matrix} \to \\ \to \end{matrix} \cdot\) the categories \([X,K_{\Delta}(C)]\) and \(K_{\Delta}([X,C])\) fail to be equivalent.
Mathematics Subject Classification ID: 18A35
Mathematics Subject Classification ID: 18A30
zbMATH DE Number: 3931228
zbMATH Keywords: completion of categories
zbMATH Keywords: finite limits
zbMATH Keywords: filtered colimits
zbMATH Keywords: \(L(\Delta)\)-limits
MaRDI profile type: Publication
cites work: Lokal präsentierbare Kategorien. (Locally presentable categories)
cites work: Q5639839
cites work: Q3874381
cites work: Q5666704
cites work: Vertauschbarkeit von Limites und Colimites
cites work: Über einen Satz von Gabriel zur Charakterisierung regulärer Colimites
full work available at URL: https://doi.org/10.1007/bf01193685
OpenAlex ID: W2005945707
description: scientific article; zbMATH DE number 3931228