Very interesting, thank you. I got into all this stuff in grad school in
the late 80's and early 90's through things like these:
@Book{ArM69,
Author="Arbib, Michael A",
Year="1969",
Title="Theories of Abstract Automata",
Publisher="Prentic Hall",
Address="Engelwood Cliff",
}
@Incollection{ArMMaE77,
Author="Arbib, Michael A and Manes, Ernst",
Editor="WE Hartnett",
Year="1977",
Title="Category Theoretic Approach to Systems in a Fuzzy World",
Booktitle="Systems: Approahces, Theories, Applications",
Pages="1-26",
Publisher="D. Reidel",
}
@Book{EiS74,
Author="Eilenberg, S",
Year="1974",
Title="Automata, Languages and Semi-Groups",
Volume="A",
Publisher="Academic Press",
Address="New York",
}
@Article{GoJ91,
Author="Goguen, JA",
Year="1991",
Title="Categorical Manifesto",
Journal="Mathematical Structures in Computer Science",
Volume="1:1",
Pages="49-67",
URL="
http://www-cse.ucsd.edu/users/goguen/ps/manif.ps.gz",
}
@Article{MoJ91,
Author="Mo\v{c}kor, Ji\v{r}i",
Year="1991",
Title="Category of Fuzzy Automata",
Journal="Int. J. of General Systems",
Volume="20",
Pages="73-82",
}
@Article{TaYTaT85,
Author="Takahara, Y and Takai, T",
Year="1985",
Title="Category Theoretical Framework of General Systems",
Journal="Int. J. of General Systems",
Volume="11:1",
Pages="1-33",
}
And then of course there's the classics:
@Book{GoR84,
Author="Goldblatt, Robert",
Year="1984",
Title="Topoi: The Categorical Analysis of Logic",
Publisher="Dover",
Address="Mineolo, NY",
}
@Book{MaS78,
Author="MacLane, Saunders",
Year="1978",
Title="Categories for the Working Mathematician",
Publisher="Springer-Verlag",
Address="Heidelberg",