Dear YKY,

I think you should provide some proofs in your paper.

Good luck friend

On Thu, Jan 28, 2021, 6:24 PM YKY (Yan King Yin, 甄景贤) <
[email protected]> wrote:

> Hey friends,
> 
> Long time no see.  This is my latest paper:
> 
> https://drive.google.com/file/d/1AhQS3fp4WMFIDEhn_q4vNs-YJaq4Z-Fr/view?usp=sharing
> 
> I am also writing a tutorial on categorical logic / topos theory, a
> subject that took me >10 years to learn, and I hope to explain what I
> learned in a super easy to digest way.
> 
> Cheers =)
> YKY

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

Reply via email to