.

├──

ACatT/

│ ├── 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

├──

CatT/

│ ├── "algebraic" fundamentally means "equational"

│ ├── 2-category

│ ├── Generalized Algebraic Theories (GAT)

│ ├── Lawvere Theories

│ ├── Yoneda lemma

│ ├── 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

│ ├── 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

│ └── Lambda Calculus

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

├──

Modern AI/

│ ├──

Attention/

│ │ ├── Attention Mechanism Variants

│ │ ├── KV cache

│ │ ├── Variants

│ │ └── self

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

│ └── 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

├── 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

├── SchPetriNet

├── Someone's Obsidian Vault

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

double theories

related: double category, theory

Backlinks

Attributed C-sets in CatColab
CatColab vs. Catlab.jl