Freyd'in ünlü Como90'daki "Cebirsel Olarak Tamamlanmış Kategoriler" adlı makalesini okudum ve bu makalede tanımladığı cebirsel kompaktlık kavramı hakkında iki sorum var. (Eğer tanıma aşina değilseniz, işte burada: Eğer her endofunktörün bir ilk cebiri ve kanonik olarak izomorfik olan bir son ortak cebiri varsa, kategoriye cebirsel olarak kompakt denir.)
Cebirsel olarak kompakt kategorilere bazı örnekler nelerdir? Freyd bir örnekten bahsetmektedir, ancak tanımdaki durumun sadece söz konusu belirli endofunktörler için geçerlidir. Diğer kağıtları ("Muzlar, Lensler, Zarflar ve Dikenli Tellerle Fonksiyonel Programlama") okurken, cpo kategorileri, omega-cpo kategorileri veya (omega-) cpo kategorileri üzerinde zenginleştirilmiş kategorilerin cebirsel olarak kompakt olduğunu düşünüyorum. Bu gerçek için standart referans nedir?
Freyd, tanımın "çok yönlülük ilkesi" tarafından teşvik edildiğini ve İngilizce'nin yabancı bir konuşmacısı olarak kafam karıştığını söylüyor. Her şeyden önce bence bu prensip değil, prensip olmalı. Ayrıca çok yönlülük nedir? Çok yönlülük anlamına mı geliyor? Bu (uni) versality gibi kelimelerde bir oyun mu?