Bazsites Category Theory
Directory Topics
On the Web
- CT Category Theory - Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
- Computational Category Theory - An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
- A Gentle Introduction to Category Theory - Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular adjunctions. Proofs are given in a calculational style, and the (few) examples are taken from algorithmics. The text is a long PostScript file.
- (UK) University of Wales, Bangor - Computational Category Theory (part of The Computational Category Theory Project). People, activities, software.
- Theory and Applications of Categories (TAC) - An electronic journal of category theory. Full text, free.
- (Canada) McGill University - Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
- Category Theory - This expository article is an entry in the Stanford Encyclopedia of Philosophy.
- Category Theory - Jean-Pierre Marquis of the University of Montreal introduces the general mathematical theory of structures and systems of structures.
- Categories Home Page - Web page for the category theory mailing list.
- Rosebrugh, Robert - Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems.
Wikipedia Articles
- Diagram (category theory) - In category theory, a branch of mathematics, a diagram is the categorical analogue of a indexed family in set theory. The primary difference is that in the categorical setting one has morphisms as well: an indexed family of sets is a collection of sets, indexed by a fixed set (equivalently, ...
- Dual (category theory) - In category theory, a branch of mathematics, duality is a correspondence between properties of a category C and so-called dual properties of the opposite category Cop. Given a statement regarding the category C, by interchanging the source and target of each morphism as well as interchanging the order of ...
- Allegory (category theory) - In mathematics, in the subject of category theory, an allegory is a category that has some of the structure of the category of sets and binary relations between them. Allegories can be used as an abstraction of categories of relations, and in this sense the theory of allegories is a generalization of relation algebra to ...
- Span (category theory) - A span, in category theory, is a generalization of the notion of relation between two objects of a category. When the category has all pullbacks (and satisfies a small number of other conditions), spans can be considered as morphisms in a category of fractions.
- Cone (category theory) - In category theory, a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances in category theory as well.
Related Books and Items
- Category 7: The End Of The World (Widescreen) : In this hair-raising sequel to "Category Six: Day Of Destruction," mankind's survival against the elements is pushed to the limits... All across the globe, an unprecedented Category 6 storm descends with grea...
- Hot Brain: Fire Up Your Mind (PSP) - Pre-Owned : Fire up your mind with Hot Brain, a game that engages the mind through a series of puzzles and challenges designed to raise the activity and temperature of your brain. Hot Brain presents challenging and fun m...
- Christ and Culture Revisited : Using the Bible's own storyline and the categories of biblical theology, Carson attempts to work out the unifying vision of all Christians. More than theory, however, this work is designed to help Christians ...