Notifications
Clear all
Topic starter
05/04/2021 11:13 am
Hi, I just realized, I already posted without introducing myself.
I'm M djo k'naan, and I recently started to study category theory and topos as a autodidact.
I'm interested in their applications in the logic field.