Cofibrations in the bicategory of topoi (Q790926): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(84)90016-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2041754115 / rank | |||
Normal rank |
Revision as of 22:52, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cofibrations in the bicategory of topoi |
scientific article |
Statements
Cofibrations in the bicategory of topoi (English)
0 references
1984
0 references
Within a bicategory H it is possible to define which spans are cofibrations and which are codiscrete. If H admits certain universal constructions and these are well-behaved then codiscrete cofibrations between objects of H become the arrows of a bicategory M. When H is the bicategory of hom-enriched categories over a given base where the arrows of H are enriched functors, codiscrete cofibrations amount to modules (profunctors), and cofibrations amount to ''gamuts''; that is, normal morphisms of bicategories from the ordered set 3 into M [the reviewer, Cah. Topologie Géom. Différ. 21, 111-159 (1980; Zbl 0436.18005)]. The present paper starts with the bicategory H of topoi and geometric morphisms and shows that codiscrete cofibrations in H are left-exact functors between topoi. Also it is shown that cofibrations in this H are gamuts in the resultant M.
0 references
proarrows
0 references
bicategory
0 references
cofibrations
0 references
codiscrete
0 references
gamuts
0 references
topoi
0 references
left- exact functors
0 references