# universal properties Published articles for universal properties. This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## The Universal Properties of Map, Fold, and Filter DevFeed: [The Universal Properties of Map, Fold, and Filter]() Original publisher: [Read original article]() Published: 2013-09-30T09:00:53Z Content type: article Language: en Sources: [Jeremy Kun]() Topics: [Functional programming](), [Category Theory](), [functions](), [Programming]() Tags: [categories](), [category-theory](), [foldr](), [free-object](), [functional-programming](), [functions](), [list](), [monoids](), [programming](), [standard-ml](), [universal-properties]() ### AI overview This article gives category-theoretic characterizations of the functional programming functions map, fold, and filter. It argues that fold has the strongest universal characterization among the three and introduces a generalization related to transformations of standard compound data types. ### Source excerpt A lot of people who like functional programming often give the reason that the functional style is simply more elegant than the imperative style. When compelled or inspired to explain (as I did in my old post, How I Learned to Love Functional Programming), they often point to the three "higher-order" functions map, fold, and filter, as providing a unifying framework for writing and reasoning about programs. But how unifying are they, really? ## Functoriality in Category Theory: Mappings That Preserve Morphisms DevFeed: [Functoriality in Category Theory: Mappings That Preserve Morphisms]() Original publisher: [Read original article]() Published: 2013-07-14T10:03:29Z Content type: tutorial Language: en Sources: [Jeremy Kun]() Topics: [Category Theory](), [Mathematics](), [Math and Logic]() Tags: [categories](), [category-theory](), [coproducts](), [functor](), [homology](), [ml](), [morphisms](), [universal-properties]() ### AI overview This tutorial introduces functoriality in category theory. It explains functors as mappings between categories that assign objects and morphisms while preserving identity morphisms and composition, with homology as an example of a functorial construction. ### Source excerpt Last time we worked through some basic examples of universal properties, specifically singling out quotients, products, and coproducts. There are many many more universal properties that we will mention as we encounter them, but there is one crucial topic in category theory that we have only hinted at: functoriality. As we've repeatedly stressed, the meat of category theory is in the morphisms. One natural question one might ask is, what notion of morphism is there between categories themselves? ## Universal Properties DevFeed: [Universal Properties]() Original publisher: [Read original article]() Published: 2013-05-24T14:53:25Z Content type: tutorial Language: en Sources: [Jeremy Kun]() Topics: [Category Theory](), [Mathematics](), [function](), [object]() Tags: [categories](), [category-theory](), [coproducts](), [examples](), [function](), [mathematics](), [ml](), [morphisms](), [object](), [product](), [programming](), [quotients](), [types](), [universal-properties]() ### AI overview This tutorial introduces universal properties in category theory, defining initial, final, and zero objects through unique morphisms. It illustrates the concepts with examples from mathematics and Set, and discusses constructing programs related to these properties. ### Source excerpt Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved. ## Properties of Morphisms DevFeed: [Properties of Morphisms]() Original publisher: [Read original article]() Published: 2013-05-15T12:43:42Z Content type: article Language: en Sources: [Jeremy Kun]() Topics: [Category Theory](), [Mathematics]() Tags: [categories](), [epimorphism](), [examples](), [introduction](), [mathematics](), [monomorphism](), [morphisms](), [universal-properties]() ### AI overview A mathematical introduction to morphisms in category theory, focusing on isomorphisms and their role in describing when objects are considered the same. It defines isomorphisms and begins examining them in Set. ### Source excerpt This post is mainly mathematical. We left it out of our introduction to categories for brevity, but we should lay these definitions down and some examples before continuing on to universal properties and doing more computation. The reader should feel free to skip this post and return to it later when the words "isomorphism," "monomorphism," and "epimorphism" come up again. Perhaps the most important part of this post is the description of an isomorphism. ## A Sample of Standard ML, the TreeSort Algorithm, and Monoids DevFeed: [A Sample of Standard ML, the TreeSort Algorithm, and Monoids]() Original publisher: [Read original article]() Published: 2013-04-07T21:57:37Z Content type: tutorial Language: en Sources: [Jeremy Kun]() Topics: [Standard ML](), [Functional programming](), [Category Theory](), [Programming](), [Polymorphism]() Tags: [algorithms](), [category-theory](), [functional-programming](), [mathematics](), [ml](), [monoids](), [programming](), [sorting](), [standard-ml](), [trees](), [universal-properties]() ### AI overview A tutorial introducing Standard ML through functional programming, category theory, and the TreeSort algorithm. It explains why ML is used for manually implementing category-theoretic ideas and highlights parametric polymorphism and type inference. ### Source excerpt In this post we will assume the reader has a passing familiarity with some of the basic concepts of functional programming (the map, fold, and filter functions). We introduce these topics in our Racket primer, but the average reader will understand the majority of this primer without expertise in functional programming. Follow-ups to this post can be found in the Computational Category Theory section of the Main Content page. Preface: ML for Category Theory A few of my readers have been asking for more posts about functional languages and algorithms written in functional languages.