Fibre bundles in general categories
type: Item
instance of: scholarly article
title: Fibre bundles in general categories
zbMATH Open document ID: 0665.18009
DOI: 10.1016/0022-4049(89)90059-5
published in: Journal of Pure and Applied Algebra
publication date: 1989-01-01T00:00:00Z
review text: This article indicates how one can effectively describe the notion of fiber bundle in any category with finite inverse limits. This description revolves around the notion of a pregroupoid structure on a map \(\pi\) : \(X\to B\). Pregroupoids arise from groupoids and also include frame bundles and the universal covering space of a given space. In order to have a good theory of fiber bundles, the notion of descent map is needed. A regular pregroupoid is given by \(\pi\) : \(X\to B\), where \(\pi\) and \(X\to 1\) are descent maps. Given this descent data, one can associate a group \(X_*\) and a groupoid \(X^*\) which act fiberwise on \(X\to B\) on the right and left, respectively. These actions lead to an equivalence of the category of regular pregroupoids over B with the category of regular principal homogeneous group actions \(X\times G\to X\) with X/G\(\simeq B\). Furthermore, the fiber bundles over X can be viewed in terms of either \(X_*\) or \(X^*\) actions and this relationship is analyzed in detail. The final section of the paper applies these considerations to the category of locales. It should be pointed out that the constructions in this paper have been refined and developed further by the author to allow for describing ``generalized'' fiber bundles [Lect. Notes 1348, 194-207 (1988; Zbl 0657.18007)]. These generalizations provide a framework for discussing foliations and their holonomy groupoids.
Mathematics Subject Classification ID: 18F15
zbMATH DE Number: 4087892
zbMATH Keywords: fiber bundle
zbMATH Keywords: category with finite inverse limits
zbMATH Keywords: pregroupoid structure
zbMATH Keywords: frame bundles
zbMATH Keywords: universal covering space
zbMATH Keywords: descent map
zbMATH Keywords: category of regular pregroupoids
zbMATH Keywords: category of regular principal homogeneous group actions
zbMATH Keywords: category of locales
author: Anders Kock
reviewed by: K. I. Rosenthal
MaRDI profile type: Publication
full work available at URL: 0022-4049(89)90059-5
OpenAlex ID: W2090790642
cites work: Q5605163
cites work: Q5521308
cites work: Q3965241
cites work: An extension of the Galois theory of Grothendieck
cites work: Monomorphisms, Epimorphisms, and Pull-Backs
cites work: Q3667051
cites work: Combinatorial notions relating to principal fibre bundles
cites work: Q3204651
Recommended article: Q3804883
Recommended article: Fibration in groupoid enriched category
Recommended article: Q3441462
Recommended article: Fibrations of groupoids
Recommended article: Principal bundle groupoids, their gauge group and their nerve
Recommended article: Q5121796
Recommended article: Construction of categorical bundles from local data
Recommended article: Smooth almost \(\Delta \)-bundles over polyhedrons
Recommended article: Q3675223
description: scientific article; zbMATH DE number 4087892