|
AB5 Category
In mathematics, in his " Tôhoku paper" introduced a sequence of axioms of various kinds of categories enriched over the symmetric monoidal category of abelian groups. Abelian categories are sometimes called AB2 categories, according to the axiom (AB2). AB3 categories are abelian categories possessing arbitrary coproducts (hence, by the existence of quotients in abelian categories, also all colimits). AB5 categories are the AB3 categories in which filtered colimits of exact sequences are exact. Grothendieck categories are the AB5 categories with a generator. References *{{Citation , last1=Grothendieck , first1=Alexander , author1-link=Alexander Grothendieck , title=Sur quelques points d'algèbre homologique , url=http://projecteuclid.org/euclid.tmj/1178244839 , mr=0102537 , year=1957 , journal=Tohoku Mathematical Journal The ''Tohoku Mathematical Journal'' is a mathematical research journal published by Tohoku University in Japan. It was founded in August 1911 b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
