emsenn

Home

❯

Research

❯

Mathematics

❯

Objects

❯

Mathematical Universes

❯

Agential Semioverse

❯

ideas

Folder: Research/Mathematics/Objects/Universes/Agential-Semioverse/ideas

4 items under this folder.

  • Jan 08, 2026

    Encyclopedia references for tokens

    • agential-semioverse
    • encyclopedia
    • semantics
  • Jan 08, 2026

    Petri Nets and Lean for Semioverse Workflows

    • methods
    • petri-nets
    • formal-verification
    • lean
  • Jan 06, 2026

    Closure Operators as API Contracts

    • Dec 25, 2025

      Linting Skills Composition


      Notes written in Obsidian, webpages generated by Quartz, website hosted by Neocities, supported by reader donations.