Decidable (= separable) objects and morphisms in lextensive categories

DOI10.1016/0022-4049(95)00110-7zbMath0858.18004OpenAlexW2029888576MaRDI QIDQ1916429

Aurelio Carboni, George Janelidze

Publication date: 25 March 1997

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(95)00110-7

zbMATH Keywords

topoifinite coveringextensive categoryseparable algebraslextensive categorydecidable objectspath-lifting property

Mathematics Subject Classification ID

Topoi (18B25) Categorical methods in general topology (54B30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Galois theory and commutative ring extensions (13B05)

Related Items (8)

Unnamed Item ⋮ Van Kampen theorems for categories of covering morphisms in lextensive categories ⋮ Pre-rigid monoidal categories ⋮ Separable MV-algebras and lattice-ordered groups ⋮ THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES ⋮ When do completion processes give rise to extensive categories? ⋮ A characterisation of the category of compact Hausdorff spaces ⋮ New wide classes of weakly Mal'tsev categories

Cites Work

• Matrices, relations, and group representations
• Introduction to extensive and distributive categories
• Some free constructions in realizability and proof theory
• Separable algebras over commutative rings
• Quotients of decidable objects in a topos
• Finiteness and decidability: II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidable (= separable) objects and morphisms in lextensive categories