User contributions for Vipul
9 December 2008
- 23:2523:25, 9 December 2008 diff hist +382 Category No edit summary current
- 23:2223:22, 9 December 2008 diff hist +132 Functor No edit summary current
- 23:2123:21, 9 December 2008 diff hist +487 Contravariant functor No edit summary current
- 23:1923:19, 9 December 2008 diff hist +245 N Template:TOCright New page: {| cellspacing="0" cellpadding="0" style="clear: {{{clear|right}}}; margin-bottom: .5em; float: right; padding: .5em 0 .8em 1.4em; background: none; width: {{{width|{{{1|auto}}}}}};" {{#if... current
- 23:1923:19, 9 December 2008 diff hist +13 Functor No edit summary
- 23:1823:18, 9 December 2008 diff hist +310 Functor No edit summary
- 23:1723:17, 9 December 2008 diff hist +1,184 N Contravariant functor New page: ==Definition== ===Definition in basic terms=== Suppose <math>\mathcal{C}, \mathcal{D}</math> are categories. A '''contravariant functor''' <math>\mathcal{F}:\mathcal{C} \to ...
- 02:0402:04, 9 December 2008 diff hist +268 N Cocomplete category New page: {{category property}} ==Definition== A '''cocomplete category''' is a category in which all small colimits exist. In particular, it admits coproducts and coequalizers. ==Rel... current
- 02:0302:03, 9 December 2008 diff hist +89 Complete category No edit summary current
- 02:0302:03, 9 December 2008 diff hist +210 N Complete category New page: {{category property}} ==Definition== A '''complete category''' is a category that admits all small limits. In particular, it admits all categorical products, direct limit...
- 02:0002:00, 9 December 2008 diff hist +136 Monoidal category No edit summary current
- 01:5601:56, 9 December 2008 diff hist +514 N Symmetric monoidal category New page: {{category plus additional structure}} ==Definition== A '''symmetric monoidal category''' is a monoidal category <math>(\mathcal{C}, \otimes)</math> equipped with a commutativity iso... current
- 01:5201:52, 9 December 2008 diff hist +541 N Monoidal category New page: {{category plus additional structure}} ==Definition== A '''monoidal category''' is a category <math>\mathcal{C}</math> equipped with an additional operation, called a monoidal operat...
- 01:3501:35, 9 December 2008 diff hist +297 N Template:Defs facts and survey articles New page: '''VIEW''': [[Special:SearchByProperty/Defining ingredient/{{PAGENAME}}|Definitions built on this]] <nowiki>|</nowiki> [[Special:SearchByProperty/Fact about/{{PAGENAME}}|Facts about this]]... current
- 01:3401:34, 9 December 2008 diff hist +600 N Template:Basicdef New page: <includeonly>{{TOCright}}</includeonly> {{quotation|''This article is about a basic definition in category theory. The article text may, however, contain more material. Rate its utility as... current
- 01:3201:32, 9 December 2008 diff hist +781 N Opposite category New page: {{basicdef}} ==Definition== Suppose <math>\mathcal{C}</math> is a category. The '''opposite category''' to <math>\mathcal{C}</math>, denoted <math>\mathcal{C}^{op}</math>, is defined as ... current
- 01:2901:29, 9 December 2008 diff hist +22 N Template:Fillin New page: ''Fill this in later'' current
- 01:2901:29, 9 December 2008 diff hist +782 N Adjoint functors New page: ==Definition== Suppose <math>\mathcal{C}</math> and <math>\mathcal{D}</math> are categories. Suppose <math>\mathcal{F}:\mathcal{C} \to \mathcal{D}</math> and <math>\mathcal{G... current
- 01:2401:24, 9 December 2008 diff hist +171 N Zero object New page: ==Definition== An object in a category is termed a '''zero object''' if it is both an defining ingredient::initial object and a defining ingredient::final object.
- 01:2401:24, 9 December 2008 diff hist +263 Categorical product No edit summary current
- 01:2101:21, 9 December 2008 diff hist +89 Category No edit summary
- 01:2101:21, 9 December 2008 diff hist +601 N Categorical product New page: ==Definition== Suppose <math>\mathcal{C}</math> is a category and <math>A_1,A_2 \in \operatorname{Ob}\mathcal{C}</math>. A '''categorical product''', or simply '''product''', of <math>A_1...
- 01:1801:18, 9 December 2008 diff hist +33 N Product Redirecting to Categorical product current
- 01:1701:17, 9 December 2008 diff hist +545 N Final object New page: {{basicdef}} ==Definition== ===Definition with symbols=== An object <math>A</math> in a category <math>\mathcal{C}</math> is termed a '''final object''' if for every object <math>B ... current
- 01:1501:15, 9 December 2008 diff hist +268 Equivalence of categories No edit summary current
- 01:1401:14, 9 December 2008 diff hist +337 N Equivalence of categories New page: {{functor property}} ==Definition== ===Symbol-free definition=== An '''equivalence of categories]] is a functor between two categories that satisfies the following thre...
- 01:1201:12, 9 December 2008 diff hist +555 N Essentially surjective functor New page: {{basicdef}} {{functor property}} ==Definition== ===Symbol-free definition=== A functor is termed '''essentially surjective''' if every object in the target category is isomorph... current
- 01:0801:08, 9 December 2008 diff hist +592 N Initial object New page: {{basicdef}} ==Definition== Suppose <math>\mathcal{C}</math> is a category. An '''initial object''' in <math>\mathcal{C}</math> is an object <math>A \in \operatorname{Ob}\mathcal{C}</mat...
- 00:5800:58, 9 December 2008 diff hist +730 N Natural transformation New page: {{basicdef}} ==Definition== Suppose <math>\mathcal{C},\mathcal{D}</math> are categories, and <math>\mathcal{F}:\mathcal{C} \to \mathcal{D}</math> and <math>\mathcal{G}:\math... current
- 00:5300:53, 9 December 2008 diff hist +551 N Epimorphism New page: {{morphism property}} ==Definition== Suppose <math>\mathcal{C}</math> is a category, <math>A,B \in \operatorname{Ob}\mathcal{C}</math>, and <math>f \in \mathcal{C}(A,B)</math>. <math>f</... current
- 00:5000:50, 9 December 2008 diff hist +621 N Monomorphism New page: ==Definition== ===Definition with symbols=== Suppose <math>\mathcal{C}</math> is a category, <math>A,B \in \operatorname{Ob}\mathcal{C}</math>, and <math>f \in \mathcal{C}(A,B)</math... current
- 00:4600:46, 9 December 2008 diff hist +59 Template:Category property No edit summary
- 00:4500:45, 9 December 2008 diff hist 0 Template:Functor property No edit summary current
- 00:4500:45, 9 December 2008 diff hist +58 Template:Functor property No edit summary
- 00:4500:45, 9 December 2008 diff hist +255 N Template:Category plus additional structure New page: {{quotation|''This article defines a notion of a category along with some additional structure.''<br>View other such notions}}<include... current
- 00:4400:44, 9 December 2008 diff hist 0 Concrete category No edit summary current
- 00:4300:43, 9 December 2008 diff hist +324 N Concrete category New page: {{category with additional structure}} ==Definition== A '''concrete category''' is the data of a defining ingredient::category along with a defining ingredient::faithful functor ...
- 00:4100:41, 9 December 2008 diff hist +680 N Full functor New page: {{functor property}} ==Definition== ===Symbol-free definition=== A '''full functor''' is a functor such that the induced mapping on the collection of morphisms between any two objec... current
- 00:3800:38, 9 December 2008 diff hist +213 N MediaWiki:Sidebar New page: * SEARCH * navigation ** mainpage|mainpage-description ** portal-url|portal ** currentevents-url|currentevents ** recentchanges-url|recentchanges ** randompage-url|randompage ** helppage|h...
- 00:3700:37, 9 December 2008 diff hist +783 N Conservative functor New page: {{functor property}} ==Definition== ===Symbol-free definition=== A functor is termed '''conservative''' if it reflects isomorphisms: in other words, any morphism that gets mapped to... current
- 00:2700:27, 9 December 2008 diff hist +346 N Small category New page: {{category property}} ==Definition== A '''small category''' is a category satisfying ''both'' the following: * The collection of objects for the category is a set. * For any two objects... current
- 00:2000:20, 9 December 2008 diff hist +2 Template:Category property No edit summary
- 00:1900:19, 9 December 2008 diff hist +1,369 N Template:Category property New page: {{quotation|''This article defines a category property: a property that can be evaluated to true/false given a category.''<br>[[:Category:Category properties|View a complete list o...
- 00:1700:17, 9 December 2008 diff hist +302 N Template:Quotation New page: <blockquote class="toccolours" style="float:none; padding: 10px 15px 10px 15px; display:table;"> {{{1<noinclude>| {{Lorem}}</noinclude>}}}</blockquote><noinclude>''This template... current
- 00:1600:16, 9 December 2008 diff hist +395 N Template:Functor property New page: {{quotation|''This article defines a functor property: a property that can be evaluated to true/false given a functor between two categories.''<br>[[:Category:Functor properties|View a...
- 00:1400:14, 9 December 2008 diff hist +550 N Faithful functor New page: {{functor property}} ==Definition== ===Symbol-free definition=== A functor is faithful if the induced map on the collection of morphisms between any pair of objects is injective. ===Def... current
- 00:1200:12, 9 December 2008 diff hist +755 N Functor New page: ==Definition== Suppose <math>\mathcal{C},\mathcal{D}</math> are categories. A '''functor''' <math>\mathcal{F}</math> from <math>\mathcal{C}</math> to <math>\mathcal{D}</math>...
- 00:0800:08, 9 December 2008 diff hist +586 N Locally small category New page: {{category property}} ==Definition== ===Symbol-free definition=== A category is termed '''locally small''' if, for any two objects in the category, the collection of morphisms betwe... current
- 00:0600:06, 9 December 2008 diff hist +357 Category No edit summary
- 00:0500:05, 9 December 2008 diff hist +1,393 N Category New page: ==Definition== A '''category''' <math>\mathcal{C}</math> is the following data: * A collection <math>\operatorname{Ob}\mathcal{C}</math> of '''objects'''. * For any objects <math>A,B \in...