Revisi per 22 Januari 2021 01.33 sunting 123569yuuift (bicara \| kontrib) 2.955 suntingan Membalikkan revisi 17843071 oleh 36.72.213.14 (bicara) Tag: Pembatalan Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan ← Revisi sebelumnya		Revisi per 3 Februari 2021 07.35 sunting balikkan HsfBot (bicara \| kontrib) Bot 1.172.581 suntingan k clean up Revisi selanjutnya →
Baris 1: Dalam [[matematika]], '''kategori ruang topologi''', sering dilambangkan '''Top''', adalah [[kategori (teori kategori) \| kategori]] yang [[objek (teori kategori) \| objek]] adalah [[ruang topologi]] dan [[morfisme]] adalah [[peta kontinu]]. kategori [[komposisi fungsi \| komposisi]] dari dua peta kontinu pada kontinu, dan fungsi identitas kontinu. Studi tentang '''Top''' dan sifat [[ruang topologi]] menggunakan teknik [[teori kategori]] dikenal sebagai '''topologi kategorikal'''. Beberapa penulis menggunakan nama '''Top''' untuk kategori dengan [[manifold topologi]] atau dengan [[ruang generasi kompak \| ruang kompak]] sebagai objek dan peta kontinu sebagai morfisme. == Sebagai kategori konkrit == Seperti banyak kategori, kategori '''Top''' adalah [[kategori konkret]], yang berarti objek [[Himpunan (matematika) \| himpunan]] dengan struktur tambahan (yaitu topologi) dan morfismenya adalah [[fungsi (matematika) \| fungsi]] yang menjaga struktur ini :''U'' : '''Top''' → '''Himpunan''' ke [[kategori himpunan]] yang menetapkan ke setiap ruang topologi himpunan yang mendasari dan ke setiap peta pada [[fungsi (matematika) \| fungsi]] kontinu yang mendasari. Functor pelupa '' U '' memiliki [[adjoin kiri]] Baris 12: yang melengkapi himpunan tertentu dengan [[topologi diskrit]], dan [[adjoin kanan]] :''I'' : '''Himpunan''' → '''Top''' yang melengkapi himpunan tertentu dengan [[topologi indiskrit]]. Kedua fungsi ini sebenarnya [[Fungsi invers # Kiri dan kanan invers \| invers kanan]] menjadi '' U '' (artinya '' UD '' dan '' UI '' sama dengan [[identitas funktor]] pada '''Himpunan'''). Selain itu, karena setiap fungsi antara ruang diskrit atau antara ruang tak berlainan adalah kontinu, kedua fungsi ini memberikan [[embedding penuh]] dari '''Himpunan''' ke '''Top'''. '''Top''' adalah model dari apa yang disebut [[kategori topologi]]. Kategori ini dicirikan oleh fakta bahwa setiap [[sumber terstruktur]] <math>(X \to UA_i)_I</math> memiliki [[initial awal]] unik <math>( A \to A_i)_I</math>. Dalam '''Top''' initial awal diperoleh dengan menempatkan [[topologi awal]] pada sumbernya. Kategori topologi memiliki banyak sifat yang sama dengan '''Top''' (seperti kelengkapan serat, fungsi diskrit dan tidak terpisah, dan pengangkatan batas yang unik). Baris 18: == Limit dan kolimit == Kategori '''Top''' adalah [[kategori kompleks \| kompleks]], yang berarti bahwa semua [[limit (teori kategori) \| limit dan kolimit]] kecil '''Top'''. Faktanya, fungsi pelupa '' U '' : '''Top''' → '''Himpunan''' secara unik mengangkat limit. Oleh karena itu, (ko)limit di '' 'Atas' '' diberikan dengan menempatkan topologi pada (ko)limit yang sesuai di '''Himpunan'''. Secara khusus, jika '' F '' adalah [[diagram (teori kategori) \| diagram]] di '''Top' l'' dan (''L'', ''φ'' : ''L'' → ''F'') adalah batas '' UF '' di '' 'Set' '', batas yang sesuai dari '' F '' di '''Top''' diperoleh dengan menempatkan [[topologi awal]] di (''L'', ''φ'' : ''L'' → ''F''). Dually, kolimit dalam '''Top''' diperoleh dengan menempatkan [[topologi akhir]] pada kolom yang sesuai di '''Himpunan'''. Tidak seperti banyak kategori '' aljabar '', fungsi pelupa ''U'' : '''Top''' → '''Himpunan''' tidak membuat atau mencerminkan batasan karena biasanya akan ada [[kerucut (teori kategori) \| kerucut]] non-universal di '''Top''' yang mencakup kerucut universal di '''Himpunan'''. == Referensi == Baris 30: * Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). [http://katmat.math.uni-bremen.de/acc/acc.pdf ''Abstract and Concrete Categories''] (4.2MB PDF). Originally publ. John Wiley & Sons. {{ISBN\|0-471-60922-6}}. (now free on-line edition). [[Kategori: Kategori dalam teori kategori \| Ruang topologi]] [[Kategori: Topologi umum]]

Kategori ruang topologi: Perbedaan antara revisi