On Thursday, May 02, 2024, at 6:03 AM, YKY (Yan King Yin, 甄景贤) wrote:
> It's not easy to prove new theorems in category theory or categorical 
> logic... though one open problem may be the formulation of fuzzy toposes.

Or perhaps neutrosophic topos, Florentin Smarandache has written much 
interesting work in this area.

------------------------------------------
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/T45b9784382269087-Mdb56eae8d4bc3eeff6b6e40c
Delivery options: https://agi.topicbox.com/groups/agi/subscription

Reply via email to