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