Bugün, Henning Kerstan'ın ("Olasılıksal Geçiş Sistemleri için İz Semantiği") yaptığı bir konuşma ilk kez kategori teorisi ile karşı karşıya geldi. Olasılıksal geçiş sistemlerini ve davranışlarını genel bir şekilde tanımlamak için teorik bir çerçeve oluşturmuştur, yani sayılamayan sonsuz devlet kümeleri ve farklı iz kavramları. Bu amaçla, nihayet ihtiyacı olan modeli oluşturmak için ölçü teorisi ile birleştirdiği monad kavramı ile sonuçlanmak üzere birkaç soyutlama katmanından geçer .
Sonunda, başlangıçta 5 dakika içinde açıkladığı bir kavramı tanımlamak için (kabaca) bir çerçeve oluşturması 45 dakika sürdü. Ben (bu yaklaşımın güzelliği takdir etmez izlerinin güzel farklı kavramları genelleme) ama yine de garip bir bakiye olarak beni oldukça etkiliyor.
Bir monadın gerçekte ne olduğunu ve bir kavramın uygulamalarda (hem teoride hem de pratikte) ne kadar genel olabileceğini görmek için mücadele ediyorum . Gerçekten çabaya değer mi, sonuç olarak?
Bu nedenle bu soru:
Monad'ların soyut kavramının uygulanabileceği ve istenen sonuçların elde edilmesine yardımcı olan (veya hiç olmadığı kadar güzel bir şekilde) doğal (CS anlamında) sorunlar var mı?