Decidable (= separable) objects and morphisms in lextensive categories
type: Item
instance of: scholarly article
title: Decidable (= separable) objects and morphisms in lextensive categories
zbMATH Open document ID: 0858.18004
DOI: 10.1016/0022-4049(95)00110-7
author: A. Carboni
author: George Janelidze
published in: Journal of Pure and Applied Algebra
publication date: 1997-03-25T00:00:00Z
review text: In a category \({\mathcal C}\) with finite limits and finite sums which are disjoint and universal [a lextensive category in the sense of \textit{A. Carboni}, \textit{S. Lack} and \textit{R. F. C. Walters}, J. Pure Appl. Algebra 84, No. 2, 145-158 (1993; Zbl 0784.18001)], the authors provide an extensive study of, in topos-theoretic terminology, decidable objects, i.e., of those objects \(D\) whose diagonal \(D\to D \times D\) is a coproduct injection, and of decidable morphisms, i.e., of decidable objects in the slices of the category \({\mathcal C}\). In the opposite of the category of commutative rings, \(f:A \to B\) is decidable iff \(A\) is a separable \(B\)-algebra. Like topoi [cf. \textit{M. Barr} and \textit{R. Diaconescu}, Cah. Topologie Géom. Différ. 22, 301-314 (1981; Zbl 0472.18002)], lextensive categories allow for the definition of finite covering, and the authors give a powerful characterization of those decidable morphisms with connected codomains which are finite coverings. They apply this result to two fundamental cases; for \({\mathcal C}\) the opposite of the category of commutative rings, it provides a simple proof of the fact that so-called strongly separable algebras are finite coverings in \({\mathcal C}\); for \({\mathcal C}\) the category \textit{étale}\((B)\) it gives the classical topological result that a local homeomorphism \(f:A \to B\) of connected Hausdorff spaces is a finite covering in the classical sense if \(B\) is path-connected, \(f\) has the path-lifting property, and at least one fibre of \(f\) is compact.
reviewed by: Walter Tholen
Mathematics Subject Classification ID: 18A30
Mathematics Subject Classification ID: 13B05
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 54B30
zbMATH DE Number: 896573
zbMATH Keywords: extensive category
zbMATH Keywords: lextensive category
zbMATH Keywords: decidable objects
zbMATH Keywords: topoi
zbMATH Keywords: finite covering
zbMATH Keywords: separable algebras
zbMATH Keywords: path-lifting property
MaRDI profile type: Publication
full work available at URL: 0022-4049(95)00110-7
OpenAlex ID: W2029888576
cites work: Q3871059
cites work: Q3926769
cites work: Matrices, relations, and group representations
cites work: Some free constructions in realizability and proof theory
cites work: Introduction to extensive and distributive categories
cites work: Separable algebras over commutative rings
cites work: Q4432162
cites work: Q3978974
cites work: Q4026898
cites work: Quotients of decidable objects in a topos
cites work: Finiteness and decidability: II
cites work: Q3978964
cites work: Q3139897
cites work: Q3978988
cites work: Q3137167
Recommended article: Hausdorff separations and decidability
Recommended article: Van Kampen theorems for categories of covering morphisms in lextensive categories
Recommended article: Factorizations, denseness, separation, and relatively compact objects
Recommended article: A characterization of the left exact categories whose exact completions are toposes
Recommended article: Covers in finitely accessible categories
Recommended article: A categorical guide to separation, compactness and perfectness
Recommended article: On Finitary Functors
Recommended article: Localisations of locally presentable categories. II
Recommended article: Q4258021
Recommended article: Q4342440
description: scientific article; zbMATH DE number 896573