Tagged articles

category theory

5 articles · Page 1 of 1
Model Perspective
Model Perspective
Sep 20, 2026 · Fundamentals

Why Modeling Needs Category Theory: Turning 'Is This Model Right?' into Commutative Diagrams

This article explains how category theory addresses three core modeling challenges—verifying correctness, composing models, and maintaining consistency across abstraction layers—by using commutative diagrams to define model validity, functors to preserve structure across representations, and pullbacks to enforce interface compatibility, with examples from numerical analysis, unit conversion, and fluid-structure coupling.

category theorycommutative diagramscompositional modeling
0 likes · 12 min read
Why Modeling Needs Category Theory: Turning 'Is This Model Right?' into Commutative Diagrams
Model Perspective
Model Perspective
Sep 19, 2026 · Fundamentals

Category Theory: The Mathematics of Mathematics — From Subway Maps to Code

This article introduces category theory using a subway map analogy, explaining objects, morphisms, composition, functors, natural transformations, and universal properties, showing how these abstract concepts unify mathematics and appear in everyday programming patterns like function composition and map.

Yoneda lemmacategory theoryfunctional programming
0 likes · 17 min read
Category Theory: The Mathematics of Mathematics — From Subway Maps to Code
Linyb Geek Road
Linyb Geek Road
Aug 26, 2026 · Artificial Intelligence

How DeepSeek Harness Uses Category Theory to Build a Robust AI Agent Skeleton

DeepSeek Harness, released as an open‑source developer preview, applies category‑theoretic concepts such as objects, morphisms, functors, and monads to turn every plugin into a composable arrow, giving AI agents a mathematically guaranteed, predictable execution framework.

AI agentComposable SystemsCordis
0 likes · 10 min read
How DeepSeek Harness Uses Category Theory to Build a Robust AI Agent Skeleton
Bitu Technology
Bitu Technology
Jun 29, 2022 · Backend Development

Recap of Scala Meetup #7: Tubi Recommendation System Architecture, The Nature of Computation, and Reactive Streams in Large-Scale Scenarios

The seventh Scala Meetup gathered over 1400 online participants to share three technical talks covering Tubi's content recommendation system architecture, philosophical insights into the nature of computation, and practical experiences with reactive streams in large‑scale JVM environments, followed by a round‑table discussion and audience feedback.

Reactive StreamsScalacategory theory
0 likes · 15 min read
Recap of Scala Meetup #7: Tubi Recommendation System Architecture, The Nature of Computation, and Reactive Streams in Large-Scale Scenarios
Bitu Technology
Bitu Technology
Oct 23, 2020 · Fundamentals

Cat Talks Series: Lens, CPS Transformation, and F‑Algebra Sessions

The article summarizes a series of technical talks held in August and September covering functional programming concepts such as Lens, Continuation‑Passing Style transformation, and F‑algebra with detailed explanations, demos, and theoretical insights for developers and researchers.

CPSF-algebraLens
0 likes · 4 min read
Cat Talks Series: Lens, CPS Transformation, and F‑Algebra Sessions