## User login## Navigation |
## Category Theory## Distributive laws for the Coinductive Solution of Recursive Equations
B. Jacobs, Distributive laws for the Coinductive Solution of Recursive Equations, Information and Computation, to appear.
This paper illustrates the relevance of distributive laws for the solution of recursive equations, and shows that one approach for obtaining coinductive solutions of equations via infinite terms is in fact a special case of a more general approach using an extended form of coinduction via distributive laws... Interesting stuff. Be warned: This paper is highly technical, and requires familiarity with the fundamental notions of category theory. ## A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages
B. Jacobs, A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages, Technical Report ICIS-R05003, Institute for Computing and Information Sciences, Radboud University of Nijmegen.
This papers reviews the classical theory of deterministic automata and regular languages from a categorical perspective. The basis is formed by Rutten's description of the Brzozowski automaton structure in a coalgebraic framework. We enlarge the framework to a so-called bialgebraic one, by including algebras together with suitable distributive laws connecting the algebraic and coalgebraic structure of regular expressions and languages. This culminates in a reformulated proof via finality of Kozen's completeness result. It yields a complete axiomatisation of observational equivalence (bisimilarity) on regular expressions. We suggest that this situation is paradigmatic for (theoretical) computer science as the study of "generated behaviour". Bart Jacobs. Bialgebras. Enough said. By Ehud Lamm at 2005-09-08 13:14 | Category Theory | login or register to post comments | other blogs | 7744 reads
## Differentiating Data Structures
This paper was mentioned here before, but not on the home page.
It deserves to get more attention, since it is quite cool. Warning: This one isn't for the faint of heart, and uses scary terms like polynomial functors, initial algebras and terminal coalgebras, constructive set theory and more... By Ehud Lamm at 2005-05-26 10:53 | Category Theory | Functional | 5 comments | other blogs | 10060 reads
## Generic Accumulations: Battery-powered Bananas
For those who do not think that "catamorphism" sounds scary,
Generic Accumulations paper presents a new flavor of fold: fold with accumulators (afold).
You might be acquainted with its cousin - pfold, or fold with parameters. Both come from the family of comonadic fold. A homepage of Alberto Pardo contains more information on them. PS: if you are new to fold or bananas/lenses, LtU papers page has a couple of introductory links. By Andris Birkmanis at 2005-05-02 11:22 | Category Theory | Functional | 2 comments | other blogs | 5177 reads
## Datatype Laws without Signatures
Datatype Laws without Signatures
Using the well-known categorical notion of `functor' one may define the concept of datatype (algebra) without being forced to introduce a signature, that is, names and typings for the individual sorts (types) and operations involved. This has proved to be advantageous for those theory developments where one is not interested in the syntactic appearance of an algebra. Does it sound like "a module without a signature"? If you like programming with bananas, lenses, and other weird things you might like this paper as well. PS: OTOH, if you are sceptic about bialgebraic programming, then dialgebraic is definitely not for you. By Andris Birkmanis at 2005-04-19 07:56 | Category Theory | Functional | login or register to post comments | other blogs | 4032 reads
## Category Theory for Dummies - slides available
From the discussion group:
For those interested in a brief introduction to category theory, James Cheney has recently posted some PDF slides titled Category Theory for Dummies on his home page. These slides are introductory, and don't contain advanced techniques, but they seem to be nicely done. ## Category Theory and Computer Science (CTCS'04)
The list of accepted papers and the abstracts of invited talks are now available.
Warning: This gathering is not for the faint of heart... |
## Browse archives## Active forum topics |

## Recent comments

1 day 14 hours ago

2 days 14 hours ago

2 days 16 hours ago

2 days 16 hours ago

3 days 22 hours ago

3 days 23 hours ago

4 days 17 hours ago

4 days 19 hours ago

4 days 19 hours ago

5 days 11 hours ago