Olivia Caramello
Admin
Member
Joined: Oct 6, 2017
Last seen: Oct 30, 2026
Last seen: Oct 30, 2026
Follow
RE:Ontologies and toposes
Thanks for your comment. Yes, I will continue developing this idea; stay tuned! 😉
5 years ago
Forum
RE:Ontologies and toposes
Hi Ivan, thanks for your message. Yes, I have had a look at the book "The Topos of Music", but was disappointed in not really finding any serious topo...
5 years ago
Forum
RE: Concrete description of `bridge' implemented into a theorem prover
@yimingxu Hi Yiming Xu, thanks for your question. For the 'automatic' computation or large classes of invariants, you may refer to the following pap...
5 years ago
Forum
5 years ago
Forum
Replies: 0
Views: 706
Forum
Replies: 0
Views: 722
Forum
Replies: 0
Views: 637
Forum
Replies: 4
Views: 828
Replies: 4
Views: 1311
RE: From the Around Toposes Blog: Récoltes et Semailles
A partial English translation by Roy Lisker is available at this site.
5 years ago
Forum
Forum
Replies: 0
Views: 652
Forum
Replies: 0
Views: 687
Forum
Replies: 0
Views: 636
5 years ago
Forum
Replies: 0
Views: 790