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.
I read through a little bit of the introductory text by Simmons since the Kindle version is only $20 and my tablet can handle the math text, but I've also attempted to read through Category Theory for the Working Mathematician (Mac Lane) since it had excellent reviews.
- 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.
Read Online Topoi The Categorial Analysis Of Logic Dover Books On Mathematics and Download Topoi The Categorial Analysis Of Logic Dover Books On Mathematics book full in. PDF Download. Toggle navigation. First published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra. Robert Goldblatt, Topoi, the Categorial Analysis of Logic. Also available from Dover Publications. Don't be scared by the title: it starts at the beginning and explains categories before going on to topoi and their relation to logic. The Categorical Analysis of Logic Scott, Philip J., Journal of Symbolic Logic, 1982 Review: Andrej Scedrov, Forcing and Classifying Topoi Johnstone, Peter T., Journal of Symbolic Logic, 1985 Review: Robert Goldblatt, Topoi. Topoi: The Categorial Analysis of Logic.Some additional categorical concepts and some suggestions for further research. North-Holland.In Topoi Goldblatt uses category theory to explore the logical foundations of mathematics, while using.
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inCategorical Analysis Of Data
Full 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.