Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0546.18004
MacDonald, John; Stone, Arthur
Topoi over graphs. (English)
[J] Cah. Topol. Géom. Différ. 25, 51-62 (1984). ISSN 1245-530X

{\it A. Burroni} [ibid. 22, 249-265 (1981; Zbl 0497.18004)] and subsequently {\it E. J.Dubuc} and {\it G. M. Kelly} [J. Algebra 81, 420- 433 (1983; Zbl 0516.18009)] have shown that the forgetful functor from the category of toposes and (strictly) logical functors to the category of directed graphs is monadic. The goal of the present paper is to give an explicit presentation of the former over the latter by operations and equations; there are 21 operations and 67 equations.
[P.T.Johnstone]

MSC 2000:: *18C15 Triples
18B25 Topoi
18A10 Generalizations of the notion of category

Keywords: monadic functor; explicit presentation by operations and equations; forgetful functor; category of toposes; logical functors; category of directed graphs

Citations: Zbl 0497.18004; Zbl 0516.18009

Cited in: Zbl 0956.18001

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]