Skip to content

Commit

Permalink
BUILD: Update Travis build icon for renamed GitHub repository.
Browse files Browse the repository at this point in the history
  • Loading branch information
epatters committed Jan 27, 2019
1 parent 399a0c5 commit 49b855d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -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).

Expand Down

0 comments on commit 49b855d

Please sign in to comment.