HomeACatT/A Compositional Framework for Reaction NetworksAttributed C-sets in CatColabCatColab vs. Catlab.jlCatlab.jlEgglogGatlab.jlPetri netacsetreference/DisCoPyCatT/"algebraic" fundamentally means "equational"2-categoryGeneralized Algebraic Theories (GAT)Lawvere TheoriesYoneda lemmaalgebraic theorybraided monoidal categorycartesian categorycategory Aritycategory Euccategorycongruencediagramdouble categorydouble theoriesforgetful functorfree category (path category)functor categorygraphhigher category theoryinstancelenslimitmodelmonoidal categorynatural isomorphismnatural transformationproduct categoryproductreferencerepresentable functorschemasignatureskeletal categorystring diagramsymmetric monoidal categorytheoryuniversal constructionvirtual double categoryvirtual double graphwiring diagramCorner/Calculus of ConstructionLambda CalculusHow to Generate PDF from Franklin.jl SitesModern AI/Attention/Attention Mechanism VariantsKV cacheVariantsselfDeepSeek-R1- Incentivizing Reasoning Capability in LLMs via Reinforcement LearningThe RL-LLM Taxonomy Tree- Reviewing Synergies Between Reinforcement Learning and Large Language ModelsRandom/Format on save using entr without editorJulia Sum BenchmarksJulia has no dependent typesRepost- Concept selection in systems engineering as lenses in PolyRepost- Generalized Transformers from Applicative FunctorsRepost- Reinforcement Learning through the Lens of Categorical CyberneticsSchPetriNetSomeone's Obsidian Vault{Directed, Undirected} x {Biased, Unbiased}