Articles by Altan Haan

1. A Fun Categorical View of Rings

   A ring can be thought of as a monoid of endofunctors on an abelian group (seen as a category).

2. Satisfiability in Unary Relational Signatures

   A quick note on satisfiability in unary relational signatures.

3. Sparse Tensor Algebra via Provenance Semirings

   Abstract

   The connection between linear algebra and relational algebra is not new. In 1997, Paul Stodghill wrote a 400 page PhD thesis on generating sparse matrix codes using the relational perspective. More recently, the SPORES paper shows how to (super)optimize sparse linear algebra operations by passing to relational algebra …

4. Hello World

   Every blog starts with a Hello World post!