Bazsites.com 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
- Dual (category theory) - In category theory, an abstract branch of mathematics, the dual category or opposite category Cop of a category C is the category formed by reversing all the morphisms of C. That is, we take Cop to be the category with objects that are those of C, but with the morphisms ...
- Higher category theory - The higher category theory is the part of category theory at a higher-order which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities.
- Span (category theory) - In category theory a span is a generalisation 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.
- Model category - In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ('arrows') called 'weak equivalences', 'fibrations' and 'cofibrations'. These abstract from a conventional homotopy category, of topological spaces or of chain complexes (derived category theory).
- Generator (category theory) - In category theory in mathematics a generator of a category \mathcal C is an object G of the category, such that for any two different morphisms f, g: X \rightarrow Y in \mathcal C, there is a morphism h : G \rightarrow X, such that the compositions f \circ h \neq ...