# \#categorytheory

**URL:** https://discuss.ocaml.org/tag/categorytheory/123.md

[Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md)

---

## [OCaml projects utilizing Category theory](https://discuss.ocaml.org/t/ocaml-projects-utilizing-category-theory/16206)

<div class="topic-metadata">

**Author:** [@mostafatouny](https://discuss.ocaml.org/u/mostafatouny)\
**Replies:** 4\
**Last updated:** [March 5, 2025, 10:10am UTC](https://discuss.ocaml.org/t/ocaml-projects-utilizing-category-theory/16206 "2025-03-05T10:10:45Z")

</div>

Hello, This is related to my previous post, Business models motivating OCaml. I found: What is applied category theory? Category theorists in AI Are there any OCaml projects which aim to well-utilize Category theory …

---

## [Pragmatic Category Theory | Part 3: Associativity](https://discuss.ocaml.org/t/pragmatic-category-theory-part-3-associativity/15819)

<div class="topic-metadata">

**Author:** [@chshersh](https://discuss.ocaml.org/u/chshersh)\
**Replies:** 7\
**Last updated:** [December 25, 2024, 9:07am UTC](https://discuss.ocaml.org/t/pragmatic-category-theory-part-3-associativity/15819 "2024-12-25T09:07:30Z")

</div>

Hi everyone! :wave: I’ve finished writing the third part of my Pragmatic Category Theory series (some code examples are in OCaml): Part 3: Associativity Previous discussion: \[NEW PART\] Pragmatic Category Theory: Pa…

---

## [Categorical programming in OCaml](https://discuss.ocaml.org/t/categorical-programming-in-ocaml/10584)

<div class="topic-metadata">

**Author:** [@nrolland](https://discuss.ocaml.org/u/nrolland)\
**Replies:** 2\
**Last updated:** [October 12, 2022, 4:31pm UTC](https://discuss.ocaml.org/t/categorical-programming-in-ocaml/10584 "2022-10-12T16:31:22Z")

</div>

I wonder what is the state of “categorical programming” in the OCaml-verse. Vague question probably, but that’s why I ask it here. Let me precise what I mean by that : Functors : is there any standard-ish libraries …

---

## [Very nice presentation on category theory](https://discuss.ocaml.org/t/very-nice-presentation-on-category-theory/1059)

<div class="topic-metadata">

**Author:** [@anon72795300](https://discuss.ocaml.org/u/anon72795300)\
**Replies:** 1\
**Last updated:** [February 5, 2018, 12:45pm UTC](https://discuss.ocaml.org/t/very-nice-presentation-on-category-theory/1059 "2018-02-05T12:45:37Z")

</div>

Category theory can be thought of as being ‘very abstract algebra’. It is thought of as ‘too abstract’ by some people, and as ‘abstract nonsense’ by some others. In this talk, I will show that while it is …