Hostname: page-component-8678677fb7-9r95c Total loading time: 0 Render date: 2026-10-23T06:00:55.498Z Has data issue: false hasContentIssue false

Simply Connected Limits

Published online by Cambridge University Press:  20 November 2018

Robert Paré*
Affiliation:
Department of Mathematics, Statistics and Computing Science, Dalhousie University, Halifax, N.S., B3H 3J5
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

The importance of finite limits in completeness conditions has been long recognized. One has only to consider elementary toposes, pretoposes, exact categories, etc., to realize their ubiquity. However, often pullbacks suffice and in a sense are more natural. For example it is pullbacks that are the essential ingredient in composition of spans, partial morphisms and relations. In fact the original definition of elementary topos was based on the notion of partial morphism classifier which involved only pullbacks (see [6]). Many constructions in topos theory, involving left exact functors, such as coalgebras on a cotriple and the gluing construction, also work for pullback preserving functors. And pullback preserving functors occur naturally in the subject, e.g. constant functors and the Σα. These observations led Rosebrugh and Wood to introduce partial geometric morphisms; functors with a pullback preserving left adjoint [9]. Other reasons led Kennison independently to introduce the same concept under the name semi-geometric functors [5].

Keywords

Information

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1990