From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: Sheaves and Logic
Date: Thu, 4 Dec 1997 14:20:45 -0400 (AST) [thread overview]
Message-ID: <Pine.OSF.3.90.971204142033.17509B-100000@mailserv.mta.ca> (raw)
Date: Thu, 4 Dec 1997 12:17:39 -0300 (EST)
From: Regivan Hugo Nunes Santiago <rhns@di.ufpe.br>
Dear friends, I am a PhD Student in Computer Science at
Departamento de Informatica, UFPE, Brazil, and I need to study the
theory of sheaves and its conexion with logic. However I am finding some
dificulties concerning matterials who have an intuitive explanation of the
subject. I am reading Michael Fourman and D. Scott's Sheaves and Logic
paper. It would be helpful if you could give me an intuition
about the following questions:
Is there any intuition about the notions of global and local
objects?
What is the connection between global and local objects, and, for
example, partial and total functions?
Is there any intuition about the existence predicate
E:|A|->\omega?
What is a singleton?
In the paper "Identity and Existence", in the same proceedings,
Scott formalized the notion of partial objects (e.g.partial functions).
If we are modelling the standard intuitionistic logic,
the local objects makes sense? Let me explain what I want to get.
Is sheaves an adequate model for intuitionistic logic just when we
want to formalize the notion of partial objects? And if we are working
with standard intuitionistic logic, does the category of structure
generated by a first order theory contain strutures with, for example,
partial functions?
Is there any intuitive written material about the subject?
My best regards
Regivan
---------------------------
Regivan H. N. Santiago
http://www.di.ufpe.br/~rhns
Recife-Pernambuco/Brazil
---------------------------
reply other threads:[~1997-12-04 18:20 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.90.971204142033.17509B-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).