Meta tags:

Headings (most frequently used words):

diagram, example, commutative, contents, description, examples, chasing, in, higher, category, theory, diagrams, as, functors, see, also, references, bibliography, external, links, arrow, symbols, verifying, commutativity,

Text of the page (most frequently used words):
the (75), #diagram (46), category (41), and (27), #commutative (18), edit (17), displaystyle (17), theory (14), for (14), arrows (14), may (12), with (12), categories (12), that (12), circ (11), objects (10), two (10), between (9), higher (8), morphism (8), chasing (8), arrow (8), wikipedia (7), this (7), diagrams (7), functor (7), functors (7), also (7), not (7), example (7), commutativity (7), from (6), lemma (6), are (6), search (5), page (5), description (5), different (5), algebra (5), free (5), natural (5), morphisms (5), pdf (5), used (5), composition (5), maps (5), one (5), main (5), article (5), examples (5), labeled (5), toggle (4), contents (4), mathematical (4), retrieved (4), concepts (4), links (4), called (4), such (4), typically (4), which (4), result (4), same (4), hide (4), move (4), sidebar (4), view (3), index (3), topos (3), key (3), abelian (3), transformation (3), isomorphism (3), mathworld (3), springer (3), isbn (3), 2019 (3), com (3), see (3), every (3), commute (3), any (3), there (3), only (3), poset (3), equality (3), can (3), rightarrow (3), proof (3), paths (3), exists (3), tools (3), languages (2), table (2), contact (2), about (2), privacy (2), policy (2), available (2), terms (2), non (2), wikimedia (2), use (2), commons (2), was (2), last (2), short (2), wikidata (2), proofs (2), homological (2), group (2), monoidal (2), ring (2), kan (2), weak (2), model (2), constructions (2), groups (2), limit (2), universal (2), property (2), exact (2), surjective (2), concrete (2), visualization (2), transformations (2), external (2), version (2), bibliography (2), weisstein (2), eric (2), wolfram (2), mathematics (2), references (2), however (2), commutes (2), simple (2), object (2), number (2), colon (2), bullet (2), unique (2), its (2), directed (2), nodes (2), given (2), where (2), compositions (2), depicted (2), include (2), well (2), often (2), following (2), five (2), especially (2), elements (2), constructed (2), just (2), follows (2), here (2), since (2), first (2), show (2), order (2), generally (2), other (2), equalities (2), below (2), three (2), means (2), give (2), verifying (2), dashed (2), symbols (2), known (2), play (2), appearance (2), upload (2), file (2), changes (2), history (2), read (2), english (2), subsection (2), log (2), create (2), account (2), donate (2), menu (2), add, topic, mobile, cookie, statement, statistics, developers, code, conduct, legal, safety, contacts, disclaimers, text, under, additional, apply, using, site, you, agree, registered, trademark, profit, organization, foundation, inc, creative, attribution, sharealike, license, rendered, parsoid, edited, january, 2026, utc, hidden, articles, terminology, https, org, php, title, commutative_diagram, oldid, 1335445864, glossary, outline, monoid, symmetric, traced, categorified, strict, groupoid, complex, tetracategory, tricategory, pseudofunctor, bicategory, string, simplex, homotopy, hypothesis, dimensional, enriched, subcategory, quotient, product, opposite, localization, kleisli, overcategory, comma, vector, spaces, modules, fields, rings, magmas, relations, sets, algebraic, direct, pushout, cokernels, quotients, coequalizers, coproducts, initial, colimits, inverse, pullbacks, kernels, equalizers, products, terminal, limits, yoneda, zero, iso, mono, epi, extension, smooth, representable, full, faithful, essentially, equivalence, diagonal, derived, conservative, adjoint, exponential, end, cone, preadditive, pre, grothendieck, elementary, forgetful, complete, ccc, additive, categorification, package, manipulation, mathematica, wildcats, revised, corrected, online, verlag, 1983, grundlehren, der, mathematischen, wissenschaften, 278, 2002, 387, 96115, toposes, triples, theories, wells, charles, barr, michael, now, line, edition, 2mb, adámek, jiří, horst, herrlich, george, strecker, 1990, john, wiley, sons, 471, 60922, abstract, 2016, dover, publications, context, riehl, emily, www, euclideanspace, maths, martin, baker, mazzola, guerino, milmeister, gérard, weissmann, jody, 2005, 140, 978, 540, 26937, 1007, b138337, doi, comprehensive, computer, scientists, notion, strictly, generalizes, single, endomorphism, parallel, sometimes, definition, need, further, messy, impossible, draw, when, large, even, infinite, equalizer, quiver, rightrightarrows, relation, defined, domain, target, axiom, path, conversely, defines, corresponding, uniqueness, map, generating, set, omitting, identity, expressed, node, more, formally, indexed, includes, interpreted, calls, kinds, they, via, definitions, pasting, horizontal, vertical, considers, but, small, naturally, setting, these, style, somewhat, trivial, depicts, together, cat, infinitum, those, nine, zig, zag, snake, method, establishes, some, tracing, involves, formal, properties, graphical, display, visual, aid, ends, around, until, desired, element, verified, syllogism, sequences, injective, diagrammatic, suffices, true, does, follow, enough, have, were, must, satisfied, left, expresses, triangle, right, square, tilde, theorem, note, makes, sense, finite, sides, including, polygonal, subdiagram, polygon, meanings, entirely, standardized, monomorphisms, epimorphisms, isomorphisms, cofibrations, fibrations, equivalences, bijections, surjections, injections, acts, case, preferably, labelled, seen, represents, claim, indicated, whenever, rest, holds, optionally, addition, then, overset, sim, twoheadrightarrow, epimorphism, rightarrowtail, hookrightarrow, monomorphism, texts, type, denoted, usages, composites, edges, vertices, consists, parts, all, start, endpoints, lead, said, role, equations, collection, encyclopedia, item, projects, printable, download, print, export, switch, legacy, parser, get, shortened, url, cite, information, permanent, link, related, what, general, actions, talk, українська, српски, srpski, русский, português, polski, nederlands, 한국어, 日本語, italiano, bahasa, indonesia, עברית, galego, français, suomi, فارسی, euskara, español, ελληνικά, deutsch, čeština, català, asturianu, العربية, top, personal, special, pages, recent, community, portal, learn, help, contribute, random, current, events, navigation, jump, content,

Text of the page (random words):
commutative diagram wikipedia jump to content main menu main menu move to sidebar hide navigation main page contents current events random article about wikipedia contact us contribute help learn to edit community portal recent changes upload file special pages search search appearance donate create account log in personal tools donate create account log in contents move to sidebar hide top 1 description toggle description subsection 1 1 arrow symbols 1 2 verifying commutativity 2 examples toggle examples subsection 2 1 example 1 2 2 example 2 3 diagram chasing 4 in higher category theory 5 diagrams as functors 6 see also 7 references 8 bibliography 9 external links toggle the table of contents commutative diagram 26 languages العربية asturianu català čeština deutsch ελληνικά español euskara فارسی suomi français galego עברית bahasa indonesia italiano 日本語 한국어 nederlands polski português русский simple english српски srpski українська 粵語 中文 edit links article talk english read edit view history tools tools move to sidebar hide actions read edit view history general what links here related changes upload file permanent link page information cite this page get shortened url switch to legacy parser print export download as pdf printable version in other projects wikimedia commons wikidata item appearance move to sidebar hide from wikipedia the free encyclopedia collection of maps which give the same result the commutative diagram used in the proof of the five lemma in mathematics and especially in category theory a commutative diagram is a diagram such that all directed paths in the diagram with the same start and endpoints lead to the same result 1 it is said that commutative diagrams play the role in category theory that equations play in algebra 2 description edit a commutative diagram often consists of three parts objects also known as vertices morphisms also known as arrows or edges paths or composites arrow symbols edit in algebra texts the type of morphism can be denoted with different arrow usages a monomorphism may be labeled with a displaystyle hookrightarrow 3 or a displaystyle rightarrowtail 4 an epimorphism may be labeled with a displaystyle twoheadrightarrow an isomorphism may be labeled with a displaystyle overset sim rightarrow the dashed arrow typically represents the claim that the indicated morphism exists whenever the rest of the diagram holds the arrow may be optionally labeled as displaystyle exists if the morphism is in addition unique then the dashed arrow may be labeled displaystyle or displaystyle exists if the morphism acts between two arrows such as in the case of higher category theory it s called preferably a natural transformation and may be labelled as displaystyle rightarrow as seen below in this article the meanings of different arrows are not entirely standardized the arrows used for monomorphisms epimorphisms and isomorphisms are also used for injections surjections and bijections as well as the cofibrations fibrations and weak equivalences in a model category verifying commutativity edit commutativity makes sense for a polygon of any finite number of sides including just 1 or 2 and a diagram is commutative if every polygonal subdiagram is commutative note that a diagram may be non commutative i e the composition of different paths in the diagram may not give the same result examples edit example 1 edit in the left diagram which expresses the first isomorphism theorem commutativity of the triangle means that f f π displaystyle f tilde f circ pi in the right diagram commutativity of the square means h f k g displaystyle h circ f k circ g example 2 edit in order for the diagram below to commute three equalities must be satisfied r h g h g l displaystyle r circ h circ g h circ g circ l m g g l displaystyle m circ g g circ l r h h m displaystyle r circ h h circ m here since the first equality follows from the last two it suffices to show that 2 and 3 are true in order for the diagram to commute however since equality 3 generally does not follow from the other two it is generally not enough to have only equalities 1 and 2 if one were to show that the diagram commutes diagram chasing edit diagram chasing also called diagrammatic search is a method of mathematical proof used especially in homological algebra where one establishes a property of some morphism by tracing the elements of a commutative diagram a proof by diagram chasing typically involves the formal use of the properties of the diagram such as injective or surjective maps or exact sequences 5 a syllogism is constructed for which the graphical display of the diagram is just a visual aid it follows that one ends up chasing elements around the diagram until the desired element or result is constructed or verified examples of proofs by diagram chasing include those typically given for the five lemma the snake lemma the zig zag lemma and the nine lemma in higher category theory edit main article higher category theory in higher category theory one considers not only objects and arrows but arrows between the arrows arrows between arrows between arrows and so on ad infinitum for example the category of small categories cat is naturally a 2 category with functors as its arrows and natural transformations as the arrows between functors in this setting commutative diagrams may include these higher arrows as well which are often depicted in the following style displaystyle rightarrow for example the following somewhat trivial diagram depicts two categories c and d together with two functors f g c d and a natural transformation α f g there are two kinds of composition in a 2 category called vertical composition and horizontal composition and they may also be depicted via pasting diagrams see 2 category definitions for examples diagrams as functors edit main article diagram category theory a commutative diagram in a category c can be interpreted as a functor from an index category j to c one calls the functor a diagram more formally a commutative diagram is a visualization of a diagram indexed by a poset category such a diagram typically includes a node for every object in the index category an arrow for a generating set of morphisms omitting identity maps and morphisms that can be expressed as compositions the commutativity of the diagram the equality of different compositions of maps between two objects corresponding to the uniqueness of a map between two objects in a poset category conversely given a commutative diagram it defines a poset category where the objects are the nodes there is a morphism between any two objects if and only if there is a directed path between the nodes with the relation that this morphism is unique any composition of maps is defined by its domain and target this is the commutativity axiom however not every diagram commutes the notion of diagram strictly generalizes commutative diagram as a simple example the diagram of a single object with an endomorphism f x x displaystyle f colon x to x or with two parallel arrows displaystyle bullet rightrightarrows bullet that is f g x y displaystyle f g colon x to y sometimes called the free quiver as used in the definition of equalizer need not commute further diagrams may be messy or impossible to draw when the number of objects or morphisms is large or even infinite see also edit mathematical diagram references edit weisstein eric w commutative diagram mathworld wolfram com retrieved 2019 11 25 mazzola guerino milmeister gérard weissmann jody 2005 comprehensive mathematics for computer scientists 2 springer p 140 doi 10 1007 b138337 isbn 978 3 540 26937 3 maths category theory arrow martin baker www euclideanspace com retrieved 2019 11 25 riehl emily 2016 11 17 1 category theory in context pdf dover publications p 11 weisstein eric w diagram chasing mathworld wolfram com retrieved 2019 11 25 bibliography edit adámek jiří horst herrlich george e strecker 1990 abstract and concrete categories pdf john wiley sons isbn 0 471 60922 6 now available as free on line edition 4 2mb pdf barr michael wells charles 2002 toposes triples and theories pdf springer isbn 0 387 96115 1 revised and corrected free online version of grundlehren der mathematischen wissenschaften 278 springer verlag 1983 external links edit diagram chasing at mathworld wildcats is a category theory package for mathematica manipulation and visualization of objects morphisms categories functors natural transformations v t e category theory key concepts key concepts categorification category abelian additive ccc complete concrete forgetful functor elementary topos grothendieck topos pre abelian preadditive commutative diagram cone end exponential functor adjoint functors conservative derived diagonal equivalence of categories essentially surjective exact full and faithful isomorphism representable smooth diagram kan extension morphism epi mono iso zero natural transformation universal property yoneda lemma universal constructions limits terminal objects products equalizers kernels pullbacks inverse limit colimits initial objects coproducts coequalizers cokernels and quotients pushout direct limit algebraic categories sets relations magmas groups abelian groups rings fields modules vector spaces constructions on categories comma category overcategory free category functor category kleisli category localization of a category opposite category product category quotient category subcategory higher category theory key concepts enriched category higher dimensional algebra homotopy hypothesis model category simplex category string diagram n categories weak n categories bicategory pseudofunctor tricategory tetracategory kan complex groupoid topos strict n categories 2 category 2 functor 3 category categorified concepts 2 group 2 ring e n ring traced symmetric monoidal category monoidal functor n group n monoid category outline glossary retrieved from https en wikipedia org w index php title commutative_diagram oldid 1335445864 categories homological algebra category theory mathematical proofs mathematical terminology diagrams hidden categories articles with short description short description is different from wikidata this page was last edited on 29 january 2026 at 06 50 utc page was rendered with parsoid text is available under the creative commons attribution sharealike 4 0 license additional terms may apply by using this site you agree to the terms of use and privacy policy wikipedia is a registered trademark of the wikimedia foundation inc a non profit organization privacy policy about wikipedia disclaimers contact wikipedia legal safety contacts code of conduct developers statistics cookie statement mobile view search search toggle the table of contents commutative diagram 26 languages add topic