# In Praise of Sequence (Co-)Algebra and its implementation in Haskell

**Authors:** Kieran Clenaghan

arXiv: 1812.05878 · 2019-03-01

## TL;DR

This paper introduces sequence algebra, demonstrating its foundational role across mathematics and computer science, and provides a comprehensive Haskell implementation to facilitate understanding and experimentation.

## Contribution

It consolidates various sequence algebra concepts into one accessible overview and offers a complete Haskell implementation as a teaching and experimentation tool.

## Key findings

- Sequence algebra is foundational across multiple disciplines.
- A complete Haskell implementation is provided for experimentation.
- The paper invites broader mathematical engagement with sequence algebra.

## Abstract

What is Sequence Algebra? This is a question that any teacher or student of mathematics or computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics and Computation. They are foundational, a step up from number arithmetic. Sequence operations are easy to implement from scratch (in Haskell) and afford a wide variety of testing and experimentation. When bits and pieces of sequence algebra are pulled together from the literature, there emerges a claim for status as a substantial pre-analysis topic. Here we set the stage by bringing together a variety of sequence algebra concepts for the first time in one paper. This provides a novel economical overview, intended to invite a broad mathematical audience to cast an eye over the subject. A complete, yet succinct, basic implementation of sequence operations is presented, ready to play with. The implementation also serves as a benchmark for introducing Haskell by mathematical example.

## Full text

_Full body text omitted from this summary view._ Fetch the complete paper as Markdown: https://tomesphere.com/paper/1812.05878/full.md

## References

90 references — full list in the complete paper: https://tomesphere.com/paper/1812.05878/full.md

---
Source: https://tomesphere.com/paper/1812.05878