000			03224cam a2200517Ia 4500
001			ocn316569193
003			OCoLC
005			20141103172225.0
006			m o d
007			cr cn|||||||||
008			090320s1990 ne a o 001 0 eng d
040			_aOPELS _beng _cOPELS _dOPELS _dOCLCQ _dOCLCF _dOCLCO _dDEBBG _dUIU
020			_z9780444703682
020			_z0444703683
029	1		_aNZ1 _b15193373
029	1		_aDEBBG _bBV036962834
029	1		_aDEBSZ _b407394516
035			_a(OCoLC)316569193
037			_a121616:124350 _bElsevier Science & Technology _nhttp://www.sciencedirect.com
050		4	_aQA169 _b.F73 1989eb
082	0	4	_a511.3 _222
049			_aTEFA
100	1		_aFreyd, Peter J.
245	1	0	_aCategories, allegories _h[electronic resource] / _cPeter J. Freyd, Andre Scedrov.
260			_aAmsterdam ; _aNew York : _bNorth-Holland ; _aNew York, NY, U.S.A. : _bSole distributors for the U.S.A. and Canada, Elsevier Science Pub., _cc1990.
300			_a1 online resource (xvii, 296 p.) : _bill.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aNorth-Holland mathematical library ; _vv. 39
520			_aGeneral concepts and methods that occur throughout mathematics & ndash; and now also in theoretical computer science & ndash; are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further. The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
500			_aIncludes index.
588			_aDescription based on print version record.
650		0	_aCategories (Mathematics)
650		0	_aAllegories (Mathematics)
650		7	_aCat�egories (Math�ematiques) _2ram
650		7	_aAllegories (Mathematics) _2fast _0(OCoLC)fst00805515
650		7	_aCategories (Mathematics) _2fast _0(OCoLC)fst00849000
655		4	_aElectronic books.
700	1		_a�S�cedrov, Andrej, _d1955-
776	0	8	_iPrint version: _aFreyd, Peter J. _tCategories, allegories. _dAmsterdam ; New York : North-Holland ; New York, NY, U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., c1990 _z0444703683 _z9780444703682 _w(DLC) 89008823 _w(OCoLC)19921836
830		0	_aNorth-Holland mathematical library ; _vv. 39.
856	4	0	_3ScienceDirect _uhttp://www.sciencedirect.com/science/book/9780444703682
942			_cEB
994			_aC0 _bTEF
999			_c21784 _d21784