All NotesJul 23, 2024XOR variable exchangeJul 23, 2024why is automata trace universalJul 23, 2024Universal Algebra and Effectful Computation (Rajesh, 2023)Jul 23, 2024uniform traceJul 23, 2024uniform pointed feedbackJul 23, 2024Two-sided duoidal dualityJul 23, 2024two styles for monoidal streamsJul 23, 2024transition systemJul 23, 2024Strong promonadJul 23, 2024string diagrams over a monoidal graphJul 23, 2024string diagrams for ordinary differential equationsJul 23, 2024string diagrams are twoJul 23, 2024stochastic bisimulationJul 23, 2024Span(Graph)Jul 23, 2024Signalling structure of process theoriesJul 23, 2024sessions are combsJul 23, 2024Runtime monoidal categoryJul 23, 2024reactive programmingJul 23, 2024Raudsilla Seminar, November 2022Jul 23, 2024quasitotal preorder gives a monoidal enrichmentJul 23, 2024quasitotal preorderJul 23, 2024quantum key distribution is secureJul 23, 2024Promonads and String Diagrams for Effectful Categories (Román, 2022)Jul 23, 2024PromonadDefinitionProfunctorMonoidPromonadJul 23, 2024promoduleJul 23, 2024profunctorJul 23, 2024produoidal categoryJul 23, 2024premulticategoryJul 23, 2024Premonoidal categoryJul 23, 2024Premonoidal Categories and a Graphical View of Programs (Jeffrey, 1997)Jul 23, 2024poset shapesJul 23, 2024Physical monoidal multicategoryJul 23, 2024physical duoidal signatureJul 23, 2024physical duoidal categoryJul 23, 2024physical duoidal categories are seq-spacialJul 23, 2024Partial Markov categoryJul 23, 2024normalization of a partial Markov morphismJul 23, 2024normalization is almost a restriction operatorJul 23, 2024normal duoidally enriched multicategoryJul 23, 2024Normal duoidal categoryJul 23, 2024non-empty relations have functional rangeJul 23, 2024Monoids on the arrow categoryJul 23, 2024monoidal streamsJul 23, 2024Monoidal multicategoryJul 23, 2024Monoidal monadJul 23, 2024Monoidal Mealy machinesJul 23, 2024MonadJul 23, 2024mealy machineJul 23, 2024Markov and subMarkov categoriesJul 23, 2024Malleable multicategories are promonoidalJul 23, 2024list monadJul 23, 2024Lax twisted arrow bicategoryJul 23, 2024LatexJul 23, 2024intervals are subtermsJul 23, 2024instances of Fox's theoremJul 23, 2024homomorphism of strong promonadsJul 23, 2024graphical linear algebraJul 23, 2024Graphical Language with Delayed Trace (Carette, de Visme, Perdrix, 2021)Jul 23, 2024Graphical closed monoidalsJul 23, 2024funny tensor of the arrow categoryJul 23, 2024Freyd categoryJul 23, 2024feedback premonoidal categoryJul 23, 2024Feedback in compact bicategoriesJul 23, 2024environment structureJul 23, 2024Endocells of a map pseudomonoid are duoidalJul 23, 2024Ehrenfest coinductivelyJul 23, 2024effectful Mealy machineJul 23, 2024effectful copy-discard categoryJul 23, 2024Eckmann-Hilton intuition for duoidal categoriesJul 23, 2024duoidal strings - string diagrams form a physical duoidal categoryJul 23, 2024duoidal strings - posetal hypergraphJul 23, 2024duoidal strings - physical duoidal string diagramsJul 23, 2024duoidal strings - normal duoid in a normal duoidalJul 23, 2024duoidal stringsJul 23, 2024Duoidal categoryJul 23, 2024drawing a duoidJul 23, 2024do-notation substitutionJul 23, 2024do-notationJul 23, 2024distributive law of promonadsPromonadJul 23, 2024copy-dependenciesJul 23, 2024contour splice for graphsJul 23, 2024Continuation monadJul 23, 2024Compositional dependencies with duoidalsJul 23, 2024compositional algebraJul 23, 2024complementary frobenius algebrasJul 23, 2024Coherence for duoidals, wrong statementJul 23, 2024Coalgebra of the real intervalJul 23, 2024choosing total relations gives directionalityJul 23, 2024Category of duoidal dualitiesJul 23, 2024categorical quantum mechanicsJul 23, 2024cartesian reverse differential categoryJul 23, 2024braided monoidal categoryJul 23, 2024Bisimulation for labelled Markov processes (Blute, Desharnais, Edalat, Panangaden, 1997)Jul 23, 2024BisimulationJul 23, 2024bimodular automataJul 23, 2024associativity for normal opduoidally enriched multicategoriesJul 23, 2024associativity for a normal duoidally enriched multicategoryJun 27, 2024Subdistribution monadJun 27, 2024Newcombs problemJun 27, 2024Newcomb's Problem and Two Principles of Choice (Nozick 1969)Jun 27, 2024Discrete partial Markov categoryJun 27, 2024Bayes update on subdistributionsJun 18, 2024Weakly Distributive Categories (Cockett, Seely, 1997)Jun 18, 2024verifying probabilistic code from ChatGPTJun 18, 2024physical tensorJun 18, 2024Monoidal profunctorJun 18, 2024Mixing normal duoidalsJun 18, 2024LotteriesJun 18, 2024Distributive categoryJun 3, 2024zetless posets have a unique expressionJun 3, 2024zetless posetJun 3, 2024zetless - unrelation connected by sequential primalityJun 3, 2024zetless - connect by cospansJun 3, 2024Viterbi semiringJun 3, 2024values and computationJun 3, 2024Universal Properties of Impure Programming Languages (Staton, Levy)Jun 3, 2024unique liftings and freenessJun 3, 2024unique lifting of factorizationsJun 3, 2024tensor of expressible posetsJun 3, 2024surface diagrams of interaction lawsJun 3, 2024strict symmetric monoidal categoryJun 3, 2024strict monoidal multicategoryJun 3, 2024Shufflings are deuterorepresentable normal produoidalsJun 3, 2024Shuffling monoidal categoryJun 3, 2024properties of normal weakeningJun 3, 2024prime posets are singletonsJun 3, 2024PosetJun 3, 2024parallel and sequential prime posetsJun 3, 2024non-deterministic finite state automaton over a categoryJun 3, 2024MulticategoryJun 3, 2024motivation for promonadsPromonadMotivationJun 3, 2024monoidal promonadJun 3, 2024Markov categoryMarkov-CategoryProbabilityMonoidal-CategoryJun 3, 2024intersection of ULF automataJun 3, 2024Interaction lawsJun 3, 2024hom-monoid in a closed duoidalJun 3, 2024Grothendieck universeJun 3, 2024Free monoidJun 3, 2024finitary functorJun 3, 2024expressible posetJun 3, 2024Duoid in a duoidalJun 3, 2024distributive lawMonoidDistributive-LawJun 3, 2024conditionals using do-notationDo-NotationMarkov-CategoryJun 3, 2024Conditionals in a Markov categoryMarkov-CategoryMonoidal-CategoryJun 3, 2024category of dyck walksJun 3, 2024Building Free Arrows (Sigpfe)Jun 3, 2024Bath Seminar - ShufflesJun 3, 2024Automata as functorsJun 3, 2024algebras for premonoidal categoriesMay 3, 2024profunctor composition is associativeMay 3, 2024hom is the identity profunctorMay 3, 2024distributive law of strong promonadsMay 3, 2024Vsquared-categoriesMay 3, 2024surface diagrams for a strong monadMay 3, 2024Strong profunctorMay 3, 2024string diagrams for distributive lawsMay 3, 2024Stream is a promonadMay 3, 2024Prostrong promonadMay 3, 2024Promonads are identity-on-objects functorsMay 3, 2024promonad natural transformationMay 3, 2024profunctor natural transformationMay 3, 2024Proeffectful categoriesMay 3, 2024Monoidal double category of categoriesMay 3, 2024Kleisli objectMay 3, 2024Kleisli category of a promonadMay 3, 2024Kleisli categoryMay 3, 2024Homomorphisms of promonads are functor squaresMay 3, 2024Free conical cocompletionMay 3, 2024formal category theoryMay 3, 2024distributive law monad-comonadMay 3, 2024distributive law comonad-monadMay 3, 2024Copyable and discardable Freyd categoriesMay 3, 2024Convolution and coconvolutionMay 3, 2024Central product of promonadsMay 3, 2024Bimodular profunctorMay 2, 2024Strong monadMay 2, 2024problem with limits on intensional streamsMay 2, 2024probabilistic programmingMay 2, 2024pro or not, strong or notMay 2, 2024posets in duoidalsMay 2, 2024On Partial Languages (Grabowski, 1981)May 2, 2024omega-continuous functors have terminal coalgebrasMay 2, 2024Note IndexMay 2, 2024lax monoidal categoryMay 2, 2024Effectful Trace Semantics via Effectful StreamsMay 2, 2024effectful copy-discard from a strong promonadMay 2, 2024displayed categoryMay 2, 2024confinal functorMay 2, 2024composing profunctorsMay 2, 2024Coend calculusMay 2, 2024An Introduction to Probabilistic Programming (van de Meent, Paige, Yang, Wood, 2021)May 2, 2024theory of global stateMay 2, 2024The double bicategory of monoidal and bimodular profunctorsMay 2, 2024Stochastic streamsMay 2, 2024Reducing an adjunctionMay 2, 2024Prostrong monadMay 2, 2024Monoidal categoryMay 2, 2024lax monoidal categories are lax monoids in the monoidal bicategory of categoriesMay 2, 2024lax monoidMay 2, 2024Gaussian probability theoryMay 2, 2024Dependence from duoidalsMay 2, 2024Boxes are bubblesMay 2, 2024Bayesian Inversion in Partial MarkovApr 23, 2024Symmetric opticsApr 23, 2024Category theoryApr 23, 2024Yoneda is the free cocompletionApr 23, 2024Why proarrows are not the algebra of messagesApr 23, 2024While loops as tracesApr 23, 2024weak distributive lawApr 23, 2024Transformation of cliquesApr 23, 2024traced monoidal categoryApr 23, 2024theory of diagrams with holesApr 23, 2024The point of coend calculusApr 23, 2024The missing string adjunctionApr 23, 2024the inverse of an associative multiplication is a coassociative comultiplicationApr 23, 2024The idea of shape-contentsApr 23, 2024Terence Tao on writingApr 23, 2024Template gamesApr 23, 2024Tambara modules as algebrasApr 23, 2024Tambara moduleApr 23, 2024TabulatorApr 23, 2024Synthetic Bayes theoremApr 23, 2024symmetric multigraph of cliquesApr 23, 2024Symmetric multicategoryApr 23, 2024Switchings of a linkingApr 23, 2024String diagrams for monad and monad algebrasApr 23, 2024string diagrams are the internal language of monoidal categoriesApr 23, 2024Strictification of a monoidal categoryApr 23, 2024Strict monoidal categoryApr 23, 2024Streams in cartesian monoidal categoriesApr 23, 2024Star-autonomous categoryApr 23, 2024splice-contour adjunctionApr 23, 2024Sliced left adjointApr 23, 2024Slice categories as categories of coalgebrasApr 23, 2024Separatedness, discreteness, and comparatorsApr 23, 2024RacksApr 23, 2024quasi 2-adjunctionApr 23, 2024Promonoidals induce coherent multicategoriesApr 23, 2024Promonoidals as multicategories that factorApr 23, 2024promonoidal category of spliced arrowsApr 23, 2024Promonoidal category of opticsApr 23, 2024promonoidal categoryApr 23, 2024Prodependence in produoidalsApr 23, 2024Probabilistic mixtures as promonoidalsApr 23, 2024Presentations of Premonoidal Categories by DevicesApr 23, 2024PolygraphApr 23, 2024Polarized monoidal categoryApr 23, 2024Polarization of a monoidal categoryApr 23, 2024Polar shufflesApr 23, 2024partial leaf functionsApr 23, 2024Parsing vs pretty-printingApr 23, 2024Parsing via spliceApr 23, 2024ParsingApr 23, 2024Parallax bicategoryApr 23, 2024Open diagrams are pointed profunctorsApr 23, 2024open bayesian networksApr 23, 2024Notation for spansApr 23, 2024Not every monoidal functor is naturally isomorphic to a strict oneApr 23, 2024Normalization of profunctors over a monoidal categoryApr 23, 2024Normalization of a duoidal categoryApr 23, 2024Newcomb's problem in LazyPPLApr 23, 2024name the adjunction, not its componentsApr 23, 2024My work is about finding languagesApr 23, 2024Multivariable adjunctionApr 23, 2024Multinatural transformationApr 23, 2024multicategory of raw opticsApr 23, 2024Monoids and promonoidsApr 23, 2024Monoidals inside CatApr 23, 2024Monoidal width as a duoidal functorApr 23, 2024Monoidal streams via actionsApr 23, 2024Monoidal stream computationApr 23, 2024Monoidal contextsApr 23, 2024monadicity theoremApr 23, 2024Moggi effectsApr 23, 2024Metric spaceApr 23, 2024Markov as dependency categoriesApr 23, 2024Map pseudomonoidApr 23, 2024Malleable polycategoryApr 23, 2024machines and streamsApr 23, 2024linearly distributive categoryApr 23, 2024Lax duoidApr 23, 2024internal languageApr 23, 2024Gray monoidApr 23, 2024graphical programming languages deserve formal semanticsApr 23, 2024Functor boxApr 23, 2024formal 2-adjunctionApr 23, 2024evidential versus causal decision theoryApr 23, 2024effectful streamsApr 23, 2024effectful categoryApr 23, 2024Duals in a normal monoidal multicategoryApr 23, 2024DualityApr 23, 2024Drawing the Church booleansApr 23, 2024double categoryApr 23, 2024Do-notation in type theoryApr 23, 2024do not write pedanticallyApr 23, 2024Directed acyclic open hypergraphsApr 23, 2024Directed acyclic graphApr 23, 2024Dg-categoryApr 23, 2024Definitions of topologyApr 23, 2024Decomposition complexityApr 23, 2024Death in DamascusApr 23, 2024convolution product and inverse of streamsApr 23, 2024Contouring Prostar Autonomous CategoriesApr 23, 2024contour rule translationApr 23, 2024contour of a multicategoryApr 23, 2024Comonoids to the leftApr 23, 2024ComonadApr 23, 2024Commutativity in a map pseudomonoidApr 23, 2024combinatorial speciesApr 23, 2024coinductive streamsApr 23, 2024Coinductive cellular automataApr 23, 2024coinductive analysisApr 23, 2024Coalgebras of shape and contentsApr 23, 2024Chu interpretation of linear logicApr 23, 2024choosing a random streamApr 23, 2024Cartesian, partial and stochasticApr 23, 2024Cartesian stream transducersApr 23, 2024Cartesian categories are monoidal categoriesApr 23, 2024calculational proofsApr 23, 2024Buchi monoidal streamsApr 23, 2024Bimonoid in a duoidalApr 23, 2024Bimodule on a bicategoryApr 23, 2024BicategoryApr 23, 2024Being multicategorical in each variable is the Chu constructionApr 23, 2024Beck-Chevalley conditionApr 23, 2024Bayes update with do-notationApr 23, 2024Bayes rare illness testingApr 23, 2024Arrows in HaskellApr 23, 2024Algebra of partial and copartialApr 23, 2024Affine Traversals split but whyApr 23, 2024acyclic linear hypergraphsApr 23, 20242-Duality, lax and strongMar 28, 2024synthetic evidential decision theoryMar 28, 2024syntax for Freyd multicategoriesMar 28, 2024structural conditionalsMar 28, 2024Stochastic functionMar 28, 2024signatureMar 28, 2024shuffleMar 28, 2024Pure tensor of promonadsMar 28, 2024naive message theoryMar 28, 2024motivating message theoriesMar 28, 2024Message theoryMfps-MessagesMar 28, 2024graded comonadMar 28, 2024Funny tensor of promonadsMar 28, 2024effectful multicategoryMar 28, 2024effectful copy-discard do-notationMar 28, 2024copy-discard signatureMar 28, 2024copy-discard do notationMar 28, 2024commuting tensor of effectful categoriesMar 28, 2024cocommutative hypergraph labeled over a multigraphMar 28, 2024cocommutative hypergraphMar 28, 2024Mar 12, 2024sessions form a message theoryMar 12, 2024Profunctor Optics a Categorical Update (Clarke, Elkins, Gibbons, Loregian, Milewski, Pillmore, Román)Mar 12, 2024polarization on a physical monoidal multicategoryMar 12, 2024opticsMar 12, 2024naturality of swaps in shufflesMar 12, 2024Independent marginalization for a strong monadMar 12, 2024effectful category of sessions over a symmetric monoidal categoryMar 12, 2024decision theoryMar 12, 2024Copy-discard categoryMar 12, 2024ClubsFeb 25, 2024Uniform copy deleteFeb 25, 2024Three equalities for combs and opticsFeb 25, 2024symmetric multigraphFeb 25, 2024symmetric multicategory to commutative multigraphFeb 25, 2024Subunary shuffling teleological multicategoryFeb 25, 2024Strict monoidal categories and coherenceFeb 25, 2024Spliced arrows vs opticsFeb 25, 2024Shuffling wordsFeb 25, 2024raw opticsFeb 25, 2024pseudomonoids of multivariable adjunctions are closed categoriesFeb 25, 2024PseudomonoidFeb 25, 2024optical contourFeb 25, 2024Normal monoidal multicategorical contourFeb 25, 2024multigraphFeb 25, 2024multicategories are lax monoids in the monoidal bicategory of spansFeb 25, 2024monoidal context free grammar by diagramsFeb 25, 2024monoidal bicategory of spansFeb 25, 2024Lax opticsFeb 25, 2024Latex macros are not abbreviationsFeb 25, 2024Contextual equivalence of lensesFeb 25, 2024Context theory for monoidal categoriesFeb 25, 2024commutative multigraphFeb 25, 2024Cartesian monoidal categoryFeb 25, 2024bimodular tambaraFeb 25, 20242-adjunctionFeb 25, 2024Feb 3, 2024WikidataFeb 3, 2024What is special about Set, in the double category CatFeb 3, 2024What is a free monad of fresh namesFeb 3, 2024Weighted colimits in box notationFeb 3, 2024visible symmetric monoidal categoryFeb 3, 2024Virtual starsFeb 3, 2024versions of Fox's theoremFeb 3, 2024Van Laarhoven lenses and gratesFeb 3, 2024Unnatural transformationsFeb 3, 2024Unix pipesFeb 3, 2024Unit of the normalization monadFeb 3, 2024Understanding intelligent systems may be both our greatest achievement or our endFeb 3, 2024Underlying monoidal of a message structureFeb 3, 2024underlying category of a multicategoryFeb 3, 2024Unbiased premonoidal categoryFeb 3, 2024Type Theory for unbiased monoidal categoriesFeb 3, 2024Type theory for symmetric monoidal categoriesFeb 3, 2024Type theory for delayed feedbackFeb 3, 2024Type theory for a strong monoidal endofunctorFeb 3, 2024Two tensors, three dimensionsFeb 3, 2024two operations on streamsFeb 3, 2024Two generals problemFeb 3, 2024Twisted monoidsFeb 3, 2024Twisted arrow pseudomonoidsFeb 3, 2024TricategoryFeb 3, 2024TraversablesFeb 3, 2024Traced Premonoidal Categories (Benton, Hyland)Feb 3, 2024trace equivalence versus bisimulationFeb 3, 2024Towards linear mathematicsFeb 3, 2024Timing monoidal lax categoriesFeb 3, 2024Timing crema di mascarponeFeb 3, 2024Three tensors when we normalizeFeb 3, 2024Three notations for symmetric monoidal categoriesFeb 3, 2024Three criteria for truthFeb 3, 2024Thickening of a finite functionFeb 3, 2024theory of convex semilatticesFeb 3, 2024Theory of cartesian multicategoriesFeb 3, 2024the theory of commutative comonoids is a monoidFeb 3, 2024The Structure of Concurrent Process Histories (Nester, 2020)Feb 3, 2024The Stream(-) constructionFeb 3, 2024The stream endofunctor has a terminal coalgebraFeb 3, 2024the source of naturality and uniformity in Fox's theoremFeb 3, 2024The PROP of conductancesFeb 3, 2024The Precipice (Toby Ord)Feb 3, 2024The old mathematics does not need to be our strategyFeb 3, 2024The adjunction of a lax functor boxFeb 3, 2024The 2-Polycategorical structure of multivariable adjointsFeb 3, 2024The 2-Chu-Dialectica Construction and the Polycategory of Multivariable Adjunctions (Shulman, 2020)Feb 3, 2024The 2-category of effectful categoriesFeb 3, 2024tensor of monoidal categoriesFeb 3, 2024Tensor of bimodular categoriesFeb 3, 2024TCP three way handshakeFeb 3, 2024Talk on subdistributionsFeb 3, 2024Taking runtime seriouslyFeb 3, 2024Synchronous StreamsFeb 3, 2024Sync-minimal lens spanFeb 3, 2024Symmetric normalization of a produoidalFeb 3, 2024symmetric monoidal categoryFeb 3, 2024Symmetric monoidal categories with full subcategoriesFeb 3, 2024Symmetric Monoidal AutomataFeb 3, 2024Switching criterionFeb 3, 2024Surjections of automata are quotientsFeb 3, 2024Surface diagrams for pseudofunctorsFeb 3, 2024Sur la Commutation des Limites (Foltz, 1981)Feb 3, 2024SuplatticeFeb 3, 2024Subtle non-implication in corneringsFeb 3, 2024Substituting without runtimeFeb 3, 2024strongly connected component of a graphFeb 3, 2024Strong symmetric monoidal functorFeb 3, 2024Strong monoidal functor boxes in TambaraFeb 3, 2024Strings for duoidal categoriesFeb 3, 2024String Diagrams for Premonoidal Categories (Roman, 2023)Feb 3, 2024String diagrams for category theoryFeb 3, 2024string diagrams for bimodular categoriesFeb 3, 2024strictifying tricategoriesFeb 3, 2024Strictification of a monoidal functorFeb 3, 2024Strict duoidal categoryFeb 3, 2024Strict binoidal pseudofunctorFeb 3, 2024Stream programming and signal flowFeb 3, 2024Stream programming and monoidal categoriesFeb 3, 2024Stream preserves cartesianityFeb 3, 2024Stream functionsFeb 3, 2024streamFeb 3, 2024Stochastic to stream is well-definedFeb 3, 2024Stochastic streams via Adamek's theoremFeb 3, 2024Stochastic processes via streamsFeb 3, 2024State promonadFeb 3, 2024Star-polycategoryFeb 3, 2024Splitting the one-time padFeb 3, 2024Split runtimeFeb 3, 2024Spliced arrows form a malleable multicategoryFeb 3, 2024Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore et al)Feb 3, 2024Some dependent lensesFeb 3, 2024Smoking lesion problemFeb 3, 2024Slices indexed by spansFeb 3, 2024Sleeping beauty problemFeb 3, 2024Skew promonad of a lax monoidal functorFeb 3, 2024Simulation simplifies bisimulationFeb 3, 2024simulation equivalence does not imply bisimulationFeb 3, 2024Simple type theoryFeb 3, 2024signed binary digit streamsFeb 3, 2024Signalling in quantum circuitsFeb 3, 2024Signalling in quantum circuitsFeb 3, 2024shuffles are the free physical monoidal multicategoryFeb 3, 2024Shape and contents comonadFeb 3, 2024Sets is a monoidal categoryFeb 3, 2024Session structureFeb 3, 2024Session do-notationFeb 3, 2024sesquifunctors and the funny tensor productFeb 3, 2024seqpar signatureFeb 3, 2024SemiringFeb 3, 2024Second action of produoidal Markov splitFeb 3, 2024Scott topologyFeb 3, 2024SchemaFeb 3, 2024Right adjoint to oplax is laxFeb 3, 2024Reversors in profunctorsFeb 3, 2024Resumption monadFeb 3, 2024Repeated processesFeb 3, 2024regular monoidal languageFeb 3, 2024regular monoidal grammarFeb 3, 2024regular languageFeb 3, 2024regular grammarFeb 3, 2024reflexive dcpoFeb 3, 2024Refining Fox's TheoremFeb 3, 2024Reduction in symmetric monoidal categoriesFeb 3, 2024Reading Bayesian inversion diagramsFeb 3, 2024Reading an example on the monoidal bicategory of profunctorsFeb 3, 2024Range with total compositionFeb 3, 2024Randomness factorizationFeb 3, 2024Quoting comonad of a monadFeb 3, 2024quotients and relationsFeb 3, 2024Quotienting Do-notationFeb 3, 2024Quotient transition systemFeb 3, 2024Quotient of IO transition systemsFeb 3, 2024Quasiquoting latexFeb 3, 2024Quantum combsFeb 3, 2024QuantaleFeb 3, 2024Putting an end to parameters IVFeb 3, 2024Putting an end to parameters IIIFeb 3, 2024Putting an end to parameters IIFeb 3, 2024Putting an end to parameters IFeb 3, 2024Pullbacks preserve colimits in SetFeb 3, 2024Pseudomonoid lax homomorphismFeb 3, 2024Proxy-pullback squareFeb 3, 2024Promonoids from monoidsFeb 3, 2024promonoidal functorFeb 3, 2024Promonoidal contourFeb 3, 2024Promonoidal category of shufflingsFeb 3, 2024PromonoidFeb 3, 2024Prolinearly distributive categoryFeb 3, 2024Prolinear contourFeb 3, 2024Prolinear category of spliced arrowsFeb 3, 2024Produoidal functorFeb 3, 2024Produoidal contourFeb 3, 2024Produoidal algebra of monoidal contextsFeb 3, 2024Processes come intuitivelyFeb 3, 2024ProcessesFeb 3, 2024Process theoryFeb 3, 2024Problem with exchange in do notationFeb 3, 2024ProbabilityFeb 3, 2024Probabilistic bisimulationFeb 3, 2024Presenting linear mathematics IIFeb 3, 2024Presenting linear mathematics IFeb 3, 2024PrepromonoidalityFeb 3, 2024Premonoidal optics may not be a prostrong promonadFeb 3, 2024Premonoidal opticsFeb 3, 2024Premonoidal functorFeb 3, 2024premonoidal categories are monoidal categories without the interchange lawFeb 3, 2024Polygraph 2-adjunctionFeb 3, 2024Polycategory of multivariable adjunctionsFeb 3, 2024polycategoryFeb 3, 2024Polycategorical spliceFeb 3, 2024Polarized notation for opticsFeb 3, 2024Polarization of physical duoidalsFeb 3, 2024Polarization is left adjoint to taking left adjointsFeb 3, 2024polar shuffles form a multicategoryFeb 3, 2024polar shuffles form a monoidal multicategoryFeb 3, 2024Pointed profunctorFeb 3, 2024pinwheel double categoriesFeb 3, 2024philosophy of linear foundationsFeb 3, 2024partial rangeFeb 3, 2024Parameterised monadsFeb 3, 2024Parameterised comonadsFeb 3, 2024Optics for Premonoidal CategoriesFeb 3, 2024Opmonoidal comonadFeb 3, 2024Operational view of gratesFeb 3, 2024Open internal diagramsFeb 3, 2024Open diagrams are usedFeb 3, 2024Open diagrams appearFeb 3, 2024One-time pad protocol session-do implementationFeb 3, 2024One-time pad protocolFeb 3, 2024On syntax and free objectsFeb 3, 2024Old - Promonoidal categoryFeb 3, 2024Old - Monoidal profunctorFeb 3, 2024Old - Definition of strong promonadFeb 3, 2024Old - Contour of a polycategoryFeb 3, 2024Old - Compositional dependencies with duoidalsFeb 3, 2024old - axioms of a message theoryFeb 3, 2024Observations and comparatorsFeb 3, 2024nutritionFeb 3, 2024Notation for total compositionFeb 3, 2024Notation for spans, graphicallyFeb 3, 2024normalization of contour of a seqpar signatureFeb 3, 2024Normalization of a produoidalFeb 3, 2024Normal multicategory of contextual lensesFeb 3, 2024Normal monoidal multicategories induce message structuresFeb 3, 2024Normal duoidals are isomixFeb 3, 2024non-deterministic automatonFeb 3, 2024Non cartesianity in subdistributionsFeb 3, 2024NewsFeb 3, 2024negligibility spaceFeb 3, 2024Near ringsFeb 3, 2024Multiplication of the normalization monadFeb 3, 2024MultifunctorFeb 3, 2024Multicategorical contourFeb 3, 2024Motivation in the cartesian streamsFeb 3, 2024Motivating normalization of spliceFeb 3, 2024Motivating monoidal categoriesFeb 3, 2024Motivating bicategoriesFeb 3, 2024Monty-Hall in partial MarkovFeb 3, 2024monoids and comonoidsFeb 3, 2024Monoidals parallelizeFeb 3, 2024Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)Feb 3, 2024Monoidal streams for Buchi automataFeb 3, 2024Monoidal stream computation IIFeb 3, 2024monoidal spliced arrowsFeb 3, 2024Monoidal profunctors (string diagrams)Feb 3, 2024Monoidal contexts in grammar ambiguityFeb 3, 2024Monoidal contexts form a categoryFeb 3, 2024monoidal context-free to monoidal regularFeb 3, 2024monoidal Chomsky-Schutzenberger representation theoremFeb 3, 2024Monoidal category of streamsFeb 3, 2024Monoidal bicategoryFeb 3, 2024monoidal 2-categoryFeb 3, 2024Monoid theoristFeb 3, 2024Monad properties via do notationFeb 3, 2024Modules in wire diagramsFeb 3, 2024Module categoryFeb 3, 2024ModuleFeb 3, 2024Modelling Newcomb problemFeb 3, 2024Mix and isomixFeb 3, 2024Milewski-Vertechi dependent opticsFeb 3, 2024Message splice contour adjunctionFeb 3, 2024measurable spaceFeb 3, 2024Mathematics is not up for the task of describing complex systemsFeb 3, 2024Mates correspondenceFeb 3, 2024Markovs are secretly produoidalFeb 3, 2024Markov by splitFeb 3, 2024Map pseudomonoid mapsFeb 3, 2024Malleable multicategoryFeb 3, 2024Lukasiewicz LogicFeb 3, 2024Loose monoid in a double categoryFeb 3, 2024Loose bicategory of a double categoryFeb 3, 2024Loop space of a bicategoryFeb 3, 2024Locally Accessible and Presentable Categories (Adamek, Rosicky, 1994)Feb 3, 2024List opmonoidal comonadFeb 3, 2024Linear solution for the barberFeb 3, 2024Linear polygraphFeb 3, 2024Linear mathematicsFeb 3, 2024Linear Logic Without Units (Houston, 2007)Feb 3, 2024Linear logicFeb 3, 2024Lenses flowing backFeb 3, 2024Lens operationsFeb 3, 2024Lax twisted monoids and convolutionFeb 3, 2024Lax pseudofrobenius algebraFeb 3, 2024Lawvere theoryFeb 3, 2024Lawvere theories and universal modelsFeb 3, 2024Laplace transformFeb 3, 2024Kl(D) is not pseudopurifiableFeb 3, 2024Jens Seeber on Lawvere theoriesFeb 3, 2024iteration, bisimulation, automataFeb 3, 2024Interchange lawFeb 3, 2024Integral in a bialgebraFeb 3, 2024Infinity-combsFeb 3, 2024Inductive definition of combs and contextsFeb 3, 2024ideal on a measurable spaceFeb 3, 2024IconsFeb 3, 2024Hopf AlgebrasFeb 3, 2024HasktorchFeb 3, 2024Has constructivism failed?Feb 3, 2024Hacking dependent lenses as mixed opticsFeb 3, 2024Grothendieck constructionFeb 3, 2024Graphical calculus for madjFeb 3, 2024Graph diagrams of compact closed categoriesFeb 3, 2024Good syntaxFeb 3, 2024Funny tensor as coproductFeb 3, 2024Functor boxes in CatFeb 3, 2024Functional morphisms of probabilistic automata are bisimulationsFeb 3, 2024Functional Decision Theory. A New Theory of Instrumental Rationality (Yudkowsky, Soares, 2018)Feb 3, 2024From stateful morphisms to streamsFeb 3, 2024From produoidals to prodependenceFeb 3, 2024Freyd as pseudomonoidsFeb 3, 2024Free posetal duoidaleFeb 3, 2024Free effectful category IFeb 3, 2024Free A-MagmaFeb 3, 2024Fox's theorem and cocommutativityFeb 3, 2024Formal normalizationFeb 3, 2024Forgetting about prostarsFeb 3, 2024First action of produoidal Markov splitFeb 3, 2024Faithful cartesian clubFeb 3, 2024Exponential symmetric monoidal categoryFeb 3, 2024Exponentiable multicategoryFeb 3, 2024examples of the Chomsky-Schutzenberger representation theoremFeb 3, 2024Examples of monoidal categoryFeb 3, 2024example of regular monoidal grammarFeb 3, 2024Essentially algebraic theoriesFeb 3, 2024End-preserving functorsFeb 3, 2024encoding of polar shufflesFeb 3, 2024Eilenberg-Moore objectFeb 3, 2024efficient sequence of finite setsFeb 3, 2024EffectusFeb 3, 2024Effects of a monadFeb 3, 2024effectful transition systems in do-notationFeb 3, 2024Effectful Semantics in 2-Dimensional Categories, Premonoidal and Freyd Bicategories (Paquet, Saville)Feb 3, 2024effectful Mealy machines form a effectful 2-categoryFeb 3, 2024Effect MonoidFeb 3, 2024Effect algebraFeb 3, 2024Eckmann-Hilton argumentFeb 3, 2024Dyck languageFeb 3, 2024DuomulticategoryFeb 3, 2024Duoidal TambaraFeb 3, 2024duoidal category of graded spacesFeb 3, 2024Duals and compact closed categoriesFeb 3, 2024Duality in a physical monoidal multicategoryFeb 3, 2024Duality in a linearly distributive categoryFeb 3, 2024DualitiesFeb 3, 2024drawing universal modulesFeb 3, 2024double graphsFeb 3, 2024Double category CATFeb 3, 2024do-notation for Freyd categoriesFeb 3, 2024Do-notation compositionFeb 3, 2024Do notation is sound and complete for monoidal categoriesFeb 3, 2024Do notation for strong monadsFeb 3, 2024DisintegrationFeb 3, 2024Discardable monads and marginalizationFeb 3, 2024directed-complete partial orderFeb 3, 2024Dioptics from corners in both boundariesFeb 3, 2024DiopticsFeb 3, 2024dinaturality for monoidal streamsFeb 3, 2024DinaturalityFeb 3, 2024Diffie Hellman key exchangeFeb 3, 2024Diagrams of prostrengthFeb 3, 2024Diagrammatic formal dualitiesFeb 3, 2024Derivations in Do-notationFeb 3, 2024Dependent optics (Riley)Feb 3, 2024Dependent lensesFeb 3, 2024Dependence categoryFeb 3, 2024Definitions of combsFeb 3, 2024Decorating bicategories of processesFeb 3, 2024Decategorifying multivariable adjunctionsFeb 3, 2024Dataflow programmingFeb 3, 2024Crema di mascarpone in do notationFeb 3, 2024Corresponding graphs for stateful spansFeb 3, 2024Copartial functionsFeb 3, 2024Cooking in monoidal categoriesFeb 3, 2024Conway base 13 functionFeb 3, 2024contour of a polycategoryFeb 3, 2024context-free monoidal languageFeb 3, 2024context-free languageFeb 3, 2024Context theory for categoriesFeb 3, 2024Constructivism in Computer Science and category theoryFeb 3, 2024constructive proof of the Chomsky-Schutzenberger representation theoremFeb 3, 2024Constructive mathematicsFeb 3, 2024Constructing monoidal stream transducers IIFeb 3, 2024Constructing monoidal stream transducersFeb 3, 2024Constructing a theory of processesFeb 3, 2024Conjecture - Every duoidal embeds into an adjoint pseudomonoidFeb 3, 2024Conditions on a distributive lawFeb 3, 2024Conditionals of a familyFeb 3, 2024conditionals are unique up to rangesFeb 3, 2024conditional causal functionsFeb 3, 2024computational indistinguishabilityFeb 3, 2024Composition of stateful spansFeb 3, 2024Composition of semicartesian Mealy automataFeb 3, 2024Composition along a channelFeb 3, 2024Composing stateful spansFeb 3, 2024Components of the monoidal bicategory of profunctorsFeb 3, 2024complete semilatticesFeb 3, 2024Compatible squares of functor lensesFeb 3, 2024Companions in a double categoryFeb 3, 2024Companions and conjointsFeb 3, 2024Compact objectFeb 3, 2024Compact closed streams via Adamek's theoremFeb 3, 2024Compact closed monoidal categoryFeb 3, 2024Comonads on a cartesian are monoidalFeb 3, 2024ComomonoidFeb 3, 2024Combunication, an ideaFeb 3, 2024Combs as final coalgebrasFeb 3, 2024Combinatorial insertionsFeb 3, 2024Comb Diagrams for Discrete-Time FeedbackFeb 3, 2024Comagmas in magmasFeb 3, 2024Coloring premonoidalityFeb 3, 2024Coinductively defined streamsFeb 3, 2024Coherent multicategory from promonoidalsFeb 3, 2024Coherence for monoidal categoriesFeb 3, 2024CofunctorFeb 3, 2024Closure of simulation relationFeb 3, 2024Closed monoidal categoryFeb 3, 2024closed categories the star-autonomous wayFeb 3, 2024Citing these notesFeb 3, 2024Chomsky-Schutzenberger representation theoremFeb 3, 2024Centre of a monad in SetFeb 3, 2024Centre of a comonadFeb 3, 2024Causality in two boundariesFeb 3, 2024causal morphismsFeb 3, 2024Category of dualitiesFeb 3, 2024Category enriched in a bicategoryFeb 3, 2024CategoryFeb 3, 2024Categories are monoids in Span(Set)Feb 3, 2024Categorical Logic (Shulman, 2016)Feb 3, 2024Categorical Composable Cryptography (Broadbent and Karvonen, 2021)Feb 3, 2024Cartesian streams via Adamek's theoremFeb 3, 2024Cartesian Categories and comonoidsFeb 3, 2024Cartesian by splitFeb 3, 2024Building distributions that are marginally independent of the parameterFeb 3, 2024bubble languageFeb 3, 2024Braid clique in MonRunFeb 3, 2024bisimulation in string diagramsFeb 3, 2024Binoidal bicategoriesFeb 3, 2024Binoidal and Premonoidal CategoriesFeb 3, 2024Bimonoidal categoryFeb 3, 2024Bimodular functorFeb 3, 2024Bimodular categoriesFeb 3, 2024bicategory of bimodular automataFeb 3, 2024Bicategories of processes and lax dinaturalityFeb 3, 2024Bicategories of Processes (Katis, Sabadini, Walters, 1997)Feb 3, 2024Be Careful with Duoidal CoherenceFeb 3, 2024Axioms of a message theoryFeb 3, 2024Automata over a quantaleFeb 3, 2024AutomataFeb 3, 2024Attack modelsFeb 3, 2024arbitrary morphisms do not imply bisimulationFeb 3, 2024Applying Adamek in SetFeb 3, 2024analytic functions in coinductive formFeb 3, 2024An Introduction to Locally Finitely Presentable Categories (Sarazola, 2017)Feb 3, 2024An implementation of Newcomb problemFeb 3, 2024Algebras of normalization are normal produoidalsFeb 3, 2024Algebraically complete categoriesFeb 3, 2024algebra over a multicategoryFeb 3, 2024Algebra of spliceFeb 3, 2024Algebra for a multicategoryFeb 3, 2024algebra for a monadFeb 3, 2024algebraFeb 3, 2024Adjunctions in a proarrow equipmentFeb 3, 2024Adamek's theorem for combsFeb 3, 2024Accessible categoriesFeb 3, 2024A-MagmaFeb 3, 2024A good stochastic example of opticsFeb 3, 2024A Coinductive Calculus of Streams (Rutten, 2005)Feb 3, 2024A Classification of Accessible Categories (Adamek, Borceux, Lack, Rosicky, 2002)Feb 3, 2024A Category of DAGsFeb 3, 2024A Canonical Algebra of Open Transition Systems (Di Lavore et al)Feb 3, 2024A Canonical Algebra of Open Transition SystemsFeb 3, 2024Feb 3, 2024Feb 3, 2024Dec 2, 20221-Dimensional calculusJan 14, 2023UnknownThe Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)UnknownThe Lesson of Newcomb’s Paradox (Wolpert, Benford, 2013)UnknownString Diagrams for Physical Duoidal Categories (Rajesh, Román, 2024)UnknownRésuméUnknownPolar Interleavings for Deadlock-Free Message-PassingUnknownOpen Diagrams via Coend Calculus (Román, 2020)UnknownMonoidal Context Theory, PhD ThesisUnknownModels of Programming Languages (Melliès)UnknownMikrokosmos: an Educational Lambda Interpreter (Román, 2018)UnknownLöb's theoremUnknownEvidential Decision Theory via Partial Markov Categories (Di Lavore, Román)UnknownDuoidal Categories, Measuring Comonoids, and Enrichment (López Franco, Vasilakopoulou)UnknownCornering Optics (Boisseau, Nester, Román, 2022)UnknownCollages of string diagramsUnknownCalculus in Coinductive Form (Escardó, Pavlovic)