Saya rasa yang lain sedang mengekalkan dan mengekalkan.

Ke mana saya boleh masuk?

Saya telah menulis dua bahagian literatur tentang Co-Algebra.

Ini bukan hanya tentang Co-Induksi dan Co-Rekursi,

tetapi juga tentang yang lebih berbeda.

Satu ini adalah sebuah kertas sejurus.

Ini adalah sebuah kertas yang terkaitkan dengan Jan Rutten,

Universal Co-Algebra, A Theory of Systems.

Ini dari tahun 2000, tetapi ini tetap sebuah teks yang bagus

untuk mengetahui co-algebra dan teori mereka.

Dan kita telah melakukan sedikit dari ini.

Sebenarnya lebih banyak daripada yang terdapat di dalam.

Satu kertas yang terkaitkan dengan Worrall.

Dia lebih muda, jadi dia masih belum terdapat.

Yang lain ini adalah sebuah buku.

Introduction to Co-Algebra.

Ini baru, saya rasa 2016.

Saya masih ada di sini kerana ini adalah

periadatan untuk membeli-belah.

Draft, December 2012.

Tetapi buku ini telah disiarkan.

Saya juga sudah ada di atas meja.

Ini bukan buku belajar,

tetapi yang dianggap sebuah buku teks.

Ini adalah buku untuk orang yang sudah tahu.

Bukan untuk orang yang ingin mempunyai

pandangan terhadap kawasan.

Ini bukan buku untuk pelajar.

Tetapi ia mempunyai banyak bahan untuk melakukannya.

Baiklah, sekarang kita akan mendekati

kapitel Co-Algebra.

Saya akan berhenti.

Ada satu perkara yang saya ingin melakukan.

Ini adalah Co-Induction dan Co-Recursion.

Ini untuk orang yang telah melakukan

belajar informasi.

Saya ingin melakukan sedikit pengulangan.

Kerana ada beberapa perkara yang berlaku

dalam teori programasinya.

Tetapi saya tidak pernah bercakap tentang

Co-Algebra secara eksplik.

Dan juga tidak bercakap tentang

fungkorn atau Terminal Co-Algebra.

Saya rasa ada perkara yang berlaku.

Mangan operator.

Itu adalah kata-kata untuk fungkorn.

Sekarang kita tahu.

Saya ingin melakukan sedikit pengulangan.

Saya ingin memulai secara bersempak.

Dan menyebabkan