# Category theory

DevFeed: [Category theory](<https://devfeed.tech/articles/category-theory-38635.md>)

Original publisher: [Read original article](<https://krossovochkin.com/posts/2020_04_26_category_theory/>)

Published: 2020-04-26T00:00:00Z

Content type: tutorial

Language: en

Sources: [Vasya Drobushkov](<https://devfeed.tech/sources/vasya-drobushkov.md>)

Topics: [Category Theory](<https://devfeed.tech/topics/category-theory.md>), [Programming](<https://devfeed.tech/topics/programming.md>)

Tags: [category-theory](<https://devfeed.tech/tags/category-theory.md>), [morphisms](<https://devfeed.tech/tags/morphisms.md>), [object](<https://devfeed.tech/tags/object.md>), [programming](<https://devfeed.tech/tags/programming.md>), [theory](<https://devfeed.tech/tags/theory.md>)

## AI overview

A personal synopsis of category theory covering categories, objects, morphisms, composition, universal constructions, order relations, monoids, terminal and initial objects, products, sums, and semirings. It also connects products and sums to programming concepts such as pairs, Either, and algebraic data types.

## Source excerpt

Source Disclaimer This is short synopsis of great set of lectures. What is written here is by no means true, one should refer to original lectures or some books etc. This is written mostly for myself in case I wanted to revisit the topic in the future. Everything below is not "what it is" but mostly "how I understood that". So, there might be mistakes and so on. Category Category consists of: