.

├──

Applied Category Theory/

│ ├── 3 ways to represent the free monoidal category generated by a signature

│ ├── A Compositional Framework for Reaction Networks

│ ├── Attributed C-sets in CatColab

│ ├── CatColab vs. Catlab.jl

│ ├── Catlab.jl

│ ├── Egglog

│ ├── Gatlab.jl

│ ├── Petri net

│ ├── acset

│ ├──

reference/

│ │ └── DisCoPy

│ └── softwares for drawing string diagrams

├──

Category Theory/

│ ├── 2-category

│ ├── Generalized Algebraic Theories (GAT)

│ ├── Lawvere Theories

│ ├── Yoneda lemma

│ ├── algebraic fundamentally means equational

│ ├── algebraic theory

│ ├── braided monoidal category

│ ├── cartesian category

│ ├── category Arity

│ ├── category Euc

│ ├── category

│ ├── congruence

│ ├── diagram

│ ├── double category

│ ├── double theories

│ ├── forgetful functor

│ ├── free category (path category)

│ ├── functor category

│ ├── graph

│ ├── higher category theory

│ ├── instance

│ ├── lens

│ ├── limit

│ ├── model

│ ├── monoidal category

│ ├── natural isomorphism

│ ├── natural transformation

│ ├── order

│ ├── product category

│ ├── product

│ ├── reference

│ ├── representable functor

│ ├── schema

│ ├── signature

│ ├── skeletal category

│ ├── string diagram

│ ├── symmetric monoidal category

│ ├── theory

│ ├── universal construction

│ ├── virtual double category

│ ├── virtual double graph

│ └── wiring diagram

├──

Corner/

│ ├── Calculus of Construction

│ ├── How to Generate PDF from Franklin.jl Sites

│ └── Lambda Calculus

├──

Modern AI/

│ ├──

Attention/

│ │ ├── Attention Mechanism Variants

│ │ ├── KV cache

│ │ ├── Variants

│ │ └── self

│ ├── DeepSeek-R1- Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

│ ├── Structured Generation

│ └── The RL-LLM Taxonomy Tree- Reviewing Synergies Between Reinforcement Learning and Large Language Models

├──

Random/

│ ├── Format on save using entr without editor

│ ├── Julia Sum Benchmarks

│ ├── Julia has no dependent types

│ ├── Python tricks

│ ├── Repost- Concept selection in systems engineering as lenses in Poly

│ ├── Repost- Generalized Transformers from Applicative Functors

│ ├── Repost- Reinforcement Learning through the Lens of Categorical Cybernetics

│ ├── Repost- Simple top-down development in OCaml

│ ├── Repost- Why I chose OCaml as my primary language

│ ├── SchPetriNet

│ ├── Someone's Obsidian Vault

│ └── {Directed, Undirected} x {Biased, Unbiased}

├── home

└──

post/

├── My complaints about langgraph

└── type-safe Python

SchPetriNet

date	2025-09-01

Screenshot of a petri net graphviz plot displayed in tmux in ghostty, kind of cool: