#

initial-algebra

Here are 2 public repositories matching this topic...

t-wissmann / Initial-Algebras-Unchained

Mirror of https://git8.cs.fau.de/software/initial-algebras-unchained

algebra recursion category-theory agda coalgebra initial-algebra

Updated May 22, 2024
Agda

aion-paper-01-warp

flyingrobots / aion-paper-01-warp

AIΩN Foundations Paper I – WARP Graphs: A Worldline Algebra for Recursive Provenance

provenance category-theory formal-methods theoretical-computer-science research-paper aion categorical-semantics hypergraphs worldline graph-embeddings initial-algebra recursive-graphs aion-foundations warp-graphs nested-graphs hierarchical-graphs graph-of-graphs directed-multigraphs

Updated Dec 15, 2025
TeX

Add this topic to your repo

To associate your repository with the initial-algebra topic, visit your repo's landing page and select "manage topics."