diff --git a/README.md b/README.md index 0ab98fa51..ca30e24d3 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Catlab -[![Build Status](https://travis-ci.org/epatters/Catlab.svg?branch=master)](https://travis-ci.org/epatters/Catlab) +[![Build Status](https://travis-ci.org/epatters/Catlab.jl.svg?branch=master)](https://travis-ci.org/epatters/Catlab.jl) Catlab is an experimental library for computational category theory, written in [Julia](https://julialang.org). It aims to provide a programming library and interactive interface for applications of category theory to the mathematical sciences. It emphasizes monoidal categories due to their wide applicability but can support any categorical doctrine that is formalizable as a generalized algebraic theory. An early inspiration for Catlab is the Julia library [Cateno](https://github.com/jasonmorton/Cateno).