Geometry.Net - Pure_And_Applied_Math: Category Theory


Home - Pure_And_Applied_Math - Category Theory

e99.com Bookstore

Images

Newsgroups

61-80 of 123 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20

Category Theory: more books (100)

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) by T. H. Tse, 2009-07-30
Category Theory: Proceedings of the International Conference Held in Como, Italy, July 22-28, 1990 (Lectures Notes in Mathematics, Vol. 1488) by A. Carboni, M.C. Pedicchio, 1992-01
The Categories and the Principle of Coherence: Whitehead's Theory of Categories in Historical Perspective (Nijhoff International Philosophy Series) by A.Z. Bar-on, 1987-08-31
Formal Category Theory: Adjointness for Two Categories (Lecture notes in mathematics, 391) by J. Gray, 1974-09
Category Theory (Lecture notes in mathematics)
Algebra, Topology and Category Theory: A Collection of Papers in Honour of Samuel Eilenberg
Galois Theory, Hopf Algebras, And Semiabelian Categories (Fields Institute Communications, V. 43)
Mathematical Applications of Category Theory (Contemporary Mathematics)
Kan Extensions in Enriched Category Theory (Lecture Notes in Mathematics) by Eduardo J. Dubuc, 1970-09-09
Advances in Quantum Computation: Representation Theory, Quantum Field Theory, Category Theory, Mathematical Physics, September 20-23, 2007, University of Texas at Tyler (Contemporary Mathematics)
Category theory at work (Research and exposition in mathematics)
Relative Category Theory and Geometric Morphisms: A Logical Approach (Oxford Logic Guides) by Jonathan Chapman, Frederick Rowbottom, 1992-03-05
Functorial Knot Theory : Categories of Tangles, Coherence, Categorical Deformations and Topological Invariants by David N. Yetter, 2001-04
Syntactic Categories: Their Identification and Description in Linguistic Theories (Oxford Surveys in Syntax and Morphology) by Gisa Rauh, 2010-07-29

lists with details

The Math Forum - Math Library - Cat. Theory/Homolgcl Alg.
sites and Web pages relating to the study of mathematics. This page contains sites relating to category theory/Homological Algebra.
http://mathforum.org/library/topics/category_theory/

Extractions: A short article designed to provide an introduction to category theory, a comparatively new field of mathematics that provides a universal framework for discussing fields of algebra and geometry. While the general theory and certain types of categories have attracted considerable interest, the area of homological algebra has proved most fruitful in areas of ring theory, group theory, and algebraic topology. History; applications and related fields and subfields; textbooks, reference works, and tutorials; software and tables; other web sites with this focus. more>>
Category Theory
category theory. category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.
http://www.fact-index.com/c/ca/category_theory.html

Extractions: Main Page See live article Alphabetical index Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them. It is half-jokingly known as "abstract nonsense". See list of category theory topics for a breakdown of the relevant Wikipedia pages. Table of contents 1 Background 11 Literature A category attempts to capture the essence of a class of related mathematical objects, for instance the class of groups . Instead of focusing on the individual objects (groups) as has been done traditionally, the morphisms, i.e. the structure preserving maps between these objects, are emphasized. In the example of groups, these are the group homomorphisms . Then it becomes possible to relate different categories by functors , generalizations of functions which associate to every object of one category an object of another category and to every morphism in the first category a morphism in the second. Very commonly, certain "natural constructions", such as the fundamental group of a topological space , can be expressed as functors. Furthermore, different such constructions are often "naturally related" which leads to the concept of
CTCS99
8th conference on category theory and Computer Science. Edinburgh, Scotland, UK; 1012 September 1999.
http://www.dcs.ed.ac.uk/home/ctcs99/

Extractions: CTCS '99 is the 8th conference on Category Theory and Computer Science . The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. While the emphasis is upon applications of category theory, it is recognized that the area is highly interdisciplinary. Previous meetings have been held in Guildford (Surrey), Edinburgh, Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure (Genova). Conference proceedings will appear in Electronic Notes in Theoretical Computer Science . Paper copies of the proceedings will be available to participants at the conference. Invited speakers:
Kernel (category Theory)
Kernel (category theory). In particular, kernel pairs can be used to interpret kernels in monoid theory or ring theory in categorytheoretic terms.
http://www.fact-index.com/k/ke/kernel__category_theory_.html

Extractions: Main Page See live article Alphabetical index In category theory and its applications to other branches of mathematics kernels are a generalization of the kernels of group homomorphisms and the kernels of module homomorphisms and certain other kernels from algebra . Intuitively, the kernel of the morphism f A B is the "most general" morphism k K A which, when composed with f , yields zero. Note that kernel pairs and difference kernels (aka binary equalisers) sometimes go by the name "kernel"; while related, these aren't quite the same thing and are not discussed in this article. Table of contents 1 Definition 5 Relationship to algebraic kernels Let C be a category . In order to define a kernel in the general category-theoretical sense, C needs to have zero morphisms. In that case, if f A B is an arbitrary morphism in C , then a kernel of f is an equaliser of f and the zero morphism from A to B . In symbols: To be more explicit, the following
Lambda The Ultimate Category Theory For Beginners (slides)
category theory for Beginners (slides). category theory for Beginners (slides) started 7/14/2003; 92024 AM last post 7/16/2003; 51355 PM.
http://lambda.weblogs.com/discuss/msgReader$7643

Extractions: 7/14/2003; 10:25:49 AM (reads: 1167, responses: 0) A nice little presentation. The stuff about a category theoretic view of specifications is interesting. For someone who liked the style of intro material in this presentation and wants to learn more, I would recommend "Conceptual Mathematics" by Lawvere and Schanuel, or "Sets for Mathematics" by Lawvere and Rosebrugh.
ATCAT
Dalhousie University, Halifax. Weekly meetings.
http://www.mscs.dal.ca/~pare/atcat.html

Extractions: @CAT ( At lantic Cat egory Theory Seminar) is our weekly seminar in which topics related to category theory (algebra, logic, topology, category theory itself, etc.) are discussed. We meet on Tuesdays, starting at 2:30. Everyone is welcome. If you wish to be put on the mailing list, contact me at pare@mscs.cs.dal.ca 2002-2003 Participants
Lambda The Ultimate Category Theory For Non-mathematicians
category theory for nonmathematicians. category theory for non-mathematicians started 8/20/2001; 14822 PM - last post 8/27/2001; 20414 AM.
http://lambda.weblogs.com/discuss/msgReader$1696

Extractions: 8/21/2001; 12:56:54 AM (reads: 2179, responses: 0) Are there any books in which programming and the math (category theory) are developed in parallel? Like a book on category theory with actual ML code? All the books I've seen are either pure abstract math (i.e. theorem / proof) or functional programming with at most a cursory reference to category theory, like "A fold function is a catamorphism." Also is there any glossary out there that relates different language constructs and category theory terminology? Like "Monad" seems to be strongly attached to Haskell and the writings of Wadler. Never seen "Monad" in CAML code. Monads seem to have a parallel in Scheme closures, but I've never seen anyone make this analogy. Cheers
CRTC -- Montréal -- Seminars
Timetable.
http://www.math.mcgill.ca/rags/seminar/

Extractions: Abstract: A completely regular space X is called absolute CR-epic if whenever X is embedded into another completely regular space Y, the induced map C(Y) > C(X) is an epimorphism in the category CR of commutative rings. For example, every space that is locally compact and sigma-compact is an absolute CR-epic. This is joint work with Robert Raphael and Grant Woods.
CompCat At Bangor
University of Wales, Bangor School of Informatics. Computational category theory. This site is part of The Computational category theory Project. Groups.
http://www.bangor.ac.uk/ma/research/compcat/
(Canada) University Of Calgary
Calgary Peripatetic Research Group in Logic and category theory alternates between departments of mathematics, philocophy, and computer science; meets weekly.
http://pages.cpsc.ucalgary.ca/~luigis/CPRGLCC/

Extractions: Logic and Category Theory Meetings on Logic and Category Theory to be held in the Philosophy Mathematics and Computer Science Departments of the University of Calgary TIME: Monday 2:10pm (weekly) , PLACE: ICT 616 (or as arranged). Fall 2001: next seminar, incoming seminars, past seminars. Participants
Computational Category Theory
Welcome to the Computational category theory Project. The Programs. To access the Computational category theory programs go to this directory.
http://www.cs.man.ac.uk/~david/categories/

Extractions: Welcome to the Computational Category Theory Project Computational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. For full details of the project, there is a copy of the manual (in PDF or Postscript) available here To access the Computational Category Theory programs go to this directory . There is a Readme file giving instructions on compiling and running the programs. Any comments? Please email me at david @ cs.man.ac.uk This page is maintained by myself, email address above. Last updated 21-05-03
Manchester Uni Formal Methods Group - Category Theory And Logic In Computation
category theory and Logic in Computation. Principal Contributions of logic and category theory to the semantics of computation. Studies
http://www.cs.man.ac.uk/fmethods/projects/category-theory-and-logic.html

Extractions: Principal investigator: David E Rydeheard (david@cs.man.ac.uk) The ongoing research in this area covers: The implementation of category theory as functional programs - an axiomatisation of the notion of computability relevant to this implementation. Category theory as a general framework for logic: Logical frameworks based on categorical logic - modular construction of logics. The application to program logics and program development methods. Implementation as a categorical `program development environment'. Contributions of logic and category theory to the semantics of computation. Studies in the structure of programming languages, especially type structure. Funding: Two EU projects - "CLICS-II" and "Types for Proofs and Programs". FM Home Page
INTERNATIONAL CATEGORY THEORY CONFERENCE(CT04)
INTERNATIONAL category theory CONFERENCE(CT04). July 2004. All those interested in category theory and its applications are welcome.
http://www.pims.math.ca/science/2004/CT04/
ATCAT
@CAT. @CAT (Atlantic category theory Seminar) is our weekly seminar in which topics related to category theory (algebra, logic, topology, category theory itself
http://www.mathstat.dal.ca/~pare/atcat.html

Extractions: @CAT ( At lantic Cat egory Theory Seminar) is our weekly seminar in which topics related to category theory (algebra, logic, topology, category theory itself, etc.) are discussed. We meet on Tuesdays, starting at 2:30. Everyone is welcome. If you wish to be put on the mailing list, contact me at pare@mscs.cs.dal.ca 2002-2003 Participants
PlanetMath: Category Theory
category theory, (Topic). Introduction. As a tool, category theory allows mathematicians to focus on the morphisms between objects rather than their elements.
http://planetmath.org/encyclopedia/CategoryTheory.html

Extractions: category theory (Topic) Much of contemprary mathematics studies algebraic structures of one sort or another: rings groups vector spaces and many others. More generally, the idea of a set with some structure is very general: topological spaces differentiable manifolds graphs and so on. Each of these kinds of things has a notion of a function that respects the structure: group and ring homomorphisms linear transformations continuous functions differentiable functions , graph homomorphisms category was introduced. A category has two parts: a collection of objects, and a notion of morphism between two objects. These morphisms are required to have an associative composition law, and there are a few other conditions, but a category is a very general notion. Each of the examples listed above forms a category. Some very simple objects can form categories; the objects need not have meaningful elements, and the morphisms need not be functions.
Category Theory For Computer Science
category theory for Computer Science. Autumn 2002 computer science category theory in programming language semantics and design.
http://www.daimi.au.dk/~nygaard/CTfCS/
Image (category Theory) - Encyclopedia Article About Image (category Theory). Fr
encyclopedia article about Image (category theory). Image (category theory) in Free online English dictionary, thesaurus and encyclopedia.
http://encyclopedia.thefreedictionary.com/Image (category theory)

Extractions: Click the link for more information. , two objects Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them. It is half-jokingly known as "abstract nonsense". See list of category theory topics for a breakdown of the relevant Encyclopedia pages. A category attempts to capture the essence of a class of related mathematical objects, Click the link for more information. in it, X and Y and a morphism In mathematics, a category is given by two pieces of data: a class of objects and, for any two objects X and Y , a set of morphisms from X to Y . Morphisms are often depicted as arrows between those objects. In the case of a concrete category, X and Y are sets of some kind and a morphism f is a function from X to Y satisfying some condition; this example supplies the notation
Category Theory - Encyclopedia Article About Category Theory. Free Access, No Re
encyclopedia article about category theory. category theory in Free online English dictionary, thesaurus and encyclopedia. category theory.
http://encyclopedia.thefreedictionary.com/category theory

Extractions: Dictionaries: General Computing Medical Legal Encyclopedia Word: Word Starts with Ends with Definition Category theory is a mathematical Mathematics is commonly defined as the study of patterns of structure, change, and space; more informally, one might say it is the study of 'figures and numbers'. In the formalist view, it is the investigation of axiomatically defined abstract structures using logic and mathematical notation; other views are described in Philosophy of mathematics. Mathematics might be seen as a simple extension of spoken and written languages, with an extremely precisely defined vocabulary and grammar, for the purpose of describing and exploring physical and conceptual relationships.
Category Theoretic Perspectives On The Foundations Of Mathematics
Problems for category theory in Classical Set Theoretic Foundations. Some Links related to category theory and the Foundations of Mathematics.
http://www.rbjones.com/rbjpub/philos/maths/faq004.htm

Extractions: See also the Categories Home Page I don't pretend to understand what category theory has to say about the foundations of mathematics, but I would rather like to understand. To that end these notes are compiled recording my impressions, such as they are, about the why Category theorists have misgivings about classical set theory as a foundation for mathematics and what (if anything) they would like to offer in its stead. problems links Doing Category Theory in Set Theory Many categories are categories of all examples of a particular kind of mathematical structure (or of all models of a particular theory). Such collections are problematic in set theory in the same way as the set of all sets. In consistent set theoretic foundations based on the iterative conception of set they can be proven not to exist. Though there are techniques which can be employed to mitigate these difficulties, the solutions are not entirely satisfactory, and the view that set theory is not a natural context in which to do category theory may persist. For more on this kind of problem, see: Chapter 8 Introduction and Section 3 . Furthermore, certain kinds of construction which are important in category theory cannot reliably be done in set theory, for similar reasons, see
Online Encyclopedia - Category Theory
, Encyclopedia Entry for category theory. See list of category theory topics for a breakdown of the relevant Wikipedia pages.Encyclopedia
http://www.yourencyclopedia.net/Category_theory.html

Extractions: Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them. It is half-jokingly known as "abstract nonsense". See list of category theory topics for a breakdown of the relevant Wikipedia pages. Table of contents showTocToggle("show","hide") 1 Background 11 Literature A category attempts to capture the essence of a class of related mathematical objects, for instance the class of groups . Instead of focusing on the individual objects (groups) as has been done traditionally, the morphisms , i.e. the structure preserving maps between these objects, are emphasized. In the example of groups, these are the group homomorphisms . Then it becomes possible to relate different categories by functors , generalizations of functions which associate to every object of one category an object of another category and to every morphism in the first category a morphism in the second. Very commonly, certain "natural constructions", such as the fundamental group of a topological space , can be expressed as functors. Furthermore, different such constructions are often "naturally related" which leads to the concept of

61-80 of 123 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20