FinSet

In the mathematical field of category theory, FinSet is the category whose objects are all finite sets and whose morphisms are all functions between them. FinOrd is the category whose objects are all finite ordinal numbers and whose morphisms are all functions between them.

Properties

FinSet is a full subcategory of Set, the category whose objects are all sets and whose morphisms are all functions. Like Set, FinSet is a large category.

FinOrd is a full subcategory of FinSet as by the standard definition, suggested by John von Neumann, each ordinal is the well-ordered set of all smaller ordinals. Unlike Set and FinSet, FinOrd is a small category.

FinOrd is a skeleton of FinSet. Therefore, FinSet and FinOrd are equivalent categories.

Topoi

Like Set, FinSet and FinOrd are topoi. As in Set, in FinSet the categorical product of two objects A and B is given by the cartesian product A × B, the categorical sum is given by the disjoint union A + B, and the exponential object BA is given by the set of all functions with domain A and codomain B. In FinOrd, the categorical product of two objects n and m is given by the ordinal product n · m, the categorical sum is given by the ordinal sum n + m, and the exponential object is given by the ordinal exponentiation nm. The subobject classifier in FinSet and FinOrd is the same as in Set. FinOrd is an example of a PRO.

See also

References

Read other articles:

Datsakorn Thonglao

Datsakorn Thonglao Informasi pribadiNama lengkap Datsakorn ThonglaoTanggal lahir 30 Desember 1983 (umur 40)Tempat lahir Nong Bua Lamphu, ThailandTinggi 1,69 m (5 ft 6+1⁄2 in)Posisi bermain Gelandang serangInformasi klubKlub saat ini Kanchanaburi CityNomor 7Karier junior1998–1999 Raj PrachaKarier senior*Tahun Tim Tampil (Gol)1999 Raj Pracha 23 (8)2000–2006 BEC Tero Sasana 77 (18)2001–2002 → 1. FC Kaiserslautern (pinjaman) 0 (0)2007–2009 Hoang Anh Gia Lai 28...

 

Mustapha Haciane

Algerian novelist, playwright, and poet Mustapha HacianeBorn1935Rouiba, Algeria Mustapha Haciane, also spelt as Mustafa Haciane,[1][2] (born in 1935) is an Algerian novelist, playwright, and poet.[3] His publications often tackle social issues.[4] Biography Mustapha Haciane was born in 1935, in Rouiba, Algeria, into a family of Turkish origin.[5][3] He began writing poems at the age of 17 whilst in high school. In 1950 he met with Albert Camus, ...

 

Final Doom

1996 video gameFinal DoomDeveloper(s)TeamTNTPublisher(s)id SoftwareWilliams Entertainment (PSX)Bethesda Softworks (PSN)Director(s)Ty Halderman (TNT: Evilution) Dario Casali (The Plutonia Experiment)Designer(s)John RomeroProgrammer(s)John CarmackJohn RomeroArtist(s)Adrian CarmackKevin CloudComposer(s) List of composers Jonathan El-BizriJosh MartelL.A. SiebenTom MustaineAubrey Hodges[a] SeriesDoomEngineDoom enginePlatform(s) MS-DOS Windows PlayStation Mac OS PlayStation 3 Release June 1...

Noken

Halaman ini berisi artikel tentang tas tradisional masyarakat Papua Pegunungan. Untuk sistem yang digunakan untuk Pemilu di Papua, lihat Sistem noken. Noken terbuat dari anyaman tali. Noken atau Minya adalah tas tradisional masyarakat Papua Pegunungan yang dibawa dengan menggunakan kepala dan terbuat dari serat kulit kayu. Sama dengan tas pada umumnya tas ini digunakan untuk membawa barang-barang kebutuhan sehari-hari.[1][2][3] Masyarakat Papua biasanya menggunakannya ...

 

Cupping therapy

Pseudoscience whereby suction is applied to the skin Cupping therapyCupping and bloodletting set, from London, England, dating from 1860–1875Alternative therapy This article is part of a series onAlternative medicine General information Alternative medicine History Terminology Alternative veterinary medicine Quackery (health fraud) Rise of modern medicine Pseudoscience Antiscience Skepticism Scientific Therapeutic nihilism Fringe medicine and science Acupressure Acupuncture Alkaline diet A...

 

Название Грузии

История Грузииსაქართველოს ისტორია Доисторическая Грузия Шулавери-шомутепинская культураКуро-араксская культураТриалетская культураКолхидская культураКобанская культураДиаухиМушки Древняя история КолхидаАриан-КартлиИберийское царство ФарнавазидыГруз�...

Humble (song)

Humble. redirects here. For other uses, see Humble (disambiguation). 2017 single by Kendrick LamarHumbleSingle by Kendrick Lamarfrom the album Damn ReleasedMarch 30, 2017Recorded2016Genre Hip hop trap Length2:57[1]LabelTop DawgAftermathInterscopeSongwriter(s)Kendrick DuckworthMichael Williams IIAsheton Hogan[2][3]Producer(s)Mike Will Made ItPluss[4]Kendrick Lamar singles chronology Walk on By (2017) Humble (2017) Perfect Pint (2017) Music videoHumble on YouTube...

 

Form (botany)

One of the secondary taxonomic ranks, below that of variety, in botanical nomenclature This article is about the formal taxonomic term in botany. For the use in zoology, see Form (zoology). For the informal botanical grouping, see Forma specialis. The hierarchy of biological classification's eight major taxonomic ranks. Intermediate minor rankings are not shown. Seedlings of Abies procera sometimes arise that have attractive silvery-blue foliage. The name Abies procera Rehder forma glauca (Ra...

 

Angelo San Raffaele, Venice

Church in Venice, Italy Angelo San RaffaeleFacade of Chiesa dell'Angelo RaffaeleReligionAffiliationRoman CatholicProvinceVeniceLocationLocationVenice, ItalyShown within VeniceShow map of VeniceAngelo San Raffaele, Venice (Italy)Show map of ItalyGeographic coordinates45°25′57.02″N 12°19′8.37″E / 45.4325056°N 12.3189917°E / 45.4325056; 12.3189917 The Chiesa dell'Angelo Raffaele (English: Church of the Angel Raphael) is a church in Venice, northern Italy, loca...

Kachua Upazila, Bagerhat

Upazila in Khulna, BangladeshKachua কচুয়াUpazilaCoordinates: 22°39′N 89°53′E / 22.650°N 89.883°E / 22.650; 89.883Country BangladeshDivisionKhulnaDistrictBagerhatArea • Total131.62 km2 (50.82 sq mi)Population (2010) • Total97,011 • Density740/km2 (1,900/sq mi)Time zoneUTC+6 (BST)Postal Code9310 (Kachua), 9311 (Sonarkola) Kachua (Bengali: কচুয়া) is an upazila of Bagerhat D...

 

1832 United States presidential election in Connecticut

Election in Connecticut Main article: 1832 United States presidential election 1832 United States presidential election in Connecticut ← 1828 November 2 – December 5, 1832 1836 →   Nominee Henry Clay Andrew Jackson William Wirt Party National Republican Democratic Anti-Masonic Home state Kentucky Tennessee Maryland Running mate John Sergeant Martin Van Buren Amos Ellmaker Electoral vote 8 0 0 Popular vote 18,155 11,269 3,409 Percentage 55.29% 3...

 

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

مقدمة في علم الوراثة

هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. جزء من سلسلة مقالات عنعلم الوراثة الأساسيات كروموسوم دنا رنا جينوم توريث طفرات نوكليوتيد اختلاف وراثي تاريخ علم الوراثة ومواضيعه مقدمة التاريخ تطور (تطور جزيئي) وراثيات سكا�...

 

FC Järfälla

Swedish football club Football clubFC JärfällaFull nameFotbolls Club JärfällaFounded1993GroundJärfällavallenJärfälla SwedenChairmanSerdar SaygiederHead CoachChristian CamposLeagueSwedish Division 2 Norra Svealand Home colours Away colours FC Järfälla is a Swedish football club located in Järfälla.[1] Background FC Järfälla currently plays in Division 2 Norra Svealand which is the third tier of Swedish football.[2] They play their home matches at the Järfällaval...

 

Prix IZA de l'économie du travail

Pour les articles homonymes, voir IZA. Prix IZA de l'économie du travailPrésentationType Prix de sciences économiques, prix scientifique (d)Fondation 2002Site web legacy.iza.org/en/webcontent/prize/iza_prizeLocalisationLocalisation  Allemagnemodifier - modifier le code - modifier Wikidata Médaille du prix IZA de l'économie du travail. L'Institut pour l'étude du travail ou Institut de l'économie du travail (Institute for the Study of Labor or Institute of Labor Economics) décerne...

Phonon

Minh họa lan truyền của chế độ dao động trên tinh thể. Vật lý vật chất ngưng tụ Pha · Chuyển pha * QCP Trạng thái vật chấtChất rắn · Chất lỏng · Chất khí · Ngưng tụ Bose–Einstein · Khí Bose · Ngưng tụ Fermion · Khí Fermi · Chất lỏng Fermi · Siêu rắn · Siêu lỏng * Tinh thể thờ...

 

Cognitivism (psychology)

Theoretical framework for understanding the mind For other uses, see Cognitivism (disambiguation). Part of a series onPsychology Outline History Subfields Basic psychology Abnormal Affective neuroscience Affective science Behavioral genetics Behavioral neuroscience Behaviorism Cognitive/Cognitivism Cognitive neuroscience Social Comparative Cross-cultural Cultural Developmental Differential Ecological Evolutionary Experimental Gestalt Intelligence Mathematical Moral Neuropsychology Perception ...

 

小野薬品工業

小野薬品工業株式会社ONO PHARMACEUTICAL CO., LTD. 小野薬品工業本社種類 株式会社機関設計 監査役会設置会社[1]市場情報 東証プライム 45281963年4月1日上場 略称 小野薬[2]本社所在地 日本〒541-8564大阪市中央区久太郎町1丁目8-2本店所在地 〒541-0045大阪市中央区道修町2丁目1-5設立 1947年（昭和22年）7月4日（日本理化学工業株式会社）業種 医薬品法人番号 7120001077374 事�...

Melvil Dewey

Inventor of the Dewey Decimal system Melvil DeweyPresident of the American Library AssociationIn officeMay 1892 – 1893Preceded byWilliam Isaac FletcherSucceeded byJosephus Nelson LarnedIn office1890 – July 1891Preceded byFrederick Morgan CrundenSucceeded bySamuel Swett Green Personal detailsBornMelville Louis Kossuth DeweyDecember 10, 1851 (1851-12-10)Adams Center, New York, U.S.DiedDecember 26, 1931(1931-12-26) (aged 80)Lake Placid, Florida, U.S.Spouses Annie ...

 

ليون سيراليوني

ليون سيراليونيSierra Leonean leoneمجموعة ليونات.معلومات عامةالبلد  سيراليونتاريخ الإصدار 1964عوض British West African pound (en) (1964) رمز العملة Leرمز الأيزو 4217 SLLالمصرف المركزي بنك سيراليونموقع المصرف المركزي http://www.bankofsierraleone-centralbank.org/سعر الصرف 1$ أمريكي = 7575.00Leالعملات المعدنية 10، 50، 100 ليون، ونا�...