Preprint / scholarly article

Dynamic Fractal Category Theory

K. Takahashi

Published
DOI
10.5281/zenodo.17299070

Abstract

We give a skeletal presentation and a left-associated normal form whose rewrite system terminates via a lexicographic measure refined by Tamari height and is locally confluent through a finite list of critical-pair shapes.

Keywords

  • category theory
  • fractals
  • frobenius monad
  • comonad
  • strong monoidal action
  • ind-pro bicompletion
  • equivariant kan extension
  • day convolution
  • newman's lemma
  • tamari lattice
  • final functors
  • restricted yoneda

Identifiers and source records