Rating: 0 out of 5 stars
0 ratings
Ebook290 pages6 hours
Categories, Allegories
By P.J. Freyd and A. Scedrov
Rating: 4 out of 5 stars
4/5
()
About this ebook
General concepts and methods that occur throughout mathematics – and now also in theoretical computer science – are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.
The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi.
A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi.
A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
Related to Categories, Allegories
Titles in the series (32)
Markov Chains Stochastic Differential Equations and Diffusion Processes Rating: 0 out of 5 stars0 ratingsAn Introduction to Complex Analysis in Several Variables Rating: 0 out of 5 stars0 ratingsThe Representation Theory of Finite Groups Rating: 5 out of 5 stars5/5Comparison Theorems in Riemannian Geometry Rating: 0 out of 5 stars0 ratingsCubic Forms: Algebra, Geometry, Arithmetic Rating: 0 out of 5 stars0 ratingsShape Theory: The Inverse System Approach Rating: 0 out of 5 stars0 ratingsEnveloping Algebras Rating: 0 out of 5 stars0 ratingsRiesz Spaces II Rating: 0 out of 5 stars0 ratingsAbstract analytic number theory Rating: 0 out of 5 stars0 ratingsAnalysis on Real and Complex Manifolds Rating: 0 out of 5 stars0 ratingsInfinite-Dimensional Topology: Prerequisites and Introduction Rating: 0 out of 5 stars0 ratingsA Mathematical Introduction to Dirac's Formalism Rating: 0 out of 5 stars0 ratingsTheory of Linear Operations Rating: 0 out of 5 stars0 ratingsCategories, Allegories Rating: 4 out of 5 stars4/5Modern General Topology Rating: 0 out of 5 stars0 ratingsElementary Theory of Numbers: Second English Edition (edited by A. Schinzel) Rating: 0 out of 5 stars0 ratingsTopics in General Topology Rating: 0 out of 5 stars0 ratingsGeometry of Numbers Rating: 0 out of 5 stars0 ratingsProjective Differential Geometry of Submanifolds Rating: 3 out of 5 stars3/5Unitary Representations and Harmonic Analysis: An Introduction Rating: 0 out of 5 stars0 ratingsIntroduction to Operator Theory and Invariant Subspaces Rating: 0 out of 5 stars0 ratingsTheory of Convex Structures Rating: 0 out of 5 stars0 ratingsDimension and Extensions Rating: 0 out of 5 stars0 ratingsTopological Theory of Dynamical Systems: Recent Advances Rating: 0 out of 5 stars0 ratingsMathematical Approaches to Neural Networks Rating: 0 out of 5 stars0 ratingsInitiation to Global Finslerian Geometry Rating: 0 out of 5 stars0 ratingsPower Geometry in Algebraic and Differential Equations Rating: 0 out of 5 stars0 ratingsStream Ciphers and Number Theory Rating: 0 out of 5 stars0 ratingsLie Algebras: Theory and Algorithms Rating: 0 out of 5 stars0 ratings
Related ebooks
Entire Functions Rating: 0 out of 5 stars0 ratingsAlgebraic Theory of Automata Rating: 0 out of 5 stars0 ratingsA Panorama of Pure Mathematics, As Seen by N. Bourbaki Rating: 0 out of 5 stars0 ratingsRepresentation Theory of Finite Groups Rating: 3 out of 5 stars3/5Homotopy Theory: An Introduction to Algebraic Topology Rating: 0 out of 5 stars0 ratingsRepresentations of Finite Groups Rating: 0 out of 5 stars0 ratingsOperators and Representation Theory: Canonical Models for Algebras of Operators Arising in Quantum Mechanics Rating: 3 out of 5 stars3/5Classical and Modern Integration Theories Rating: 1 out of 5 stars1/5Linear Representations of the Lorentz Group Rating: 0 out of 5 stars0 ratingsMeasure, Integration, and Functional Analysis Rating: 5 out of 5 stars5/5Introduction to Lie Groups and Lie Algebra, 51 Rating: 0 out of 5 stars0 ratingsModern Dimension Theory Rating: 0 out of 5 stars0 ratingsApplications of Finite Groups Rating: 0 out of 5 stars0 ratingsIntroduction to Set Theory and Topology Rating: 5 out of 5 stars5/5Fundamental Concepts of Abstract Algebra Rating: 5 out of 5 stars5/5Stories About Sets Rating: 4 out of 5 stars4/5Multidimensional Singular Integrals and Integral Equations Rating: 0 out of 5 stars0 ratingsVertex Operator Algebras and the Monster Rating: 5 out of 5 stars5/5Theory of Categories Rating: 0 out of 5 stars0 ratingsGeneralized Functions: Applications of Harmonic Analysis Rating: 5 out of 5 stars5/5Noncommutative Geometry Rating: 0 out of 5 stars0 ratingsInterpreting Bodies: Classical and Quantum Objects in Modern Physics Rating: 0 out of 5 stars0 ratingsThe Concept of a Riemann Surface Rating: 0 out of 5 stars0 ratingsAlgebra, Topology, and Category Theory: A Collection of Papers in Honor of Samuel Eilenberg Rating: 5 out of 5 stars5/5Theory of Formal Systems. (AM-47), Volume 47 Rating: 4 out of 5 stars4/5Cohomology and Differential Forms Rating: 5 out of 5 stars5/5Harvey Friedman's Research on the Foundations of Mathematics Rating: 0 out of 5 stars0 ratingsTopoi: The Categorial Analysis of Logic Rating: 5 out of 5 stars5/5Nonstandard Methods in Stochastic Analysis and Mathematical Physics Rating: 4 out of 5 stars4/5Levels of Infinity: Selected Writings on Mathematics and Philosophy Rating: 5 out of 5 stars5/5
Mathematics For You
The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsThe Math of Life and Death: 7 Mathematical Principles That Shape Our Lives Rating: 4 out of 5 stars4/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5My Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5Standard Deviations: Flawed Assumptions, Tortured Data, and Other Ways to Lie with Statistics Rating: 4 out of 5 stars4/5Flatland Rating: 4 out of 5 stars4/5Algebra - The Very Basics Rating: 5 out of 5 stars5/5Real Estate by the Numbers: A Complete Reference Guide to Deal Analysis Rating: 0 out of 5 stars0 ratingsQuantum Physics for Beginners Rating: 4 out of 5 stars4/5The Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5Limitless Mind: Learn, Lead, and Live Without Barriers Rating: 4 out of 5 stars4/5The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5ACT Math & Science Prep: Includes 500+ Practice Questions Rating: 3 out of 5 stars3/5Algebra I For Dummies Rating: 4 out of 5 stars4/5A Mind for Numbers | Summary Rating: 4 out of 5 stars4/5Introducing Game Theory: A Graphic Guide Rating: 4 out of 5 stars4/5Precalculus: A Self-Teaching Guide Rating: 5 out of 5 stars5/5The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics Rating: 3 out of 5 stars3/5Calculus Made Easy Rating: 4 out of 5 stars4/5Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition Rating: 4 out of 5 stars4/5Relativity: The special and the general theory Rating: 5 out of 5 stars5/5See Ya Later Calculator: Simple Math Tricks You Can Do in Your Head Rating: 4 out of 5 stars4/5The Elements of Euclid for the Use of Schools and Colleges (Illustrated) Rating: 0 out of 5 stars0 ratingsIs God a Mathematician? Rating: 4 out of 5 stars4/5
Related articles
Physicists Attack Math’s $1,000,000 Question QuantaArticle
Physicists Attack Math’s $1,000,000 Question
Apr 4, 2017
Physicists are attempting to map the distribution of the prime numbers to the energy levels of a particular quantum system.
4 min readVisionary Mathematician Vladimir Voevodsky Dies at 51 QuantaArticle
Visionary Mathematician Vladimir Voevodsky Dies at 51
Oct 11, 2017
3 min readMath’s Beautiful Monsters: How a destructive idea paved the way for modern math. NautilusArticle
Math’s Beautiful Monsters: How a destructive idea paved the way for modern math.
Apr 3, 2014
Much like its creator, Karl Weierstrass’ monster came from nowhere. After four years at university spent drinking and fencing, Weierstrass had left empty handed. He eventually took a teaching course and spent most of the 1850s as a schoolteacher in B
10 min readDon’t Worry, Smart Machines Will Take Us With Them: Why human intelligence and AI will co-evolve. NautilusArticle
Don’t Worry, Smart Machines Will Take Us With Them: Why human intelligence and AI will co-evolve.
Sep 3, 2015
When it comes to artificial intelligence, we may all be suffering from the fallacy of availability: thinking that creating intelligence is much easier than it is, because we see examples all around us. In a recent poll, machine intelligence experts p
7 min readU.S. Mathematician Becomes First Woman To Win Abel Prize, 'Math's Nobel' NPRArticle
U.S. Mathematician Becomes First Woman To Win Abel Prize, 'Math's Nobel'
Mar 19, 2019
"I find that I am bored with anything I understand," Karen Uhlenbeck once said. That sentiment is part of why she won what many call the Nobel of mathematics Tuesday.
3 min readIs Our Universe a One-Off Fluke, or an Endless Cycle? NautilusArticle
Is Our Universe a One-Off Fluke, or an Endless Cycle?
Apr 28, 2015
3 min readThe Twin Prime Hero: Rags, riches, and fame in mathematics. NautilusArticle
The Twin Prime Hero: Rags, riches, and fame in mathematics.
Dec 29, 2016
Yitang “Tom” Zhang spent the seven years following the completion of his Ph.D. in mathematics floating between Kentucky and Queens, working for a chain of Subway restaurants, and doing odd accounting work. Now he is on a lecture tour that includes st
8 min readEuclid as Founding Father: We hold this mathematics to be self evident. NautilusArticle
Euclid as Founding Father: We hold this mathematics to be self evident.
Oct 13, 2016
Despite the man’s awkward gestures, unkempt hair, and ill-fitting suit, it was one of the most extraordinary speeches that Reverend John Gulliver had ever heard. It was March 1860, and the venue was Norwich, Connecticut. The following morning Gullive
8 min readHow Bell’s Theorem Proved ‘Spooky Action at a Distance’ Is Real QuantaArticle
How Bell’s Theorem Proved ‘Spooky Action at a Distance’ Is Real
Jul 20, 2021
1 min readHow a Hypothesis Can Be Neither True Nor False NautilusArticle
How a Hypothesis Can Be Neither True Nor False
Apr 9, 2016
4 min readWe Need an FDA For Algorithms NautilusArticle
We Need an FDA For Algorithms
Nov 1, 2018
In the introduction to her new book, Hannah Fry points out something interesting about the phrase “Hello World.” It’s never been quite clear, she says, whether the phrase—which is frequently the entire output of a student’s first computer program—is
10 min readThe Sacred, Spherical Cows of Physics: Theoretical physics milks symmetry to power its newest tool. NautilusArticle
The Sacred, Spherical Cows of Physics: Theoretical physics milks symmetry to power its newest tool.
May 1, 2014
Early in their training, many physics students come across the idea of spherical cows. Cows in the real world—even at their most plump and well-fed—are hardly spherical, and this makes it tricky to calculate things like, say, how their volume or surf
11 min readHow the Slowest Computer Programs Illuminate Math’s Fundamental Limits QuantaArticle
How the Slowest Computer Programs Illuminate Math’s Fundamental Limits
Dec 10, 2020
6 min readHow Complex Is a Knot? New Proof Reveals Ranking System That Works. QuantaArticle
How Complex Is a Knot? New Proof Reveals Ranking System That Works.
May 18, 2022
1 min read
Reviews for Categories, Allegories
Rating: 4 out of 5 stars
4/5
3 ratings0 reviews
Book preview
Categories, Allegories - P.J. Freyd
Enjoying the preview?
Page 1 of 1