\na category with a functor, where the functor has the basic properties of a monoid. This is something stronger than a basic monoid – but we can define an algebraic monoid using objects in a monoidal category.<\/p>\n
A monoidal category is a category C, paired with a bi-functor – that is a two-argument functor ⊗:C×C→C. This is the categorical form of the tensor<\/em> operation from the algebraic monoid. To make it a monoidal category, we need to take the tensor operation, and define the properties that it needs to have. They’re called its coherence conditions<\/em>, and basically, they’re the properties that are needed to make the diagrams that we’re going to use commute.<\/p>\n So – the tensor functor is a bifunctor from C×C to C. There is also an object I∈C, which is called the unit object, which is basically the identity element of the monoid. As we would expect from Associativity is expressed categorically using a natural isomorphism, which we’ll name α. For any three object X, Y, and Z, α includes a component αX,Y,Z<\/sub> (which I’ll label α(X,Y,Z) in diagrams, because subscripts in diagrams are a pain!), which is a mapping from (X⊗Y)⊗Z to X⊗(Y⊗Z). The natural isomorphism says, in categorical terms, that the the two objects on either side of its mappings are The identity property is again expressed via natural isomorphism. The category must include an object I (called the unit<\/em>), and Now, all of the pieces that we need are on the table. All we need to do is explain how they all fit together – what kinds of properties The upper (pentagonal) diagram must commute for all A, B, C, and D. It describes the associativity property. Each arrow in the diagram is a component of the natural isomorphism over Similarly, the bottom diagram defines identity. The arrows are all components of natural isomorphisms, and they describe the properties that the natural isomorphisms must have in order for them, together with the unit I to define identity.<\/p>\n This is clearly a whole lot more complicated than the algebraic form. What is it doing?<\/p>\n \t What we’ve done is create something much more general. Instead of having a simple notion of abstract functions, we’ve jumped it up; the basic elements are categories. With algebraic monoids, we were basically working with functions from a set S to itself – and looking at how we could take two functions, each from S to S, and end up with a new composed function S to S; and then looking at what kinds of properties we could get from that.<\/p>\n Here we’re looking at categories – essentially monoids with bunches of functions – and looking at functors, which map categories to categories. Just like in the algebraic monoid, we mapped values from a set to itself, in the category, we’re looking at functors that map from a category to itself. So we’re building a structure with monoidal properties in terms of a structure with monoidal properties. That’s where the added complexity of this comes from: we’ve created a monoidal category, which is an object with a lot more interesting and rich structure to it than a simple algebraic monoid. Using this, we can show what a simple monoid looks like in category theory: it’s a particular kind of object in a monoidal category. (But that’s a subject for another post.)<\/p>\n So what does this mess give us? We’ve done a lot more work than we did in the algebraic monoid. I’ve said this gives us something with Yes. I’ll talk more about them later, but one example is that In the last post on groups and related stuff, I talked about the algebraic construction of monoids. A monoid is, basically, the algebraic construction of a category – it’s based on the same ideas, and has the same properties; just the presentation of it is different. But you can also see a monoid in categorical […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[69,76],"tags":[],"class_list":["post-599","post","type-post","status-publish","format-standard","hentry","category-abstract-algebra","category-category-theory"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-9F","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/599","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=599"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/599\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=599"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=599"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=599"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nthe algebraic definition, the tensor functor has two basic properties: associativity, and identity.<\/p>\n
\nequivalent.<\/p>\n
\ntwo natural isomorphisms, called &lamba; and ρ. For any
\narrow X in C, &lamba; and ρ contain components λX<\/sub> and ρX<\/sub> such that λX<\/sub> maps from I⊗X→X, and ρX<\/sub> maps from X⊗I to X. <\/p>\n
\nthese pieces need to have for this to – that is, for these definitions to give us a structure that looks like the algebraic notion of monoidal structures, but built in category theory. The properties
\nare, more or less, exact correspondences with the associativity and identity requirements of the algebraic monoid. But with category theory, we can say it visually. The two diagrams below each describe one of the two properties.<\/p>\n![\"monoidal-categoy.png\"](\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_298.png?resize=584%2C457\")
<\/p>\n
\nthe category, and the diagram describes what it means for the
\nnatural isomorphism to define associativity.<\/p>\n
\nmore properties. But does that really have any benefit? Does this express anything that we care about beyond what we could do with the simple algebraic monoid?<\/p>\n
\nif we’ve got a commutative ring, then we can define structures over it called modules<\/em>. The modules over the ring form a monoidal category – which means that we can define them as being a monoid, but more than just a simple monoid – it’s a monoid whose
\ncomposition operation preserves the structural properties of modules over the ring.<\/p>\n","protected":false},"excerpt":{"rendered":"