Leí el artículo de Freyd "Algebraically Complete Categories" en el famoso Como90 y tengo dos preguntas sobre la noción de compacidad algebraica que definió en ese artículo. (Si no está familiarizado con la definición, aquí está: una categoría se llama algebraicamente compacta si cada endofunctor tiene un álgebra inicial y un coálgebra final que son canónicamente isomórficos).
¿Cuáles son algunos ejemplos de categorías algebraicamente compactas? Freyd menciona un ejemplo, pero estrictamente hablando, la condición en la definición es válida solo para ciertos finalistas de interés. Al leer otros documentos (como "Programación funcional con plátanos, lentes, sobres y alambre de púas"), supongo que esa categoría de cpo's, omega-cpo's o categorías enriquecidas sobre (omega-) cpo's son algebraicamente compactas. ¿Cuál es la referencia estándar para este hecho?
Freyd dice que la definición está motivada por el "director de la versalidad" y, al ser un hablante no nativo de inglés, estoy confundido. En primer lugar, creo que debería ser principio, no principal. Además, ¿qué es la versalidad? ¿Quiere decir versatilidad? ¿Es este un juego de palabras como (uni) versality?