Verfügbarkeit: Accessible categories | Technische Universität München

Accessible categories: the foundations of categorical model theory

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Makkai, Michael (VerfasserIn), Paré, Robert (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Providence, R.I. American Mathematical Society 1989
Schriftenreihe:	Contemporary mathematics 104
Schlagwörter:	Kategorie > Mathematik Modelltheorie Kategorientheorie
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001936089&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	VIII, 176 S.
ISBN:	082185111X

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV003087764
003	DE-604
005	20090317
007	t\|
008	900809s1989 xx \|\|\|\| 00\|\|\| engod
020			\|a 082185111X \|9 0-8218-5111-X
035			\|a (OCoLC)260184807
035			\|a (DE-599)BVBBV003087764
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-12 \|a DE-384 \|a DE-739 \|a DE-355 \|a DE-29T \|a DE-19 \|a DE-188
084			\|a SI 805 \|0 (DE-625)143193: \|2 rvk
100	1		\|a Makkai, Michael \|e Verfasser \|4 aut
245	1	0	\|a Accessible categories \|b the foundations of categorical model theory \|c Michael Makkai ; Robert Paré
264		1	\|a Providence, R.I. \|b American Mathematical Society \|c 1989
300			\|a VIII, 176 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Contemporary mathematics \|v 104
650	0	7	\|a Kategorie \|g Mathematik \|0 (DE-588)4129930-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modelltheorie \|0 (DE-588)4114617-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kategorientheorie \|0 (DE-588)4120552-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a Kategorie \|g Mathematik \|0 (DE-588)4129930-9 \|D s
689	0	1	\|a Modelltheorie \|0 (DE-588)4114617-7 \|D s
689	0		\|5 DE-604
689	1	0	\|a Modelltheorie \|0 (DE-588)4114617-7 \|D s
689	1	1	\|a Kategorientheorie \|0 (DE-588)4120552-2 \|D s
689	1		\|5 DE-604
700	1		\|a Paré, Robert \|e Verfasser \|4 aut
830		0	\|a Contemporary mathematics \|v 104 \|w (DE-604)BV000003365 \|9 104
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001936089&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-001936089

Datensatz im Suchindex

_version_	1819351537384685568
adam_text	Contents Introduction 1 Chapter 1 Preliminaries §1.1. K filtered colimits 11 §1.2. K flat functors 14 Chapter 2 Accessible categories and functors §2.1. /c accessible categories 17 §2.2. Small categories and accessibility 20 §2.3. Raising the index of accessibility 22 §2.4. Accessible functors 31 §2.5. An equivalent definition of accessibility 34 Chapter 3 Sketches and logic §3.1. Sketches 39 §3.2. Logic 42 §3.3. The downward Lowenheim Skolem theorem 53 §3.4. Examples 57 Chapter 4 Sketching accessible categories §4.1. Preliminaries on 2 categories 67 §4.2. The canonical sketch associated with a rc accessible category . . 81 §4.3. Small sketches for an accessible category 86 §4.4. Diagrams of accessible categories and diagrams of sketches ... 91 §4.5. Axiomatizing an accessible subcategory 95 Chapter 5 Limits and Colimits of accessible categories §5.1. Colimits of sketches and Limits of accessible categories .... 97 §5.2. Some results concerning Grothendieck toposes 107 §5.3. Accessible fibrations 113 §5.4. Lax Colimits of accessible categories 122 §5.5. The powerful image of an accessible functor 138 Chapter 6 Limits and colimits in accessible categories §6.1. Completeness and cocompleteness in accessible categories . . . 141 §6.2. Models of a sketch in an accessible category 146 §6.3. Detectability of colimits 153 §6.4. Completing an accessible category 160 vii viii CONTENTS References 165 Index 167 Glossary of notation 173
any_adam_object	1
author	Makkai, Michael Paré, Robert
author_facet	Makkai, Michael Paré, Robert
author_role	aut aut
author_sort	Makkai, Michael
author_variant	m m mm r p rp
building	Verbundindex
bvnumber	BV003087764
classification_rvk	SI 805
ctrlnum	(OCoLC)260184807 (DE-599)BVBBV003087764
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01734nam a2200421 cb4500</leader><controlfield tag="001">BV003087764</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090317 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">900809s1989 xx \|\|\|\| 00\|\|\| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">082185111X</subfield><subfield code="9">0-8218-5111-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)260184807</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003087764</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 805</subfield><subfield code="0">(DE-625)143193:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Makkai, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Accessible categories</subfield><subfield code="b">the foundations of categorical model theory</subfield><subfield code="c">Michael Makkai ; Robert Paré</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, R.I.</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 176 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Contemporary mathematics</subfield><subfield code="v">104</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Paré, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Contemporary mathematics</subfield><subfield code="v">104</subfield><subfield code="w">(DE-604)BV000003365</subfield><subfield code="9">104</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001936089&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001936089</subfield></datafield></record></collection>
id	DE-604.BV003087764
illustrated	Not Illustrated
indexdate	2024-12-20T07:58:35Z
institution	BVB
isbn	082185111X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-001936089
oclc_num	260184807
open_access_boolean
owner	DE-12 DE-384 DE-739 DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-188
owner_facet	DE-12 DE-384 DE-739 DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-188
physical	VIII, 176 S.
publishDate	1989
publishDateSearch	1989
publishDateSort	1989
publisher	American Mathematical Society
record_format	marc
series	Contemporary mathematics
series2	Contemporary mathematics
spellingShingle	Makkai, Michael Paré, Robert Accessible categories the foundations of categorical model theory Contemporary mathematics Kategorie Mathematik (DE-588)4129930-9 gnd Modelltheorie (DE-588)4114617-7 gnd Kategorientheorie (DE-588)4120552-2 gnd
subject_GND	(DE-588)4129930-9 (DE-588)4114617-7 (DE-588)4120552-2
title	Accessible categories the foundations of categorical model theory
title_auth	Accessible categories the foundations of categorical model theory
title_exact_search	Accessible categories the foundations of categorical model theory
title_full	Accessible categories the foundations of categorical model theory Michael Makkai ; Robert Paré
title_fullStr	Accessible categories the foundations of categorical model theory Michael Makkai ; Robert Paré
title_full_unstemmed	Accessible categories the foundations of categorical model theory Michael Makkai ; Robert Paré
title_short	Accessible categories
title_sort	accessible categories the foundations of categorical model theory
title_sub	the foundations of categorical model theory
topic	Kategorie Mathematik (DE-588)4129930-9 gnd Modelltheorie (DE-588)4114617-7 gnd Kategorientheorie (DE-588)4120552-2 gnd
topic_facet	Kategorie Mathematik Modelltheorie Kategorientheorie
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001936089&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000003365
work_keys_str_mv	AT makkaimichael accessiblecategoriesthefoundationsofcategoricalmodeltheory AT parerobert accessiblecategoriesthefoundationsofcategoricalmodeltheory

Verfügbarkeit

‌

Inhaltsverzeichnis