Olivia Caramello
Admin
Member
Joined: Oct 6, 2017
Last seen: May 2, 2026
Last seen: May 2, 2026
Follow
RE:Ontologies and toposes
Thanks for your comment. Yes, I will continue developing this idea; stay tuned! 😉
4 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...
4 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...
4 years ago
Forum
4 years ago
Forum
Replies: 0
Views: 549
Forum
Replies: 0
Views: 567
Forum
Replies: 0
Views: 496
Forum
Replies: 4
Views: 660
Replies: 4
Views: 1062
RE: From the Around Toposes Blog: Récoltes et Semailles
A partial English translation by Roy Lisker is available at this site.
4 years ago
Forum
Forum
Replies: 0
Views: 521
Forum
Replies: 0
Views: 565
Forum
Replies: 0
Views: 486
4 years ago
Forum
Replies: 0
Views: 628