User contributions for Vipul
26 December 2008
- 06:5706:57, 26 December 2008 diff hist 0 Template:Category property No edit summary current
- 06:5406:54, 26 December 2008 diff hist +56 Preabelian category No edit summary current
- 06:5206:52, 26 December 2008 diff hist +1,076 N Abelian category New page: {{preadditive category property}} ==Definition== An Abelian category is a category enriched over the monoidal category of Abelian groups satisfying the ... current
- 06:4806:48, 26 December 2008 diff hist +212 Preabelian category →In terms of preadditive category
- 06:4506:45, 26 December 2008 diff hist +33 N PreAbelian category Redirecting to Preabelian category current
- 06:4506:45, 26 December 2008 diff hist +59 Additive category No edit summary current
- 06:4306:43, 26 December 2008 diff hist +856 N Preabelian category New page: ==Definition== ===In terms of additive category=== A '''preabelian category''' (sometimes written '''preAbelian category''' or '''pre-Abelian category''') is an [[defining ingredient::ad...
- 06:3506:35, 26 December 2008 diff hist +202 N Conormal category New page: ==Definition== A '''conormal category''' is a category enriched over the monoidal category of pointed sets in which every epimorphism is [[normal epimorp... current
- 06:3406:34, 26 December 2008 diff hist +223 N Normal category New page: ==Definition== A '''normal category''' is a category enriched over the monoidal category of pointed sets satisfying the condition that every monomorphism...
- 05:0605:06, 26 December 2008 diff hist +3 Normal epimorphism No edit summary current
- 05:0505:05, 26 December 2008 diff hist +3 Normal monomorphism No edit summary current
- 05:0405:04, 26 December 2008 diff hist +1,879 N Normal epimorphism New page: ==Definition== ===In a preadditive category=== In a preadditive category (i.e., a category enriched over the monoidal category of Abelian groups), a '''norm...
25 December 2008
- 12:3012:30, 25 December 2008 diff hist +252 Initial object →Examples of categories without initial objects current
- 12:2812:28, 25 December 2008 diff hist +870 Zero object No edit summary current
- 12:2412:24, 25 December 2008 diff hist +493 Initial object No edit summary
- 12:2212:22, 25 December 2008 diff hist +1,287 Normal monomorphism No edit summary
- 12:1612:16, 25 December 2008 diff hist +883 N Normal monomorphism New page: ==Definition== ===In a preadditive category=== In a preadditive category (i.e., a category enriched over the category of Abelian groups), a '''normal monomo...
- 12:1012:10, 25 December 2008 diff hist 0 Biproduct →For two objects current
- 12:1012:10, 25 December 2008 diff hist +1,433 N Biproduct New page: ==Definition== ===For two objects=== Suppose <math>\mathcal{C}</math> is a category and <math>A_1,A_2 \in \operatorname{Ob}\mathcal{C}</math>. A '''biproduct''' of <math>A_1</math> a...
- 11:4711:47, 25 December 2008 diff hist +120 N MediaWiki:Sitenotice New page: thumb|75px|right|[http://www.4am.co.in Visit] The Category Theory Wiki (pre-pre-alpha)
- 11:4611:46, 25 December 2008 diff hist +11 N File:Logo.jpg Logo of 4AM current
- 11:4311:43, 25 December 2008 diff hist +17 N Category:Terminology New page: {{supercategory}} current
- 11:4211:42, 25 December 2008 diff hist +17 N Category:Particular objects New page: {{term category}} current
- 11:4111:41, 25 December 2008 diff hist +61 Category:Particular categories No edit summary current
- 11:4111:41, 25 December 2008 diff hist +643 N Category of small categories New page: {{particular category}} ==Definition== The '''category of small categories''', sometimes denoted <math>\operatorname{Cat}</math>, is defined as follows: * The objects of the category ar... current
- 11:3711:37, 25 December 2008 diff hist +277 MediaWiki:Sidebar No edit summary
- 11:3411:34, 25 December 2008 diff hist +203 N Template:Supercategory New page: {{quotation|''This is a supercategory. It does not have any articles itself; all articles are listed in subcategories''<br>[[Help:Categorytree navigation|Learn more about navigating the ca... current
- 11:3411:34, 25 December 2008 diff hist +248 N Template:Term category New page: {{quotation|''This is a category (or supercategory) listing a broad class of terms/terminology, with definitions and further information.''<br>[[:Category:Terminology|View other term categ... current
- 11:3311:33, 25 December 2008 diff hist +110 N Template:Property-theoretic category New page: ''This is a property-theoretic category''<includeonly>Category:Property-theoretic categories</includeonly> current
- 11:3211:32, 25 December 2008 diff hist +67 N Category:Properties New page: {{property-theoretic category}} {{term category}} {{supercategory}} current
- 11:3111:31, 25 December 2008 diff hist +112 N Category:Category properties New page: This category lists properties that can be evaluated for a (mathematical) category. Category:Properties current
10 December 2008
- 02:0902:09, 10 December 2008 diff hist −17 Additive category No edit summary
- 01:4401:44, 10 December 2008 diff hist +348 N Additive category New page: {{category plus additional structure}} ==Definition== An '''additive category''' is defined as a preadditive category that also admits finite products and coproducts. ==Rela...
- 01:4301:43, 10 December 2008 diff hist +488 N Preadditive category New page: {{category plus additional structure}} ==Definition== A '''preadditive category''' is a category enriched over the monoidal category of Abelian groups. Note tha... current
- 01:4001:40, 10 December 2008 diff hist +325 N Monoidal category of abelian groups New page: {{particular monoidal category}} ==Definition== The '''monoidal category of Abelian groups''' is defined as follows: * The underlying category is the category of Abelian groups. * T...
- 01:3901:39, 10 December 2008 diff hist +963 N Category of abelian groups New page: {{particular category}} ==Definition== The '''category of Abelian groups''', sometimes denoted <math>\operatorname{Ab}</math>, is defined as follows: * Its objects are Abelian group...
- 01:2401:24, 10 December 2008 diff hist 0 Locally finitely presentable category No edit summary current
- 01:2301:23, 10 December 2008 diff hist +284 Locally finitely presentable category No edit summary
- 01:2201:22, 10 December 2008 diff hist +382 N Locally finitely presentable category New page: ==Definition== A '''locally finitely presentable category''' is a locally small category that satisfies the following conditions: * It is [[defining ingredient::cocomplete category|c...
- 01:1801:18, 10 December 2008 diff hist +14 Covariant Hom functor No edit summary current
- 01:1001:10, 10 December 2008 diff hist +132 N Category:Functor properties New page: This category lists properties that can be evaluated for a functor between two categories. Category:Properties current
- 01:0901:09, 10 December 2008 diff hist +257 N Pullback-preserving functor New page: {{functor property}} ==Definition== ===Symbol-free definition=== A functor between two categories is termed '''pullback-preserving''' if it maps any [[pullback diagram]... current
- 01:0701:07, 10 December 2008 diff hist +961 N Product-preserving functor New page: {{functor property}} ==Definition== ===Symbol-free definition=== A functor between two categories is termed '''product-preserving''' if it preserves [[categorical produc... current
- 00:5800:58, 10 December 2008 diff hist +1,237 N Enriched category New page: ==Definition== Suppose <math>\mathcal{M}</math> is a defining ingredient::monoidal category. A '''category enriched in''' <math>\mathcal{M}</math> is defined as a <math>\mathcal{C}</m...
- 00:1100:11, 10 December 2008 diff hist +1,013 Category of sets No edit summary current
- 00:0700:07, 10 December 2008 diff hist +42 N Category:Particular categories New page: This category lists particular categories.
- 00:0500:05, 10 December 2008 diff hist +385 N Category of pointed sets New page: {{particular category}} ==Definition== The '''category of pointed sets''', denoted <math>\operatorname{Set}_*</math>, is defined as followed: * Its objects are pointed sets. A pointed s... current
- 00:0300:03, 10 December 2008 diff hist +38 Category of groups No edit summary current
- 00:0200:02, 10 December 2008 diff hist +139 Category of groups No edit summary
- 00:0100:01, 10 December 2008 diff hist +18 Category of topological spaces No edit summary current