stanford-oval/wikipedia huggingface dataset:
Babak grup Piala Uber 2020
Grup B

| Pos | Timl b  | Main | M | K | MP | KP | SP | MG | KG | SG | MS | KS | SS | Poin | Kualifikasi |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |  Thailand | 3 | 3 | 0 | 15 | 0 | +15 | 30 | 1 | +29 | 648 | 374 | +274 | 3 | Lolos ke babak gugur |
| 2 |  India | 3 | 2 | 1 | 7 | 8 | −1 | 16 | 17 | −1 | 584 | 546 | +38 | 2 | Lolos ke babak gugur |
| 3 |  Spanyol | 3 | 1 | 2 | 5 | 10 | −5 | 10 | 22 | −12 | 457 | 606 | −149 | 1 |  |
| 4 |  Skotlandia | 3 | 0 | 3 | 3 | 12 | −9 | 8 | 24 | −16 | 445 | 608 | −163 | 0 |  |
Sumber: TournamentSoftware
Grup B > India vs. Spanyol

India  v  Spanyol
| India  | 3–2 |  Spanyol |
| --- | --- | --- |
|  | Laporan |  |
Grup B > Thailand vs. Skotlandia

Thailand  v  Skotlandia
| Thailand  | 5–0 |  Skotlandia |
| --- | --- | --- |
|  | Laporan |  |
Grup B > Thailand vs. Spanyol

Thailand  v  Spanyol
| Thailand  | 5–0 |  Spanyol |
| --- | --- | --- |
|  | Laporan |  |
Grup B > India vs. Skotlandia

India  v  Skotlandia
| India  | 4–1 |  Skotlandia |
| --- | --- | --- |
|  | Laporan |  |
Grup B > Thailand vs. India

Thailand  v  India
| Thailand  | 5–0 |  India |
| --- | --- | --- |
|  | Laporan |  |
Grup B > Spanyol vs. Skotlandia

Spanyol  v  Skotlandia
| Spanyol  | 3–2 |  Skotlandia |
| --- | --- | --- |
|  | Laporan |  |
Grup C

| Pos | Timl b  | Main | M | K | MP | KP | SP | MG | KG | SG | MS | KS | SS | Poin | Kualifikasi |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |  Korea Selatan | 3 | 3 | 0 | 14 | 1 | +13 | 29 | 2 | +27 | 649 | 247 | +402 | 3 | Lolos ke babak gugur |
| 2 |  Tionghoa Taipei | 3 | 2 | 1 | 11 | 4 | +7 | 22 | 9 | +13 | 570 | 370 | +200 | 2 | Lolos ke babak gugur |
| 3 |  Mesir | 3 | 1 | 2 | 5 | 10 | −5 | 10 | 21 | −11 | 379 | 560 | −181 | 1 |  |
| 4 |  Tahiti | 3 | 0 | 3 | 0 | 15 | −15 | 1 | 30 | −29 | 233 | 654 | −421 | 0 |  |
Sumber: TournamentSoftware
Grup C > Korea Selatan vs. Tahiti

Korea Selatan  v  Polinesia Prancis
| Korea Selatan  | 5–0 |  Polinesia Prancis |
| --- | --- | --- |
|  | Laporan |  |
Grup C > Tionghoa Taipei vs. Mesir

Tionghoa Taipei  v  Mesir
| Tionghoa Taipei  | 5–0 |  Mesir |
| --- | --- | --- |
|  | Laporan |  |
Grup C > Tionghoa Taipei vs. Tahiti

Tionghoa Taipei  v  Polinesia Prancis
| Tionghoa Taipei  | 5–0 |  Polinesia Prancis |
| --- | --- | --- |
|  | Laporan |  |
Grup C > Korea Selatan vs. Mesir

Korea Selatan  v  Mesir
| Korea Selatan  | 5–0 |  Mesir |
| --- | --- | --- |
|  | Laporan |  |
Grup C > Mesir vs. Tahiti

Mesir  v  Polinesia Prancis
| Mesir  | 5–0 |  Polinesia Prancis |
| --- | --- | --- |
|  | Laporan |  |
Grup C > Korea Selatan vs. Tionghoa Taipei

Korea Selatan  v  Tionghoa Taipei
| Korea Selatan  | 4–1 |  Tionghoa Taipei |
| --- | --- | --- |
|  | Laporan |  |
Grup D

| Pos | Timl b  | Main | M | K | MP | KP | SP | MG | KG | SG | MS | KS | SS | Poin | Kualifikasi |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |  Tiongkok | 3 | 3 | 0 | 15 | 0 | +15 | 30 | 2 | +28 | 663 | 395 | +268 | 3 | Lolos ke babak gugur |
| 2 |  Denmark (H) | 3 | 2 | 1 | 8 | 7 | +1 | 20 | 15 | +5 | 647 | 596 | +51 | 2 | Lolos ke babak gugur |
| 3 |  Kanada | 3 | 1 | 2 | 5 | 10 | −5 | 10 | 23 | −13 | 477 | 621 | −144 | 1 |  |
| 4 |  Malaysia | 3 | 0 | 3 | 2 | 13 | −11 | 7 | 27 | −20 | 490 | 665 | −175 | 0 |  |
Sumber: TournamentSoftware
 Tuan rumah.
Grup D > Tiongkok vs. Kanada

Tiongkok  v  Kanada
| Tiongkok  | 5–0 |  Kanada |
| --- | --- | --- |
|  | Laporan |  |
Grup D > Denmark vs. Malaysia

Denmark  v  Malaysia
| Denmark  | 4–1 |  Malaysia |
| --- | --- | --- |
|  | Laporan |  |
Grup D > Tiongkok vs. Malaysia

Tiongkok  v  Malaysia
| Tiongkok  | 5–0 |  Malaysia |
| --- | --- | --- |
|  | Laporan |  |
Grup D > Denmark vs. Kanada

Denmark  v  Kanada
| Denmark  | 4–1 |  Kanada |
| --- | --- | --- |
|  | Laporan |  |
Grup D > Malaysia vs. Kanada

Malaysia  v  Kanada
| Malaysia  | 1–4 |  Kanada |
| --- | --- | --- |
|  | Laporan |  |
Grup D > Tiongkok vs. Denmark

Tiongkok  v  Denmark
| Tiongkok  | 5–0 |  Denmark |
| --- | --- | --- |
|  | Laporan |  |
Aljabar universal

Aljabar universal (kadang disebut aljabar umum) adalah bidang matematika yang mempelajari struktur aljabar itu sendiri, bukan contoh ("model") dari struktur aljabar.
Misalnya, daripada mengambil grup tertentu sebagai objek studi, dalam aljabar universal seseorang mengambil kelas grup sebagai objek studi.
Ide dasar

Dalam aljabar universal, sebuah aljabar (atau aljabar struktur) adalah himpunan A bersama dengan kumpulan operasi pada A.  n-ary operasi pada A adalah fungsi yang membutuhkan  n  elemen  A  dan mengembalikan satu elemen  A .  Jadi, operasi 0-ary (atau  operasi nullari ) dapat direpresentasikan secara sederhana sebagai elemen  A , atau  konstanta , sering dilambangkan dengan surat seperti  a .  Operasi 1-ari (atau  operasi uner ) hanyalah fungsi dari  A  hingga  A , sering dilambangkan dengan simbol yang ditempatkan di depan argumennya, seperti ~x.  Operasi 2-ary (atau  operasi biner ) sering dilambangkan dengan simbol yang ditempatkan di antara argumennya, seperti  x  ∗  y .  Operasi  ariti  yang lebih tinggi atau tidak ditentukan biasanya dilambangkan dengan simbol fungsi, dengan argumen ditempatkan dalam tanda kurung dan dipisahkan dengan koma, seperti f(x,y,z) atau f(x1,...,xn).  Beberapa peneliti mengizinkan operasi infiniter, seperti  \textstyle \bigwedge _{\alpha \in J}x_{\alpha } di mana  J  adalah himpunan indeks tak terhingga, sehingga mengarah ke teori aljabar kisi kompleks.  Maka, salah satu cara untuk membicarakan aljabar adalah dengan menyebutnya sebagai Aljabar Jenis Tertentu  \Omega , dimana  \Omega  adalah urutan bilangan asli yang mewakili aritas operasi aljabar.
Ide dasar > Persamaan

Setelah operasi ditentukan, sifat aljabar selanjutnya ditentukan oleh aksioma, yang dalam aljabar universal sering mengambil bentuk identitas, atau hukum persamaan.  Contohnya adalah aksioma asosiatif untuk operasi biner, yang diberikan oleh persamaan  x  ∗ ( y  ∗  z ) = ( x  ∗  y ) ∗  z .
Varietas

Artikel utama: Varietas (aljabar universal)
Kumpulan struktur aljabar yang ditentukan oleh identitas disebut sebagai variasi atau kelas persamaan. Beberapa penulis menganggap varietas sebagai fokus utama aljabar universal.[butuh rujukan]
Membatasi studi seseorang pada varietas mengesampingkan:
Kuantifikasi, termasuk kuantifikasi universal ( \forall ) kecuali sebelum persamaan, dan kuantifikasi eksistensial ( \exists ), serta logika predikat
hubungan selain persamaan, khususnya pertidaksamaan, keduanya a ≠ b dan relasi order
Studi tentang kelas persamaan dapat dilihat sebagai cabang khusus dari teori model, biasanya berurusan dengan struktur yang hanya memiliki operasi (yaitu jenis dapat memiliki simbol untuk fungsi tetapi tidak untuk hubungan selain persamaan), dan di mana bahasa yang digunakan untuk berbicara tentang struktur ini menggunakan persamaan saja.
Tidak semua struktur aljabar dalam arti yang lebih luas termasuk dalam lingkup ini. Misalnya, grup terurut melibatkan relasi pengurutan, jadi tidak akan termasuk dalam cakupan ini.
Kelas dari bidang bukanlah kelas persamaan karena tidak ada tipe (atau "tanda tangan") di mana semua hukum bidang dapat dituliskan sebagai persamaan (inversi elemen didefinisikan untuk semua elemen  bukan nol  dalam bidang, jadi inversi tidak dapat ditambahkan ke jenis).
Satu keuntungan dari pembatasan ini adalah bahwa struktur yang dipelajari dalam aljabar universal dapat didefinisikan dalam kategori yang memiliki hingga produk. Misalnya, grup topologi hanyalah grup dalam kategori ruang topologi.
Varietas > Contoh

Sebagian besar sistem aljabar matematika biasa adalah contoh varietas, tetapi tidak selalu dengan cara yang jelas, karena definisi biasa sering kali melibatkan penghitungan atau ketidaksamaan.
Varietas > Contoh > Grup

Sebagai contoh, perhatikan definisi dari sebuah grup. Biasanya sebuah grup didefinisikan dalam operasi biner tunggal ∗, tunduk pada aksioma:
Asosiatif (seperti pada bagian sebelumnya):  x ∗ (y ∗ z)  =  (x ∗ y) ∗ z;   secara resmi: ∀x,y,z. x∗(y∗z)=(x∗y)∗z.
Elemen identitas: Terdapat elemen  e  sedemikian rupa sehingga untuk setiap elemen  x , satu memiliki e ∗ x  =  x  =  x ∗ e;   secara resmi: ∃e ∀x. e∗x=x=x∗e.
Elemen invers: Elemen identitas mudah dilihat sebagai unik, dan biasanya dilambangkan dengan  e . Kemudian untuk setiap  x , terdapat elemen  i  sedemikian rupa x ∗ i  =  e  =  i ∗ x;   secara resmi: ∀x ∃i. x∗i=e=i∗x.
(Beberapa penulis juga menggunakan aksioma "penutupan" bahwa  x  ∗  y  milik  A  setiap kali  x  dan  y  lakukan, tapi di sini ini sudah tersirat dengan merumuskan biner ∗.
Definisi grup ini tidak langsung sesuai dengan sudut pandang aljabar universal, karena aksioma elemen identitas dan inversi tidak dinyatakan murni dalam istilah hukum persamaan yang memegang secara universal elemen "untuk semua ...", tetapi juga melibatkan bilangan eksistensial.  Aksioma grup dapat diutarakan sebagai persamaan yang dikuantifikasi secara universal dengan menentukan, selain operasi biner ∗, operasi nullary  e  dan operasi unary ~, dengan ~x biasanya ditulis sebagai x−1. Aksioma menjadi:
Asosiatif:  x ∗ (y ∗ z)  =  (x ∗ y) ∗ z.
Elemen identitas:  e ∗ x  =  x  =  x ∗ e; secara resmi: ∀x. e∗x=x=x∗e.
Elemen invers:  x ∗ (~x)  =  e  =  (~x) ∗ x   secara resmi: ∀x. x∗~x=e=~x∗x.
Untuk meringkas, definisi biasa memiliki:
operasi biner tunggal (tanda tangan (2))
1 hukum persamaan (asosiatif)
2 hukum terukur (identitas dan invers)
sedangkan definisi aljabar universal memiliki:
3 operasi: satu biner, satu unary, dan satu nullary (tanda tangan (2,1,0))
3 hukum persamaan (asosiativitas, identitas, dan kebalikan)
tidak ada hukum terukur (kecuali bilangan universal terluar, yang diperbolehkan dalam varietas)
Poin utamanya adalah bahwa operasi tambahan tidak menambahkan informasi, tetapi mengikuti secara unik dari definisi grup yang biasa. Meskipun definisi biasa tidak secara unik menentukan elemen identitas  e , latihan mudah menunjukkannya unik, seperti halnya masing-masing elemen invers.
Sudut pandang aljabar universal disesuaikan dengan baik dengan teori kategori. Misalnya, ketika mendefinisikan objek grup dalam teori kategori, di mana objek yang dimaksud mungkin bukan himpunan, seseorang harus menggunakan hukum persamaan (yang masuk akal dalam kategori umum), daripada hukum terkuantifikasi (yang mengacu pada elemen individu). Selanjutnya, kebalikan dan identitas ditentukan sebagai morfisme dalam kategori. Misalnya, dalam sebuah grup topologi, invers tidak hanya harus ada berdasarkan elemen, tetapi harus memberikan pemetaan berkelanjutan (morfisme). Beberapa penulis juga mensyaratkan peta identitas menjadi inklusi tertutup (kofibrasi).
Varietas > Contoh > Contoh lainnya

Kebanyakan struktur aljabar adalah contoh aljabar universal.
Gelanggang, semigrup, kuasigrup, grupoid, magma, loop, dan lain-lain.
Ruang vektor di atas bidang tetap dan modul di atas gelanggang tetap adalah aljabar universal. Ini memiliki penjumlahan biner dan keluarga operator perkalian skalar unary, satu untuk setiap elemen bidang atau gelanggang.
Contoh aljabar relasional termasuk semikisi, kisi, dan Aljabar Boolean.
Konstruksi dasar

Kami berasumsi bahwa tipe,  \Omega , telah diperbaiki. Kemudian ada tiga konstruksi dasar dalam aljabar universal: citra homomorfik, subaljabar, dan hasil kali.
Homomorfisme antara dua aljabar  A  dan  B  adalah fungsi  h : A → B dari himpunan A ke himpunan B sedemikian rupa, untuk setiap operasi fA dari A dan yang sesuai fB dari B (ariti, ditulis,  n ), h(fA(x1,...,xn)) = fB(h(x1),...,h(xn)).  (Kadang-kadang subskrip pada  f  dihapus ketika jelas dari konteks dari mana aljabar fungsi tersebut berasal.) Misalnya, jika  e  adalah konstanta (operasi nullary), maka h(eA) = eB.  If ~ adalah operasi unari, maka h(~x) = ~h(x).  Jika ∗ adalah operasi biner, maka h(x ∗ y) = h(x) ∗ h(y).  Dan seterusnya. Beberapa hal yang dapat dilakukan dengan homomorfisme, serta definisi jenis khusus homomorfisme tertentu, terdaftar di bawah entri Homomorfisme. Secara khusus, kita dapat mengambil citra homomorfik dari sebuah aljabar, h(A).
Subaljabar dari  A  adalah himpunan bagian dari  A  yang ditutup di bawah semua operasi  A .  Produk dari beberapa himpunan struktur aljabar adalah produk Kartesius dari himpunan dengan operasi yang ditentukan secara koordinat.
Beberapa teorema dasar

Teorema isomorfisme, yang mencakup teorema isomorfisme grup, gelanggang, modul, dll.
Teorema HSP Birkhoff, yang menyatakan bahwa kelas aljabar adalah ragam jika dan hanya jika ditutup di bawah gambar homomorfik, subaljabar, dan produk langsung sembarang.
Motivasi dan Aplikasi

Selain pendekatan pemersatu, aljabar universal juga memberikan teorema yang dalam serta contoh dan contoh tandingan yang penting. Ini memberikan kerangka kerja yang berguna bagi mereka yang berniat untuk memulai studi kelas baru aljabar.
Ini dapat memungkinkan penggunaan metode yang ditemukan untuk beberapa kelas aljabar tertentu ke kelas aljabar lain, dengan menyusun kembali metode dalam istilah aljabar universal (jika mungkin), dan kemudian menafsirkannya seperti yang diterapkan pada kelas lain. Ini juga memberikan klarifikasi konseptual; sebagai J.D.H. Smith mengatakannya,:
"Apa yang terlihat berantakan dan rumit dalam kerangka kerja tertentu mungkin berubah menjadi sederhana dan jelas dalam kerangka umum yang tepat."
Secara khusus, aljabar universal dapat diterapkan untuk mempelajari monoid, gelanggang, dan kisi.  Sebelum aljabar universal muncul, banyak teorema (terutama teorema isomorfisme) telah dibuktikan secara terpisah di semua kelas ini, tetapi dengan aljabar universal, mereka dapat dibuktikan sekali dan untuk selamanya untuk setiap jenis sistem aljabar.
Makalah 1956 oleh Higgins yang dirujuk di bawah ini telah ditindaklanjuti dengan baik untuk kerangka kerjanya untuk berbagai sistem aljabar tertentu, sementara makalahnya pada tahun 1963 terkenal karena pembahasannya tentang aljabar dengan operasi yang hanya didefinisikan sebagian, contoh khas untuk ini adalah kategori dan grupoid. Hal ini mengarah pada subjek aljabar berdimensi lebih tinggi yang dapat didefinisikan sebagai studi teori aljabar dengan operasi parsial yang domainnya ditentukan dalam kondisi geometris. Contoh penting dari ini adalah berbagai bentuk kategori dan groupoids berdimensi lebih tinggi.
Motivasi dan Aplikasi > Masalah kepuasan kendala

Artikel utama: Masalah kepuasan kendala
Aljabar universal menyediakan bahasa alami untuk  masalah kepuasan kendala (CSP). CSP merujuk ke kelas penting dari masalah komputasi yang diberi aljabar relasional  A dan eksistensial kalimat  \varphi  di atas aljabar ini, pertanyaannya adalah mencari tahu apakah  \varphi  bisa dipenuhi di  A. Aljabar  A sering kali diperbaiki, sehingga CSPA mengacu pada masalah yang instansinya hanya kalimat eksistensial  \varphi .
Terbukti bahwa setiap masalah komputasi dapat dirumuskan sebagai CSPA untuk beberapa aljabar  A.
Sebagai contoh, masalah  n -warna dapat dinyatakan sebagai CSP dari aljabar  {\big (}\{0,1,\dots ,n-1\},\neq {\big )}, i.e. sebuah aljabar dengan elemen  n dan satu relasi, pertidaksamaan.
Dugaan dikotomi (dibuktikan pada April 2017) menyatakan bahwa jika  A adalah aljabar berhingga, maka CSPA bisa berupa P atau kompleks-NP.
Sejarah

Dalam buku Alfred North Whitehead  A Treatise on Universal Algebra,  yang diterbitkan pada tahun 1898, istilah  aljabar universal  pada dasarnya memiliki arti yang sama dengan yang dimilikinya saat ini. Whitehead memuji William Rowan Hamilton dan Augustus De Morgan sebagai pencetus materi pelajaran, dan James Joseph Sylvester dengan menciptakan istilah itu sendiri.:v
Pada saat struktur seperti Lie aljabar s dan quaternion hiperbolik s menarik perhatian pada kebutuhan untuk memperluas struktur aljabar di luar kelas perkalian asosiatif. Dalam sebuah ulasan Alexander Macfarlane menulis: "Ide utama dari karya ini bukanlah penyatuan beberapa metode, atau generalisasi aljabar biasa untuk memasukkannya, melainkan studi komparatif dari beberapa struktur mereka." Pada saat itu, aljabar logika George Boole membuat tandingan yang kuat dengan aljabar bilangan biasa, sehingga istilah "universal" berfungsi untuk menenangkan perasaan tegang.
Karya awal Whitehead berusaha untuk menyatukan kuaternion (karena Hamilton), Ausdehnungslehre, dan aljabar logika Boole. Whitehead menulis dalam bukunya:
"Aljabar semacam itu memiliki nilai intrinsik untuk studi terperinci yang terpisah; juga mereka layak untuk studi banding, demi cahaya dengan demikian dilemparkan pada teori umum penalaran simbolik, dan simbolisme aljabar pada khususnya. Studi banding perlu mengandaikan beberapa studi terpisah sebelumnya, perbandingan tidak mungkin tanpa pengetahuan."
Whitehead, bagaimanapun, tidak memiliki hasil yang bersifat umum. Pekerjaan pada subjek itu minimal sampai awal 1930-an, ketika Garrett Birkhoff dan Øystein Ore mulai menerbitkan aljabar universal.  Perkembangan dalam metamathematics dan teori kategori pada 1940-an dan 1950-an memajukan bidang tersebut, terutama karya Abraham Robinson, Alfred Tarski, Andrzej Mostowski, dan siswa lain.
Pada periode antara 1935 dan 1950, sebagian besar makalah ditulis sesuai dengan yang disarankan oleh makalah Birkhoff, berhubungan dengan aljabar bebas, kesesuaian dan kisi subaljabar, dan teorema homomorfisme. Meskipun perkembangan logika matematika telah memungkinkan penerapan aljabar, hal itu terjadi dengan lambat; hasil yang diterbitkan oleh Anatoly Maltsev pada tahun 1940-an tidak diketahui karena perang. Kuliah Tarski di tahun 1950 Kongres Internasional Matematikawan di Cambridge mengantarkan periode baru di mana aspek model-teori dikembangkan, terutama oleh Tarski sendiri, serta C.C. Chang, Leon Henkin, Bjarni Jónsson, Roger Lyndon, dan lainnya.
Pada akhir 1950-an, Edward Marczewski menekankan pentingnya aljabar bebas, yang mengarah ke publikasi lebih dari 50 makalah tentang teori aljabar aljabar bebas oleh Marczewski sendiri, bersama dengan Jan Mycielski, Władysław Narkiewicz, Witold Nitka, J. Płonka, S. Świerczkowski, K. Urbanik, dan lainnya.
Dimulai dengan tesis William Lawvere pada tahun 1963, teknik dari teori kategori telah menjadi penting dalam aljabar universal.
Lihat pula

Portal Matematika
Aljabar grafik
Aljabar istilah
Klon
Geometri aljabar universal
Aljabar universal sederhana
Catatan kaki

↑  Zhuk, Dmitriy (2017). "The Proof of CSP Dichotomy Conjecture".  arΧiv:1704.01914 [cs.cc].
1 2  George Grätzer (1968).  M.H. Stone and L. Nirenberg and S.S. Chern, ed. Universal Algebra (edisi ke-1st). Van Nostrand Co., Inc.
↑  Alexander Macfarlane (1899) Review:A Treatise on Universal Algebra (pdf), Science 9: 324–8 via Internet Archive
↑  Brainerd, Barron (Aug–Sep 1967) "Review of Universal Algebra by P. M. Cohn", American Mathematical Monthly 74(7): 878–880.
↑  Marczewski, E. "A general scheme of the notions of independence in mathematics." Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 6 (1958), 731–736.
↑  Lawvere, William F. (1964), Functorial Semantics of Algebraic Theories (PhD Thesis)
Pranala luar

Algebra Universalis—jurnal yang didedikasikan untuk Aljabar Universal.
Kassian Cephas

| Kassian Cephas |
| --- | --- |
Kassian Cephas.
Lahir: Kassian (1845-01-15)15 Januari 1845  Kesultanan Ngayogyakarta Hadiningrat, Hindia Belanda
Meninggal: 16 November 1912(1912-11-16) (umur 67)  Kesultanan Ngayogyakarta Hadiningrat, Hindia Belanda
Dikenal atas: Fotografi
 Penghargaan(29 Agustus 1901) Honorary Medal of the Order of Orange-Nassau in gold (en)   
Kassian Cephas (15 Januari 1845 – 16 November 1912
) merupakan fotografer pribumi Jawa yang berasal dari Kesultanan Ngayogyakarta Hadiningrat. Ia merupakan fotografer profesional pertama dari Indonesia dan magang di bawah bimbingan Hamengkubuwana VI (bertakhta 1855–1877). Setelah menjadi fotografer Kesultanan pada awal 1871, ia memulai bekerja sebagai fotografer potret keluarga Kesultanan, dan didokumentasikan oleh Persatuan Arkeologi Hindia Belanda (Archaeologische Vereeniging). Cephas turut berkontribusi melestarikan budaya Jawa melalui keanggotaannya di KITLV dan mendapat penghargaan medali emas kehormatan dari Orde van Oranje-Nassau. Cephas dan istrinya Dina Rakijah memiliki empat anak. Putra pertamanya, Sem Cephas, meneruskan bisnis fotografi ayahnya hingga meninggal tahun 1918.
Kehidupan awal

Kassian Cephas lahir di Yogyakarta dari pasangan Kartodrono dan Minah. Semasa muda, Cephas menjadi murid dari seorang misionaris Protestan Christina Petronella Philips-Steven dan ikut dengannya ke Bagelen, Purworejo. Ia dibaptis di Bagelen tanggal 27 Desember 1860 pada umur 15 tahun dan menggunakan nama Cephas, nama dalam bahasa Aram dari Santo Petrus, sebagai nama baptisnya. Ia menggunakan nama Cephas sebagai nama keluarganya setelah dibaptis.
Karier fotografi

Setelah kembali ke Yogyakarta pada awal 1860-an, Cephas mulai menjalani magang di bawah Simon Willem Camerik, anggota Schutterij dan fotografer Kraton Kesultanan Ngayogyakarta Hadiningrat. Magang Cephas dilaksanakan di bawah bimbingan Sultan Hamengkubuwana VI, yang juga menghargai bakat fotografinya. Ia terpilih menjadi pelukis dan fotografer Kraton pada tahun 1871.
Studio foto Cephas bertempat di lantai 2 bangunan rumah tempat ia dan istrinya tinggal di Lodji Ketjil Wetan, sekarang Jalan Mayor Suryotomo. Bisnis fotografinya bukan satu-satunya yang didirikan di kawasan tersebut pada masa itu. Selain potret, Cephas juga memotret bangunan dan struktur yang berdiri saat itu, termasuk Taman Sari (1884) untuk Bataviaasch Genootschap van Kunsten en Wetenschappen.