178:
in the category of sets, where morphisms are functions, two functions may be identical as sets of ordered pairs (may have the same range), while having different codomains. The two functions are distinct from the viewpoint of category theory. Thus many authors require that the hom-classes hom(X, Y) be disjoint. In practice, this is not a problem because if this disjointness does not hold, it can be assured by appending the domain and codomain to the morphisms, (say, as the second and third components of an ordered triple).)
95:
85:
64:
31:
22:
319:). As far as I know, the majority of recent works in the subject use Hom to denote the abelian group of morphisms, and Mor for the underlying set. Maybe I'm wrong on this point, but certainly Osborne's "Basic Homological Algebra" uses this convention, Lang's "Algebra" certainly uses the Mor notation. Another common notation which is not even mentioned in the article is
1639:, i.e. it is "possible to think of the objects of the category as sets with additional structure, and of its morphisms as structure-preserving functions", but some are not. E.g. every (pre-)ordered set can be seen as a category, with the elements of the set being the objects of the category and a morphism/arrow between to objects
2200:
Your phrase "general relation between two arbitrary objects" implies that one could have a morphism from a number to morphism. This is not that you intend to say, but it is indeed confusing also a function from a set to another set preserves the empty structure. So it is not wrong to say that it is a
1983:
Thanks for the discussion, and no apology called for -- my fault for not checking back. I have gone boldly ahead to revise the intro so that it combines my suggested first sentence with the original para. I've not added your link to homomorphism, as I'm not sure where to work it in, so please do so.
1393:
I don't know much category theory, but having been given a few diagrams to chase, I've found out that monomorphisms are written as arrows with a hook (βͺ), epimorphisms are written with double-headed arrows (β ), and isomorphisms are written with double arrows (β). Furthermore, the algebraists who use
812:
I can't make sense of that statement (and the sentance that follows it). In the category of sets, the codomain is going to be the set of all of the second elements of the pairs. So if two sets of ordered pairs are identical, then thier codomains are identical, (as are thier domains). So this sentance
1550:
Thanks James and Paul. I guess the issue here was that order of sentences gets in the way of exposition for us readers who don't already know the material. Within the
Definition section, introducing the domain and codomain operations before introducing the domain and codomain features of a morphism
552:
Another example of a bimorphism that is not an isomorphism: Consider the free monoid on one generator, i.e. the natural numbers with 0 under addition, as a category, in the standard way by having one object and each number corresponding to an arrow. Then every arrow is epi and mono, essentially by
523:
merely a graphic showing which morphisms imply which others in a 'normal' context. Iso points to epi and mono, which point to surjection and injection, respectively, endo points to homomorphism (and nothing else), etc. I believe the table would be accurate, and give a feel for the interdependence
177:
which probably don't even use the same wording in the definition. Every proposition in here that isn't trivial needs to be justified by a source. If someone doesn't explain why there aren't some I'm going to start removing non-trivial bits of information (such as the following passage: For example,
1405:
I'm thinking of scattering some pointers to this request around, unless there is a better way of accomplishing it. I also don't know how this is best accomplished in text (as above), where the use of various browsers that don't support
Unicode must be taken into account. I didn't see anything in
339:
If someone could give me examples, and functions or equivalent objects therein, of a category in which there exists a so-called 'bimorphism' which is NOT an isomorphism, by all means discuss it here. As it stands, with my undergraduate background, I see no reason why a bimorphism does not always
1952:
Reading what I wrote again I am now afraid I may have stifled the discussion (it's a knack, sorry). That was of course not my intention. There is always room for improvement, and if you believe that the lead section may be incomprehensible to the lay reader, by all means, go on and improve it. β
903:
In the definition section the last paragraph give a quick blurb on how two functions on sets when viewed as functions on sets are the same, but when viewed as morphisms on a category are different (distinct). I don't understand the mechanism that it's talking about, perhaps that section could be
756:
In a concrete category, every surjective morphism has a set-theoretic right-inverse function. But does it always have a right-inverse morphism? I know for example that this is the case in any category of algebraic objects (in the sense of universal algebra). Is it true more generally? I know
2154:
I agree, these edits must be reverted, and I'll do it. In fact the article defines automorphisms for any structure, and there is no reason to choose, as a prominent example, a very specialized structure, much less known than many much more common examples (such as topological spaces or vector
1873:
Thanks Mark for the comment that there might be two distinct meanings of "morphism" in play here, very useful. However, your comment about "synonym" doesn't seem to be describing a synonym, but rather an alternative definition. And having decided to use "map" as the relationship in your first
690:
It is difficult to get closer to the notion of isomorphism while remaining strictly weaker than with the concept of a bimorphism -- it is not possible to have an arrow with left-inverse and right-inverse which are not the same. Indeed, any monomorphism with right inverse, and similarly any
1850:
we have an obligation to make the lead as accessible as possible. I used "map" as term somewhat less concrete than "function", but still familiar enough to someone with a little math training to give them an intuitive idea of what role a morphism plays in category theory
1711:
I think the challenge here is that there are at least two uses of the word morphism in mathematics: (1) an arrow in category theory and (2) the general concept of a structure preserving mapping. The lead has to discuss both these uses without confusing the reader. How
1612:
Does the intro sentence need to be so hedgey and ethereal-sounding? Isn't the following more straightforward statement true, or at least close enough for a good start? "In mathematics, a morphism is a structure-preserving mapping between two mathematical structures."
1414:
that suggests ways of accomplishing this. Still, I'm mostly concerned with the commutative diagrams, where I've had one of those "working mathematician disappointed by wikipedia" moments. Perhaps if I were less averse to m*thw*rld I would have found it easier.
2012:
The entire point of the notion of morphisms as "structure-preserving mappings" is to be as general as possible. While this may cause some confusion or ambiguity at first, the abundance of examples on this page should clarify the power of such a general notion.
2180:
The edit that tried to remove the paragraph, and just leave the (slightly modified) more correct paragraph beneath it, was reverted. It was reverted on grounds that it was "too vague", despite the fact that the paragraph is still on the page currently.
1657:, i.e. the morphisms are not functions, and there is no structure to preserve. The nomenclature is certainly derived from morphisms as "structure-preserving mappings between two mathematical structures" but it is more abstract and general than that. β
729:
A holomorphism, as opposed to a holomorphic function, generally means a holomorphic map between complex manifolds, in other words a morphism in the category of complex manifolds. Of course, a holomorphic function is just a holomorphic map to
1394:
these things consider them so standard that the usage isn't glossed in a typical article. It would be really nice if this usage (and any other ways that convey the same information) were described on the morphism page, and were used in
543:
Better to state only those implications which are true in all categories. It is too problematic to qualify what constitutes a "normal" category. A quick glance at such at qualified implication table is likely to confuse readers. --
1557:
Given a morphism f which has domain X and codomain Y, we write fΒ : X β Y. Thus a morphism is represented by an arrow from its domain to its codomain. We can also write formal statements about the domain and codomain of f, using
1675:
I am not following your line of reasoning. Your concluding sentence appears to say "The nomenclature is certainly derived from morphisms, but is more abstract and general than ". Ie: morphisms are more abstract than
2184:
The definition of "morphism" is going to be "vague" (general), since it's just an abstract mathematical object as part of the definition of another abstract mathematical object (which that paragraph below links to.
1113:
775:. It has set-theoretic right-inverse function (the logarithm), but this cannot be continuous on the whole circle, I think. If it were, then the right-inverse would be a homeomorphism onto a subset of the line? -
784:
Therefore surjectivity is weaker than split epimorphism, as the above example shows. And epimorphism is weaker than surjectivity, as the dense image example shows. Does this same heirarchy hold for injections?
1788:
is a group homomorphism mapping from one group to another. In this sense, the morphism in category theory is a useful abstraction of the universal properties that all these structure-preserving mappings
1461:
the meaning of "two operations defined on every morphism" is that there are two operations, and that each of these two can be applied to any morphism. However, if anyone knows better please correct it.
982:
331:). I might find time to hunt this question down in the next few days & see if I should change the article. Anyone with strong views on this subject, please chip in. Ben 11:05, 11 August 2006 (UTC)
1534:
respectively. The term "arrow" is simply a synonym for "morphism". It is used to emphasize the abstract nature of morphisms, as distinct from the more concrete and prototypical example of functions.
1035:
1442:
In what sense can a morphism actually BE an arrow? Surely this is confusing the concept "morphism" with the symbol used to represent it? Or is arrow written in italics some special technical term?
1832:
Isn't that the point? That the objects of a category need not be sets and the morphisms need not be maps/mappings/functions? Or perhaps I am missing some subtlety in your use of the word "map". β
218:
There should be more examples on this topic that can elaborate how to find a specific function or map that is actually a morphism because every function on some objects is not a morphism e.g.
1926:
somewhere.) I still personally prefer the intro as it is currently worded. But I agree that the lead section should be as accessible as possible ("as simple as possible, but not simpler"). β
151:
1432:
In what sense of the word "operation" are domain and codomain "operations" on a morphism? In lay terms they are properties or characteristics or just parts of a morphism, but "operations"?
823:
JA: No, you are confusing codomain and range. But some of these articles have been worked over in a way that encourages that confusion, so it might help to rewrite things more clearly.
359:
In most algebraic categories, like groups, rings, vector spaces, bimorphisms are always isomorphisms. One generally needs to go to a nonalgebraic category for a counterexample. Take the
2248:
1896:
is a broadly similar idea, but somewhat more abstract: the mathematical objects involved need not be sets, and the relationship between them may be something more general than a map.
1620:
saysΒ : "In abstract algebra, a homomorphism is a structure-preserving map between two algebraic structures...". No suggestion that a homomorphism is "an abstraction derived from...".
426:
474:
2177:
The first paragraph describes a morphism as being a "structure preserving map", however, this is a completely unsourced statement, and one that I cannot find used anywhere else.
1375:
1243:
939:
1285:
1153:
1609:
In the first sentence of the intro we read: "In mathematics, a morphism is an abstraction derived from structure-preserving mappings between two mathematical structures."
757:
examples of epics which are not surjective, but none of them are split epic. So for example, is there a continuous surjective map who has no continuous right-inverse? -
656:
592:
2238:
1337:
1311:
1207:
1180:
682:
618:
1693:
That would seem a tall order to fill. Your discussion of morphisms as functions, and the example where they are not, doesn't seem to be more abstract than "map".
2253:
496:
Damn, that was fast, thanks. One more thing: how does the addition of an implication table (limited to certain categories) at the top of the page grab folks?
340:
imply an isomorphism, both being precisely bijective homomorphisms. The more general information on morphisms, on which I am unaware, would be helpful. -Cory
35:
2263:
141:
807:
For example, in the category of sets, where morphisms are functions, two functions may be identical as set of ordered pairs, but have different codomains.
1918:
As long as the lead section makes it clear from the start that morphisms need not be functions at all I should not protest too loudly if something like
2233:
844:." thus eminding sloppy readers such as I that range and codomain are not the same. I'll make the change if you don't like it, revert, I'm not picky.
1846:
There is no subtlety here; the idea is to give a context for the term morphism and to explain to the non-specialist reader what morphisms are. From
2243:
708:
1780:, and so on. Each structure-preserving mapping corresponds to a morphism in the associated category; for instance in the category of groups, an
1155:, and annotating the codomain is just syntactic sugar. This is a very common viewpoint. However, strictly speaking, it makes good sense to keep
2204:
Nevertheless, I agree that the previous version of the lead was very far to be optimal. For this reason, I have completely rewritten the lead.
117:
2258:
1679:
To me, for morphisms to be "an abstraction derived from structure-preserving mappings between two mathematical structures", as in the intro,
179:
231:
1040:
2049:
687:
Thus in this category, every arrow is a bimorphism, but only n = 0, the identity, has an inverse and thus only n = 0 is an isomorphism.
531:
503:
347:
260:
279:
108:
69:
289:
2228:
1551:
creates a mental hiccup. I think the section would be more helpful if presented the same info in a slightly different order:
1411:
944:
360:
987:
202:
Y, where X and Y are some mathematical objects but it is a map that brings us from (X,*) into (X',*') i.e. f:(X,*)-: -->
44:
1874:(category theory) definition, the two definitions are barely distinguished, returning to my original comment/question.
721:
1958:
1931:
1837:
1662:
2190:
183:
886:
235:
2186:
2043:
556:
More concretely, we all know from basic facts about that integers that, given any number n, it is true that
535:
507:
351:
305:
I think the article is currently incorrect in stating that the set of morphisms in a category is denoted Hom
1954:
1927:
1833:
1658:
1429:"There are two operations defined on every morphism, the domain (or source) and the codomain (or target)."
380:
1889:
1761:
1745:
1467:
264:
255:
That's incorrect. 'Morphism' is used in a more general sense than the one you describe. See the page on
882:
437:
2039:
1856:
1799:
1753:
1538:
1380:
864:
50:
94:
1777:
1342:
527:
499:
343:
285:
227:
692:
21:
1985:
1919:
1897:
1694:
1621:
1588:
1443:
1399:
1216:
911:
837:
364:
2138:
1252:
836:
Dohh. Of course. Thanks. I'll try to tweak that sentance to say "..ordered pairs, having the same
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
2209:
2160:
2018:
1989:
1901:
1769:
1698:
1625:
1592:
1447:
881:
is the right word to use here. Range and codomain are usually used as synonyms for each other. --
100:
1118:
84:
63:
1922:'s suggestion for the lead sentences is used. (We could probably work in a link to the article
2142:
1884:
1740:
1636:
1463:
524:
of all these various named morphisms, if we could qualify which categories it holds in. -Cory
375:
necessarily a homeomorphism; the inverse map need not be continuous. Take for example the map
243:
1852:
1795:
1535:
623:
559:
1316:
1290:
2155:
spaces). However, it would be useful to quote that the automorphisms form always a group.
1815:
1718:
1395:
1185:
1158:
824:
717:
256:
1435:"If a morphism f has domain X and codomain Y, we write fΒ : X β Y. Thus a morphism is an
661:
597:
1757:
786:
776:
758:
735:
371:. Any bijective continuous map is a bimorphism in this category, however such a map is
247:
2222:
2205:
2156:
2014:
1416:
1407:
368:
1923:
1765:
1617:
545:
516:
489:
1748:
to another. The notion of morphism recurs in much of contemporary mathematics. In
2071:
2053:
1819:
1722:
1685:
the map has to apply to something more abstract than mathematical structures, or
113:
2098:
1749:
1210:
845:
814:
742:
713:
293:
90:
684:; these are precisely the statements that n is mono and epi, respectively.
2060:. These additions feel somewhat out of place to me, and more specifically,
553:
the freeness assumption, however, only the identity arrow has an inverse.
2057:
1847:
1773:
841:
1115:. So if your definition of a function is actually just the graph, then
703:
Holomorphism exits? And I'm not talking about "holomorphic functions"!
2194:
1733:
is a map from one object to another. In other fields of mathematics,
1108:{\displaystyle \{(x,y):x\in \mathbb {R} ,y\in \mathbb {R} ,y\geq 0\}}
1688:
whatever the map preserves has to be more abstract than structure.
1213:
and one isn't! Therefore, an alternative definition of a function
2213:
2164:
2146:
2022:
1993:
1962:
1935:
1905:
1860:
1841:
1803:
1702:
1666:
1629:
1596:
1541:
1471:
1451:
1419:
1383:
890:
867:
848:
827:
817:
789:
779:
761:
745:
268:
187:
15:
432:
from the half-open unit interval to the unit circle given by
691:
epimorphism with a left inverse, must be an isomorphism. --
1457:
I have slightly reworded this in the hope of clarifying. I
863:
instead of range, this might prevent the confusion above.
1482:, there are functions (you can also call them operations)
224:
i.e sin is not a morphism of multiplication over addition.
480:
This map is bijective and continuous, but the inverse is
173:
My god, almost none of this is sourced save for notes in
977:{\displaystyle f_{1}\colon \mathbb {R} \to \mathbb {R} }
2062:
2034:
2008:
Disambiguation needed for structure-preserving mapping?
1030:{\displaystyle f_{2}\colon \mathbb {R} \to [0,\infty [}
904:
expanded on a little and possibly include an example?
515:
I'm not sure what you mean by an implication table. --
1425:
This is either incorrect, or technical yet unexplained
1345:
1319:
1293:
1255:
1219:
1188:
1161:
1121:
1043:
990:
947:
914:
664:
626:
600:
562:
440:
383:
280:
to-what-extent-are-morphisms-required-to-be-functions
212:
For example the logarithm to any base is a morphism
112:, a collaborative effort to improve the coverage of
1682:a morphisms has to be more abstract than a map, or
1369:
1331:
1305:
1279:
1237:
1201:
1174:
1147:
1107:
1029:
976:
933:
676:
650:
612:
586:
468:
420:
335:Example of a bimorphism which is not a isomorphism
488:is then a bimorphism but not an isomorphism. --
2249:Knowledge level-5 vital articles in Mathematics
1715:
484:continuous (it cuts the circle apart). The map
275:Demonstrate a morphism that isn't a function =
1037:. Both functions have the same graph, namely
246:, if you know the information, contributeΒ :)
8:
1102:
1044:
1635:It really is abstract. Many categories are
1877:How about: In many fields of mathematics,
209:where * and *' are two binary operations.
58:
2173:"Structure persevering map": No it's not.
1344:
1318:
1292:
1254:
1218:
1193:
1187:
1166:
1160:
1139:
1126:
1120:
1086:
1085:
1072:
1071:
1042:
1005:
1004:
995:
989:
970:
969:
962:
961:
952:
946:
925:
913:
663:
625:
599:
561:
451:
439:
412:
382:
2239:Knowledge vital articles in Mathematics
60:
19:
421:{\displaystyle f\colon [0,1)\to S^{1}}
2254:C-Class vital articles in Mathematics
1830:is a map from one object to another."
7:
469:{\displaystyle x\mapsto e^{2\pi ix}}
203:(X',*') is a morphism in sense that
201:Morphism is not just a map f:X-: -->
106:This article is within the scope of
1892:to another.... In category theory,
1498:)) which associates each morphism
49:It is of interest to the following
2264:High-priority mathematics articles
1439:from its domain to its codomain."
1364:
1271:
1021:
14:
2137:looks like a paste error to me. β
1490:on the class of all morphisms of
126:Knowledge:WikiProject Mathematics
2234:Knowledge level-5 vital articles
2058:Morphism#Some specific morphisms
1737:is also used as a synonym for a
1370:{\displaystyle (a,b)\in \Gamma }
908:Answer: Consider the assignment
129:Template:WikiProject Mathematics
93:
83:
62:
29:
20:
802:The definition section states:
752:split epimorphism = surjection?
146:This article has been rated as
2244:C-Class level-5 vital articles
2032:I am not sure what to do with
1412:Knowledge:Mathematical_symbols
1358:
1346:
1274:
1256:
1238:{\displaystyle f\colon A\to B}
1229:
1209:separate -- after all, one is
1059:
1047:
1024:
1012:
1009:
966:
934:{\displaystyle x\mapsto x^{2}}
918:
444:
405:
402:
390:
361:category of topological spaces
294:09:02, 29 September 2015 (UTC)
1:
2023:20:30, 11 November 2014 (UTC)
1906:23:14, 28 February 2013 (UTC)
1861:18:05, 28 February 2013 (UTC)
1848:MOS:MATH#Article introduction
1842:14:37, 28 February 2013 (UTC)
1804:23:31, 27 February 2013 (UTC)
1703:22:49, 27 February 2013 (UTC)
1667:10:51, 27 February 2013 (UTC)
1630:09:53, 27 February 2013 (UTC)
1597:22:19, 14 December 2009 (UTC)
1542:19:20, 14 December 2009 (UTC)
1472:14:46, 14 December 2009 (UTC)
1452:18:22, 12 December 2009 (UTC)
1389:Request for arrow decorations
1280:{\displaystyle (A,B,\Gamma )}
269:03:40, 22 February 2009 (UTC)
120:and see a list of open tasks.
2259:C-Class mathematics articles
746:13:34, 5 December 2005 (UTC)
741:Hhmmm very nice. Thanks! =)
738:01:22, 5 December 2005 (UTC)
274:
221:sin(x*y)Β != sin(x) + sin(y)
188:11:46, 3 November 2011 (UTC)
2052:) that introduced the term
1148:{\displaystyle f_{1}=f_{2}}
2280:
1994:22:12, 12 March 2013 (UTC)
1384:20:29, 17 April 2007 (UTC)
868:20:34, 17 April 2007 (UTC)
859:I suggest to use the term
798:Something seems wrong here
790:11:21, 25 March 2006 (UTC)
780:11:08, 25 March 2006 (UTC)
767:Ah, probably the map exp:
762:11:05, 25 March 2006 (UTC)
301:The problem of terminology
238:) 05:44, 30 September 2003
2214:14:26, 12 June 2024 (UTC)
2201:structure-preserving map.
2195:11:36, 12 June 2024 (UTC)
1963:13:16, 4 March 2013 (UTC)
1936:08:03, 1 March 2013 (UTC)
984:, and then as a function
849:23:04, 29 June 2006 (UTC)
828:02:34, 29 June 2006 (UTC)
818:23:24, 28 June 2006 (UTC)
813:sure seems wrong to me.
695:11:41, 18 Sep 2009 (UTC)
367:and the isomorphisms are
363:. Here the morphisms are
145:
78:
57:
2066:that appended the words
1605:Just how abstract is it?
1420:13:51, 22 May 2007 (UTC)
891:13:39, 2 July 2012 (UTC)
548:22:14, 20 Jun 2005 (UTC)
519:21:18, 20 Jun 2005 (UTC)
492:20:52, 20 Jun 2005 (UTC)
250:05:50, 30 Sep 2003 (UTC)
215:log(x*y)=log(x)+log(y).
152:project's priority scale
2165:17:46, 4 May 2016 (UTC)
2147:09:56, 4 May 2016 (UTC)
651:{\displaystyle x+n=y+n}
587:{\displaystyle n+x=n+y}
109:WikiProject Mathematics
2229:C-Class vital articles
1890:mathematical structure
1791:
1762:linear transformations
1746:mathematical structure
1371:
1333:
1332:{\displaystyle b\in B}
1313:there exists a unique
1307:
1306:{\displaystyle a\in A}
1281:
1239:
1203:
1176:
1149:
1109:
1031:
978:
941:, first as a function
935:
678:
652:
614:
588:
470:
422:
1883:structure-preserving
1739:structure-preserving
1372:
1334:
1308:
1282:
1240:
1204:
1202:{\displaystyle f_{2}}
1177:
1175:{\displaystyle f_{1}}
1150:
1110:
1032:
979:
936:
679:
653:
615:
589:
538:) 21:35, 20 June 2005
510:) 20:57, 20 June 2005
471:
423:
354:) 20:30, 20 June 2005
36:level-5 vital article
2172:
1778:continuous functions
1343:
1317:
1291:
1253:
1217:
1186:
1159:
1119:
1041:
988:
945:
912:
711:comment was added by
662:
624:
598:
560:
438:
381:
365:continuous functions
206:f(x*y)=(fx) *' f(y)
132:mathematics articles
1770:group homomorphisms
1400:Commutative diagram
838:range (mathematics)
677:{\displaystyle x=y}
613:{\displaystyle x=y}
1510:with its domain,
1367:
1329:
1303:
1287:so that for every
1277:
1235:
1199:
1172:
1145:
1105:
1027:
974:
931:
674:
648:
610:
584:
466:
418:
101:Mathematics portal
45:content assessment
2187:Blaabaersyltetoey
2056:into the section
1784:is a group and a
1616:I note that page
1587:Hope that helps.
1478:For any category
725:
530:comment added by
502:comment added by
346:comment added by
297:
230:comment added by
166:
165:
162:
161:
158:
157:
2271:
2077:to the sentence
2065:
2037:
1955:Tobias Bergemann
1928:Tobias Bergemann
1834:Tobias Bergemann
1752:, morphisms are
1659:Tobias Bergemann
1656:
1570:, and codomain,
1522:, and codomain,
1376:
1374:
1373:
1368:
1338:
1336:
1335:
1330:
1312:
1310:
1309:
1304:
1286:
1284:
1283:
1278:
1244:
1242:
1241:
1236:
1208:
1206:
1205:
1200:
1198:
1197:
1181:
1179:
1178:
1173:
1171:
1170:
1154:
1152:
1151:
1146:
1144:
1143:
1131:
1130:
1114:
1112:
1111:
1106:
1089:
1075:
1036:
1034:
1033:
1028:
1008:
1000:
999:
983:
981:
980:
975:
973:
965:
957:
956:
940:
938:
937:
932:
930:
929:
704:
683:
681:
680:
675:
657:
655:
654:
649:
620:, and also that
619:
617:
616:
611:
593:
591:
590:
585:
539:
511:
475:
473:
472:
467:
465:
464:
427:
425:
424:
419:
417:
416:
355:
296:
282:
239:
169:Citation Needed!
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
33:
32:
25:
24:
16:
2279:
2278:
2274:
2273:
2272:
2270:
2269:
2268:
2219:
2218:
2175:
2061:
2033:
2030:
2010:
1816:category theory
1719:category theory
1648:
1607:
1427:
1396:Category theory
1391:
1341:
1340:
1315:
1314:
1289:
1288:
1251:
1250:
1215:
1214:
1189:
1184:
1183:
1162:
1157:
1156:
1135:
1122:
1117:
1116:
1039:
1038:
991:
986:
985:
948:
943:
942:
921:
910:
909:
901:
899:Example please?
800:
754:
701:
660:
659:
622:
621:
596:
595:
558:
557:
525:
497:
447:
436:
435:
408:
379:
378:
341:
337:
310:
303:
283:
277:
257:category theory
225:
222:
216:
207:
199:
180:198.151.130.135
171:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
2277:
2275:
2267:
2266:
2261:
2256:
2251:
2246:
2241:
2236:
2231:
2221:
2220:
2217:
2216:
2202:
2174:
2171:
2170:
2169:
2168:
2167:
2135:
2134:
2075:
2074:
2029:
2026:
2009:
2006:
2005:
2004:
2003:
2002:
2001:
2000:
1999:
1998:
1997:
1996:
1972:
1971:
1970:
1969:
1968:
1967:
1966:
1965:
1943:
1942:
1941:
1940:
1939:
1938:
1911:
1910:
1909:
1908:
1875:
1868:
1867:
1866:
1865:
1864:
1863:
1807:
1806:
1792:
1758:linear algebra
1713:
1708:
1707:
1706:
1705:
1691:
1690:
1689:
1686:
1683:
1677:
1670:
1669:
1606:
1603:
1602:
1601:
1600:
1599:
1585:
1584:
1583:
1555:
1545:
1544:
1475:
1474:
1426:
1423:
1390:
1387:
1366:
1363:
1360:
1357:
1354:
1351:
1348:
1328:
1325:
1322:
1302:
1299:
1296:
1276:
1273:
1270:
1267:
1264:
1261:
1258:
1249:of three sets
1234:
1231:
1228:
1225:
1222:
1196:
1192:
1169:
1165:
1142:
1138:
1134:
1129:
1125:
1104:
1101:
1098:
1095:
1092:
1088:
1084:
1081:
1078:
1074:
1070:
1067:
1064:
1061:
1058:
1055:
1052:
1049:
1046:
1026:
1023:
1020:
1017:
1014:
1011:
1007:
1003:
998:
994:
972:
968:
964:
960:
955:
951:
928:
924:
920:
917:
906:
900:
897:
896:
895:
894:
893:
883:Matthew Pocock
873:
872:
871:
870:
854:
853:
852:
851:
831:
830:
810:
809:
799:
796:
795:
794:
793:
792:
753:
750:
749:
748:
739:
707:The preceding
700:
697:
673:
670:
667:
647:
644:
641:
638:
635:
632:
629:
609:
606:
603:
583:
580:
577:
574:
571:
568:
565:
550:
549:
521:
520:
494:
493:
478:
477:
476:
463:
460:
457:
454:
450:
446:
443:
430:
429:
428:
415:
411:
407:
404:
401:
398:
395:
392:
389:
386:
369:homeomorphisms
336:
333:
306:
302:
299:
276:
273:
272:
271:
252:
251:
232:203.175.98.124
220:
214:
205:
198:
195:
193:
170:
167:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
2276:
2265:
2262:
2260:
2257:
2255:
2252:
2250:
2247:
2245:
2242:
2240:
2237:
2235:
2232:
2230:
2227:
2226:
2224:
2215:
2211:
2207:
2203:
2199:
2198:
2197:
2196:
2192:
2188:
2182:
2178:
2166:
2162:
2158:
2153:
2152:
2151:
2150:
2149:
2148:
2144:
2140:
2132:
2128:
2124:
2120:
2116:
2112:
2108:
2104:
2100:
2096:
2092:
2088:
2084:
2080:
2079:
2078:
2073:
2069:
2068:
2067:
2064:
2059:
2055:
2051:
2048:
2045:
2041:
2040:Chemistry1111
2036:
2027:
2025:
2024:
2020:
2016:
2007:
1995:
1991:
1987:
1982:
1981:
1980:
1979:
1978:
1977:
1976:
1975:
1974:
1973:
1964:
1960:
1956:
1951:
1950:
1949:
1948:
1947:
1946:
1945:
1944:
1937:
1933:
1929:
1925:
1921:
1917:
1916:
1915:
1914:
1913:
1912:
1907:
1903:
1899:
1895:
1891:
1887:
1886:
1880:
1876:
1872:
1871:
1870:
1869:
1862:
1858:
1854:
1849:
1845:
1844:
1843:
1839:
1835:
1831:
1829:
1825:
1821:
1818:, a field of
1817:
1811:
1810:
1809:
1808:
1805:
1801:
1797:
1793:
1790:
1787:
1783:
1779:
1775:
1771:
1767:
1763:
1759:
1755:
1751:
1747:
1743:
1742:
1736:
1732:
1728:
1724:
1721:, a field of
1720:
1714:
1710:
1709:
1704:
1700:
1696:
1692:
1687:
1684:
1681:
1680:
1678:
1674:
1673:
1672:
1671:
1668:
1664:
1660:
1655:
1651:
1646:
1642:
1638:
1634:
1633:
1632:
1631:
1627:
1623:
1619:
1614:
1610:
1604:
1598:
1594:
1590:
1586:
1582:respectively.
1581:
1577:
1573:
1569:
1565:
1561:
1556:
1553:
1552:
1549:
1548:
1547:
1546:
1543:
1540:
1537:
1533:
1529:
1525:
1521:
1517:
1513:
1509:
1505:
1501:
1497:
1493:
1489:
1485:
1481:
1477:
1476:
1473:
1469:
1465:
1460:
1456:
1455:
1454:
1453:
1449:
1445:
1440:
1438:
1433:
1430:
1424:
1422:
1421:
1418:
1413:
1409:
1403:
1401:
1397:
1388:
1386:
1385:
1382:
1381:169.237.6.179
1378:
1361:
1355:
1352:
1349:
1326:
1323:
1320:
1300:
1297:
1294:
1268:
1265:
1262:
1259:
1248:
1232:
1226:
1223:
1220:
1212:
1194:
1190:
1167:
1163:
1140:
1136:
1132:
1127:
1123:
1099:
1096:
1093:
1090:
1082:
1079:
1076:
1068:
1065:
1062:
1056:
1053:
1050:
1018:
1015:
1001:
996:
992:
958:
953:
949:
926:
922:
915:
905:
898:
892:
888:
884:
880:
877:
876:
875:
874:
869:
866:
865:169.237.6.179
862:
858:
857:
856:
855:
850:
847:
843:
840:in different
839:
835:
834:
833:
832:
829:
826:
822:
821:
820:
819:
816:
808:
805:
804:
803:
797:
791:
788:
783:
782:
781:
778:
774:
770:
766:
765:
764:
763:
760:
751:
747:
744:
740:
737:
733:
728:
727:
726:
723:
719:
715:
712:
710:
699:Holomorphism?
698:
696:
694:
688:
685:
671:
668:
665:
645:
642:
639:
636:
633:
630:
627:
607:
604:
601:
581:
578:
575:
572:
569:
566:
563:
554:
547:
542:
541:
540:
537:
533:
532:138.192.77.54
529:
518:
514:
513:
512:
509:
505:
504:138.192.77.54
501:
491:
487:
483:
479:
461:
458:
455:
452:
448:
441:
434:
433:
431:
413:
409:
399:
396:
393:
387:
384:
377:
376:
374:
370:
366:
362:
358:
357:
356:
353:
349:
348:138.192.77.54
345:
334:
332:
330:
326:
322:
318:
314:
309:
300:
298:
295:
291:
287:
281:
270:
266:
262:
258:
254:
253:
249:
245:
242:
241:
240:
237:
233:
229:
219:
213:
210:
204:
196:
194:
191:
189:
185:
181:
176:
175:basic algebra
168:
153:
149:
148:High-priority
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
73:Highβpriority
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
2183:
2179:
2176:
2136:
2130:
2126:
2122:
2118:
2114:
2110:
2106:
2102:
2101:; that is, (
2094:
2090:
2086:
2082:
2076:
2046:
2031:
2028:G-structures
2011:
1924:homomorphism
1893:
1882:
1881:refers to a
1878:
1827:
1823:
1813:
1785:
1781:
1766:group theory
1738:
1734:
1730:
1726:
1716:
1653:
1649:
1644:
1640:
1618:Homomorphism
1615:
1611:
1608:
1579:
1575:
1571:
1567:
1563:
1559:
1531:
1527:
1523:
1519:
1515:
1511:
1507:
1503:
1499:
1495:
1491:
1487:
1483:
1479:
1464:JamesBWatson
1458:
1441:
1436:
1434:
1431:
1428:
1404:
1392:
1379:
1246:
907:
902:
878:
860:
811:
806:
801:
772:
768:
755:
731:
706:
702:
689:
686:
555:
551:
526:β Preceding
522:
498:β Preceding
495:
485:
481:
372:
342:β Preceding
338:
328:
324:
320:
316:
312:
307:
304:
278:
261:86.1.196.219
226:β Preceding
223:
217:
211:
208:
200:
192:
174:
172:
147:
107:
51:WikiProjects
34:
2072:G-structure
2070:called the
2054:G-structure
2035:two changes
1853:Mark viking
1820:mathematics
1796:Mark viking
1723:mathematics
1536:Paul August
123:Mathematics
114:mathematics
70:Mathematics
2223:Categories
2099:idempotent
2063:the change
1750:set theory
1676:morphisms.
1554:Definition
1402:articles.
1211:surjective
825:Jon Awbrey
197:Definition
1888:from one
1754:functions
1744:from one
842:codomains
693:Render787
248:Dysprosia
39:is rated
2206:D.Lazard
2157:D.Lazard
2050:contribs
2015:Daviddwd
1986:Gwideman
1920:Gwideman
1898:Gwideman
1894:morphism
1879:morphism
1824:morphism
1786:morphism
1774:topology
1735:morphism
1727:morphism
1695:Gwideman
1637:concrete
1622:Gwideman
1589:Gwideman
1444:Gwideman
1417:Dan Hoey
722:contribs
709:unsigned
658:implies
594:implies
528:unsigned
500:unsigned
344:unsigned
290:contribs
228:unsigned
2139:Tea2min
1885:mapping
1741:mapping
546:Fropuff
517:Fropuff
490:Fropuff
244:Be bold
150:on the
41:C-class
1789:share.
1782:object
1486:, and
1408:WP:MSM
1247:triple
190:DDiaz
47:scale.
2081:Thus
1828:arrow
1772:; in
1764:; in
1756:; in
1731:arrow
1712:about
1494:(hom(
1459:think
1437:arrow
1339:with
1245:is a
879:image
861:image
846:linas
815:linas
787:lethe
777:lethe
759:lethe
743:Cyb3r
736:lethe
714:Cyb3r
28:This
2210:talk
2191:talk
2161:talk
2143:talk
2121:) β
2109:) =
2044:talk
2019:talk
1990:talk
1959:talk
1932:talk
1902:talk
1857:talk
1838:talk
1822:, a
1814:"In
1812:Re:
1800:talk
1725:, a
1699:talk
1663:talk
1647:iff
1643:and
1626:talk
1593:talk
1578:) =
1566:) =
1530:) =
1518:) =
1468:talk
1448:talk
1398:and
1182:and
887:talk
718:talk
536:talk
508:talk
352:talk
286:talk
284:βΒ (
265:talk
236:talk
184:talk
142:High
2113:β (
2097:is
2038:by
1826:or
1729:or
1717:In
1572:cod
1560:dom
1524:cod
1512:dom
1488:cod
1484:dom
1410:or
1377:.
734:. -
724:) .
482:not
373:not
259:.
2225::
2212:)
2193:)
2163:)
2145:)
2129:β
2125:=
2117:β
2105:β
2093:β
2089::
2085:β
2021:)
2013:--
1992:)
1961:)
1934:)
1904:)
1859:)
1851:--
1840:)
1802:)
1794:--
1776:,
1768:,
1760:,
1701:)
1665:)
1652:β€
1628:)
1595:)
1470:)
1450:)
1365:Ξ
1362:β
1324:β
1298:β
1272:Ξ
1230:β
1224::
1097:β₯
1083:β
1069:β
1022:β
1010:β
1002::
967:β
959::
919:β¦
889:)
771:β
720:β’
456:Ο
445:β¦
406:β
388::
292:)
288:β’
267:)
186:)
2208:(
2189:(
2159:(
2141:(
2133:.
2131:g
2127:h
2123:g
2119:h
2115:g
2111:h
2107:g
2103:h
2095:Y
2091:Y
2087:g
2083:h
2047:Β·
2042:(
2017:(
1988:(
1957:(
1930:(
1900:(
1855:(
1836:(
1798:(
1697:(
1661:(
1654:y
1650:x
1645:y
1641:x
1624:(
1591:(
1580:Y
1576:f
1574:(
1568:X
1564:f
1562:(
1539:β
1532:Y
1528:f
1526:(
1520:X
1516:f
1514:(
1508:Y
1506:β
1504:X
1502::
1500:f
1496:C
1492:C
1480:C
1466:(
1446:(
1415:β
1359:)
1356:b
1353:,
1350:a
1347:(
1327:B
1321:b
1301:A
1295:a
1275:)
1269:,
1266:B
1263:,
1260:A
1257:(
1233:B
1227:A
1221:f
1195:2
1191:f
1168:1
1164:f
1141:2
1137:f
1133:=
1128:1
1124:f
1103:}
1100:0
1094:y
1091:,
1087:R
1080:y
1077:,
1073:R
1066:x
1063::
1060:)
1057:y
1054:,
1051:x
1048:(
1045:{
1025:[
1019:,
1016:0
1013:[
1006:R
997:2
993:f
971:R
963:R
954:1
950:f
927:2
923:x
916:x
885:(
785:-
773:S
769:R
732:C
716:(
705:β
672:y
669:=
666:x
646:n
643:+
640:y
637:=
634:n
631:+
628:x
608:y
605:=
602:x
582:y
579:+
576:n
573:=
570:x
567:+
564:n
534:(
506:(
486:f
462:x
459:i
453:2
449:e
442:x
414:1
410:S
403:)
400:1
397:,
394:0
391:[
385:f
350:(
329:B
327:,
325:A
323:(
321:C
317:B
315:,
313:A
311:(
308:C
263:(
234:(
182:(
154:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.