Cofibrations in the bicategory of topoi (Q790926): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 12:05, 30 January 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