Sudut kanan bawah dengan titik

Tanda ini menunjukkan persegi pullback dalam teori kategori.

Dalam persegi pullback, dua pemetaan menuju objek yang sama. Objek pada sudut bertanda memasangkan masukan yang menghasilkan tujuan sama dengan cara paling umum. Tanda ini berlaku untuk seluruh persegi, bukan hanya sudutnya.

Ini notasi khusus untuk diagram, bukan tanda sudut atau tanda baca umum.

Dari mana notasi sudut pullback berasal?

Diskusi daring yang diterbitkan pada 2017 menyebut Peter Freyd mengingat notasi sudut siku-siku serupa dalam kuliah pada 1974. Diskusi itu juga menyebut paket perangkat lunak Paul Taylor untuk menggambar diagram matematika sebagai contoh awal yang terdokumentasi, bertanggal paling lambat 1994. Catatan tersebut menelusuri penggunaannya, tetapi tidak menyebut penemu pertama.