Goldblatt - Topoi, The Categorical Analysis of Logic - Ebook download as PDF File (.pdf), Text File (.txt) or read book online. Scribd is the world's largest social reading and publishing site. Search Search. Find helpful customer reviews and review ratings for Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics) at Amazon.com. Read honest and unbiased product reviews from our users.
Publication: Cybernetics and Systems AnalysisSeptember 2005 https://doi.org/10.1007/s10559-006-0005-7
- This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsPlease log in to your account
Save to Binder
Create a New Binder
The definition of linear morphisms is generalized to the natural number object. Properties of such morphisms are investigated. The necessary and sufficient condition of monocity of a linear morphism of an arbitrary topos is formulated. Linear monomorphisms are demonstrated to be split. Two proofs of complementarity and, accordingly, decidability of linear monomorphisms are proposed.
- 1. Colin McLarty, 'Learning from questions on categorical foundations,' Philosophia Mathematica (3), No. 13, 44-60 (2005).
- 2. S. Mac Lane, Categories for the Working Mathematician {Russian translation}, Fizmatlit, Moscow (2004).
- 3. A. I. Provotar, 'Linear morphisms in a topos,' Kibern. Sist. Anal., No. 2, 3-10 (1997).
- 4. P. Lietz, 'From constructive mathematics to computable analysis via the realizability interpretation,' PhD thesis, Technischen Universitat, Darmstadt (2004).
- 5. A. I. Chentsov and A. I. Provotar, 'Finite Cartesian products of natural number objects in topoi,' Computer Mathematics, No. 2, 136-143 (2004).
- 6. R. Goldblatt, Topoi: The Categorical Analysis of Logic {Russian translation}, Mir, Moscow (1983).
- 7. P. T. Johnstone, Topos Theory {Russian translation}, Nauka, Moscow (1986).
Generalization of Linear Morphisms on N in Topoi
Please enable JavaScript to view thecomments powered by Disqus.
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
Published in
Copyright © Copyright © 2005 Springer Science+Business Media, Inc.In-Cooperation
Publisher
Kluwer Academic PublishersUnited StatesPublication History
Author Tags
Qualifiers
- article
Funding Sources
Article Metrics
- Total CitationsView Citations
- Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Digital Edition
View this article in digital edition.