Skip to Main Content
Dataflow matrix machines (by Anhinga anhinga) (
dmm
) wrote
2021
-
12
-
23
09:15 pm
Entry tags:
mathematics
,
sheaves
,
toposes
(Open Access) Topoi: The Categorial Analysis of Logic, by Robert Goldblatt
projecteuclid.org/ebooks/books-by-independent-authors/Topoi-The-Categorial-Analysis-of-Logic/toc/bia/1403013939
Chapter-wise PDFs
Flat
|
Top-Level Comments Only
no subject
dmm
2022-01-02 02:09 am (UTC)
(
link
)
It turns out that "Introduction to higher order categorical logic" by Joachim Lambek and Philip J. Scott might be a better fit, and that one can usually find its PDF on the web...
Edited
2022-01-02 02:10 (UTC)
no subject
dmm
2022-01-02 02:12 am (UTC)
(
link
)
See also
https://www.site.uottawa.ca/~phil/
11 comments
Post a new comment
Flat
|
Top-Level Comments Only
Log in
Account name:
Password:
Remember me
Other options:
Forget your password?
Log in with OpenID?
Close
menu
Log in
Create
Create Account
Display Preferences
Explore
Interests
Directory Search
Site and Journal Search
Latest Things
Random Journal
Random Community
FAQ
Shop
Buy Dreamwidth Services
Gift a Random User
DW Merchandise
Interest
Region
Site and Account
FAQ
Email
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
no subject