@Article{         Bojanczykb,
  Author        = "Boja{\'n}czyk, Miko{{\l}}aj",
  Abstract      = "The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of composing structures into bigger structures. It so happens that category theory has an abstract concept for this, namely a monad. The goal of this paper is to propose monads as a unifying framework for discussing existing algebras and designing new algebras.",
  date-added    = "2015-06-16 16:33:38 +0000",
  date-modified = "2015-06-17 08:19:53 +0000",
  EPrint        = "1502.04898",
  Keywords      = "readme",
  Month         = "02",
  Title         = "Recognisable languages over monads",
  URL           = "http://arxiv.org/abs/1502.04898",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1502.04898",
  File          = "Recognisable languages over monads - Bojańczyk (0) (0) - a - a - r.pdf"
}

@Article{ Bojanczykb, Author = "Boja{\'n}czyk, Miko{{\l}}aj", Abstract = "The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of composing structures into bigger structures. It so happens that category theory has an abstract concept for this, namely a monad. The goal of this paper is to propose monads as a unifying framework for discussing existing algebras and designing new algebras.", date-added = "2015-06-16 16:33:38 +0000", date-modified = "2015-06-17 08:19:53 +0000", EPrint = "1502.04898", Keywords = "readme", Month = "02", Title = "Recognisable languages over monads", URL = "http://arxiv.org/abs/1502.04898", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1502.04898", File = "Recognisable languages over monads - Bojańczyk (0) (0) - a - a - r.pdf" }