All NotesJan 9, 2025Promonads and String Diagrams for Effectful Categories (Román, 2022)Jan 9, 2025polar dependencesJan 9, 2025monoidal categoryJan 8, 2025Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore, Gianola, Román, Sabadini, Sobocinski, 2022)Jan 8, 2025PseudomonoidJan 8, 2025Profunctor Optics a Categorical Update (Clarke, Elkins, Gibbons, Loregian, Milewski, Pillmore, Román)Jan 8, 2025Optics for Premonoidal CategoriesJan 8, 2025Monoidal Context Theory, PhD Thesis (Román, 2023)Jan 8, 2025latex - writing a type theoryJan 8, 2025LatexJan 8, 2025Evidential Decision Theory via Partial Markov Categories (Di Lavore, Román)Jan 8, 2025do not write pedanticallyJan 8, 2025do not refer to forthcoming workJan 8, 2025Bicategories of Processes (Katis, Sabadini, Walters, 1997)Jan 8, 2025A Canonical Algebra of Open Transition Systems (Di Lavore et al)Jan 8, 2025Warm Up Before You Write (Wilkes)Jan 8, 2025unique liftings and freenessJan 8, 2025unique lifting of factorizationsJan 8, 2025three syntaxes for decision puzzlesJan 8, 2025theory of convex semilatticesJan 8, 2025Theory of cartesian multicategoriesJan 8, 2025the problem is not to find an internal language, it is to find a sharp oneJan 8, 2025The Precipice (Toby Ord)Jan 8, 2025Terence Tao on writingJan 8, 2025Template gamesJan 8, 2025String diagrams for category theoryJan 8, 2025regular monoidal languageJan 8, 2025punctuation on mathematical formulasJan 8, 2025Promonads are identity-on-objects functorsJan 8, 2025Prolinear contourJan 8, 2025probabilistic programmingJan 8, 2025opticsJan 8, 2025On Partial Languages (Grabowski, 1981)Jan 8, 2025NormalizationJan 8, 2025non-deterministic finite state automaton over a categoryJan 8, 2025MulticategoryJan 8, 2025Monoidal contexts form a categoryJan 8, 2025Modules in wire diagramsJan 8, 2025message passingJan 8, 2025Markov categoryIndexMarkov-CategoryMonoidal-CategoryJan 8, 2025listsJan 8, 2025intersection of ULF automataJan 8, 2025internal languageJan 8, 2025Graphical Language with Delayed Trace (Carette, de Visme, Perdrix, 2021)Jan 8, 2025Free monoidJan 8, 2025finitary functorJan 8, 2025Do-notation in type theoryJan 8, 2025divergence on a Markov categoryJan 8, 2025Conditionals in a Markov categoryMarkov-CategoryMonoidal-CategoryJan 8, 2025Compact closed monoidal categoryJan 8, 2025category theoryIndexJan 8, 2025category of dyck walksJan 8, 2025categorical logicJan 8, 2025Categorical Composable Cryptography (Broadbent and Karvonen, 2021)Jan 8, 2025calculational proofsJan 8, 2025Bath Seminar - ShufflesJan 8, 2025algebras of splice are promonadsDec 7, 2024structural conditionalsMarkov-CategoryDec 7, 2024Randomness factorizationDec 7, 2024Partial Markov categoryDec 7, 2024open bayesian networksDec 7, 2024notation for marginal compositionDec 7, 2024normalization of a compositionDec 7, 2024normalization is almost a restriction operatorDec 7, 2024normalization fails r4 in subdistributionsDec 7, 2024normalisations are almost surely idempotentDec 7, 2024Markovs are secretly produoidalDec 7, 2024Markov by splitDec 7, 2024Markov as dependency categoriesDec 7, 2024marginalDec 7, 2024internal languages for probabilistic programmingDec 7, 2024Gaussian probability theoryDec 7, 2024distributive Markov categoryMarkov-CategoryDec 7, 2024disintegrationDec 7, 2024DisintegrationMarkov-CategoryDec 7, 2024Discrete partial Markov categoryMarkov-CategoryDec 7, 2024deterministic and total morphismsDec 7, 2024Copy-discard categoryDec 7, 2024copy-dependenciesDec 7, 2024copy and discard monadDec 7, 2024conditionals using do-notationMarkov-CategoryDec 7, 2024conditionals on multigraph based networksMarkov-CategoryDec 7, 2024conditionals of a familyMarkov-CategoryMonoidal-StreamsDec 7, 2024conditionals are almost surely totalDec 7, 2024conditional compositionDec 7, 2024causality and message passingDec 7, 2024Building distributions that are marginally independent of the parameterDec 7, 2024almost-sure equalityDec 7, 2024Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)Monoidal-StreamsDec 7, 2024Brownian motionDec 2, 2024While loops as tracesDec 2, 2024temporal modalities as reactive type combinatorsDec 2, 2024Separatedness, discreteness, and comparatorsDec 2, 2024Runtime monoidal categoryDec 2, 2024runtime enriched categoryDec 2, 2024recursive Markov chains via string diagramsDec 2, 2024Probabilistic bisimulationDec 2, 2024Premonoidal categoryDec 2, 2024partial leaf functionsDec 2, 2024partial functionDec 2, 2024Par is duoidalDec 2, 2024monoid in a premonoidal categoryDec 2, 2024monoid action on the runtimeDec 2, 2024exact inference in discrete probabilityDec 2, 2024enrichment on a premonoidal categoryDec 2, 2024Effects of a monadDec 2, 2024discrete cartesian restriction categoryDec 2, 2024Cartesian, partial and stochasticDec 2, 2024Bayesian inversions via density functionsDec 2, 2024Algebra of partial and copartialNov 12, 2024Substoch is not compact closedNov 12, 2024Subdistribution monadNov 12, 2024Strong monadNov 12, 2024Stochastic functionNov 12, 2024sessions are combsNov 12, 2024PromonadDefinitionProfunctorMonoidPromonadNov 12, 2024Probabilistic Programming Interfaces for Random Graphs (Ackermann, Freer, Kaddar, Karwowski, Roy, Staton, Yang, 2024)Nov 12, 2024Polar shufflesNov 12, 2024polar shuffle, bijection based definitionNov 12, 2024Newcombs problemNov 12, 2024MonadNov 12, 2024Malleable multicategories are promonoidalNov 12, 2024Lax monoidal functorNov 12, 2024Laplacian interpretation of Bayes updateNov 12, 2024Lambek lemmaNov 12, 2024Kleisli tripleNov 12, 2024Kleisli categoryNov 12, 2024Jensen inequalityNov 12, 2024initial monad algebras are not fixpointsNov 12, 2024idempotent monadNov 12, 2024Grading monads, comonads, distributive laws (Uustalu)Nov 12, 2024graded comonoidDuoidal-CategoryNov 12, 2024Functor boxNov 12, 2024extension system for strong monadsNov 12, 2024evidential versus causal decision theoryNov 12, 2024Duoidal categoryNov 12, 2024distributive law of promonadsPromonadNov 12, 2024distributive lawMonoidDistributive-LawNov 12, 2024distributive copy-discard categoryNov 12, 2024decision theoryNov 12, 2024Death in Damascus - original formulationNov 12, 2024Death in DamascusNov 12, 2024copyable monadNov 12, 2024copy-discard categories are a synthetic theory of information flowNov 12, 2024copy functors have split mergeNov 12, 2024copy and discard functorNov 12, 2024conditionals of a compositionMarkov-CategoryNov 12, 2024conditional composition in a Kleisli categoryNov 12, 2024compositional algebraNov 12, 2024coinductively picking a random streamNov 12, 2024causal functions in graded comonoidsGraded-CoalgebraCausal-FunctionNov 12, 2024algebra for a monadNov 1, 2024quasitotal preorderOct 23, 2024duoidal category of graded objectsDuoidal-CategoryOct 16, 2024Bayesian Inversion in Partial MarkovOct 16, 2024qm-am inequality in partial markov categoriesMarkov-CategoryOct 16, 2024sessions form a message theoryOct 16, 2024polarization on a physical monoidal multicategoryOct 16, 2024naturality of swaps in shufflesOct 16, 2024multicategory of raw opticsOct 16, 2024graded coalgebraOct 16, 2024effectful category of sessions over a symmetric monoidal categoryOct 16, 2024conditional causal functionsOct 14, 2024Strong promonadOct 14, 2024motivation for promonadsPromonadMotivationOct 14, 2024effectful categoryOct 14, 2024Bayes update on subdistributionsOct 14, 2024walking commutative monoidOct 14, 2024Type theory for a strong monoidal endofunctorOct 14, 2024The 2-Polycategorical structure of multivariable adjointsOct 14, 2024syntax for dagsOct 14, 2024Symmetric multicategoryOct 14, 2024symmetric monoidal category with pointsOct 14, 2024symmetric monoidal category of pointsOct 14, 2024start-of-a-polar-shufflePolar-ShuffleOct 14, 2024Star-polycategoryOct 14, 2024Sliced left adjointOct 14, 2024restriction in Rel may-mustOct 14, 2024refining a multigraphOct 14, 2024reducing an adjunctionOct 14, 2024Quotienting Do-notationDo-NotationOct 14, 2024pseudomonoids of multivariable adjunctions are closed categoriesOct 14, 2024Promonoidals induce coherent multicategoriesOct 14, 2024promonoidal categoryOct 14, 2024premulticategoryOct 14, 2024Polycategory of multivariable adjunctionsOct 14, 2024Polycategorical spliceOct 14, 2024polar shuffles - variable notation - tensor and unitPolar-ShuffleOct 14, 2024polar shuffles - backtrack countingPolar-ShuffleOct 14, 2024paradox of the absentminded driverOct 14, 2024open problemsOct 14, 2024open networkNetworkOct 14, 2024networks for some decision puzzlesOct 14, 2024networkOct 14, 2024name the adjunction, not its componentsOct 14, 2024Multivariable adjunctionOct 14, 2024multigraph homomorphismOct 14, 2024monoidOct 14, 2024Malleable polycategoryOct 14, 2024Malleable multicategoryOct 14, 2024labelled networkOct 14, 2024labelled multigraphOct 14, 2024hypergraphOct 14, 2024graded reader comonadOct 14, 2024graded comonad of pathsOct 14, 2024Freyd signature homomorphismOct 14, 2024Freyd signatureOct 14, 2024focus-on-a-few-crucial-goalsProductivityOct 14, 2024finitary monadOct 14, 2024do-notation for Freyd categoriesDo-NotationOct 14, 2024do-notation for copy-discard-compare categoriesDo-NotationOct 14, 2024Do-notation compositionOct 14, 2024do-notation - theory of copy-discard-compare categoriesOct 14, 2024Derivations in Do-notationOct 14, 2024Decategorifying multivariable adjunctionsOct 14, 2024crude monadicity theoremOct 14, 2024copy-discard-compare categoryOct 14, 2024copy-discard multicategoryCopy-DiscardMarkov-CategoryOct 14, 2024comomonoidOct 14, 2024coherence for physical duoidal categoriesOct 14, 2024CoalgebraOct 14, 2024adjunction - graphical calculus for multivariable adjunctionsOct 14, 2024acyclic networkOct 14, 2024Oct 11, 2024Substituting without runtimeOct 11, 2024graphical programming languages deserve formal semanticsOct 11, 2024Transformation of cliquesOct 11, 2024symmetric multigraph of cliquesOct 11, 2024polycategoryOct 7, 2024Universal Algebra and Effectful Computation (Rajesh, 2023)Oct 7, 2024Type Theory for unbiased monoidal categoriesOct 7, 2024Twisted monoidsOct 7, 2024the inverse of an associative multiplication is a coassociative comultiplicationOct 7, 2024The 2-Chu-Dialectica Construction and the Polycategory of Multivariable Adjunctions (Shulman, 2020)Oct 7, 2024TCP three way handshakeOct 7, 2024symmetric multicategory to commutative multigraphOct 7, 2024Streams in cartesian monoidal categoriesMonoidal-StreamsOct 7, 2024Spliced arrows vs opticsOct 7, 2024Spliced arrows form a malleable multicategoryOct 7, 2024splice-contour adjunctionOct 7, 2024Slice categories as categories of coalgebrasOct 7, 2024Sleeping beauty problemOct 7, 2024Simple type theoryType-TheoryOct 7, 2024Session do-notationOct 7, 2024Sailor's Child problemOct 7, 2024Refining Fox's TheoremOct 7, 2024Reading Bayesian inversion diagramsOct 7, 2024reactive programmingOct 7, 2024Raudsilla Seminar, November 2022Oct 7, 2024Prostrong promonadOct 7, 2024Prostrong monadOct 7, 2024Promonoids from monoidsOct 7, 2024Promonoidals as multicategories that factorOct 7, 2024promonoidal functorOct 7, 2024Promonoidal contourOct 7, 2024promonoidal category of spliced arrowsOct 7, 2024Promonoidal category of shufflingsOct 7, 2024Promonoidal category of opticsOct 7, 2024profunctorOct 7, 2024Proeffectful categoriesOct 7, 2024Produoidal contourOct 7, 2024produoidal categoryOct 7, 2024Problem with exchange in do notationOct 7, 2024Probabilistic mixtures as promonoidalsOct 7, 2024PrepromonoidalityOct 7, 2024premonoidal categories are monoidal categories without the interchange lawOct 7, 2024Physical monoidal multicategoryOct 7, 2024omega-continuous functors have terminal coalgebrasOct 7, 2024multigraphOct 7, 2024Monoids on the arrow categoryOct 7, 2024Monoids and promonoidsOct 7, 2024Monoidal streams via actionsOct 7, 2024monoidal streamsMonoidal-StreamsOct 7, 2024Monoid theoristOct 7, 2024monadicity theoremOct 7, 2024machines and streamsOct 7, 2024Linear Logic Without Units (Houston, 2007)Oct 7, 2024Linear logicOct 7, 2024Lax twisted monoids and convolutionOct 7, 2024Kleisli objectOct 7, 2024Hopf AlgebrasOct 7, 2024graded comonadGraded-CoalgebraOct 7, 2024Freyd categoryOct 7, 2024Fox's theorem and cocommutativityOct 7, 2024formal category theoryOct 7, 2024Exponentiable multicategoryOct 7, 2024effectful transition systems in do-notationOct 7, 2024effectful streamsMonoidal-StreamsOct 7, 2024do-notationDo-NotationArrow-NotationOct 7, 2024Do notation is sound and complete for monoidal categoriesOct 7, 2024Definitions of combsMonoidal-StreamsOct 7, 2024Crema di mascarpone in do notationOct 7, 2024convolution product and inverse of streamsOct 7, 2024Convolution and coconvolutionOct 7, 2024contour of a polycategoryOct 7, 2024conditionals are unique up to rangesMarkov-CategoryMonoidal-StreamsOct 7, 2024complementary frobenius algebrasOct 7, 2024ComonadOct 7, 2024Combinatorial insertionsOct 7, 2024coinductive streamsMonoidal-StreamsOct 7, 2024Coinductive cellular automataOct 7, 2024coinductive analysisOct 7, 2024Coherent multicategory from promonoidalsOct 7, 2024Coherence for monoidal categoriesOct 7, 2024Coalgebras of shape and contentsOct 7, 2024Coalgebra of the real intervalOct 7, 2024ClubsOct 7, 2024choosing a random streamOct 7, 2024Applying Adamek in SetOct 7, 2024Adamek's theorem for combsMonoidal-StreamsAug 28, 2024XOR blackmail problemAug 28, 2024verifying probabilistic code from ChatGPTAug 28, 2024three prisoners problemAug 28, 2024three Covid testsAug 28, 2024The Official Lets Make a Deal Website on the Monty Hall ProblemAug 28, 2024solving Death in DamascusAug 28, 2024quasitotal preorder gives a monoidal enrichmentAug 28, 2024Puzzles of Anthropic Reasoning Resolved Using Full Non-indexical Conditioning (Neal, 2006)Aug 28, 2024Project - Adjoint Monoids, Twisted MonoidsAug 28, 2024monoidal natural transformationAug 28, 2024Markov and subMarkov categoriesAug 28, 2024LotteriesAug 28, 2024Kleene algebraAug 28, 2024insurance against the XOR blackmailAug 28, 2024Cauchy-Schwarz inequalityAug 28, 2024arrow category is monoidalAug 28, 2024arrow category - freyd monoidAug 28, 2024arrow categoryAug 28, 2024action algebraAug 28, 2024Aug 28, 2024underlying category of a multicategoryAug 28, 2024symmetric multigraphAug 28, 2024strict monoidal multicategoryAug 28, 2024Stochastic processes via streamsAug 28, 2024signatureAug 28, 2024shuffleAug 28, 2024polar shuffles form a multicategoryAug 28, 2024polar shuffles form a monoidal multicategoryAug 28, 2024Multinatural transformationAug 28, 2024MultifunctorAug 28, 2024multicategories are lax monoids in the monoidal bicategory of spansAug 28, 2024Monty-Hall in partial MarkovAug 28, 2024Monoidal profunctorAug 28, 2024Monoidal multicategoryAug 28, 2024Message theoryMfps-MessagesAug 28, 2024Lax twisted arrow bicategoryAug 28, 2024Lax duoidAug 28, 2024funny tensor of the arrow categoryAug 28, 2024encoding of polar shufflesAug 28, 2024DuomulticategoryAug 28, 2024Duoid in a duoidalAug 28, 2024Being multicategorical in each variable is the Chu constructionAug 28, 2024algebras for premonoidal categoriesAug 28, 2024algebra over a multicategoryAug 28, 2024Algebra for a multicategoryJul 23, 2024XOR variable exchangeJul 23, 2024why is automata trace universalJul 23, 2024uniform traceJul 23, 2024uniform pointed feedbackJul 23, 2024Two-sided duoidal dualityJul 23, 2024two styles for monoidal streamsJul 23, 2024transition systemJul 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, 2024quantum key distribution is secureJul 23, 2024promoduleJul 23, 2024Premonoidal Categories and a Graphical View of Programs (Jeffrey, 1997)Jul 23, 2024poset shapesJul 23, 2024physical duoidal signatureJul 23, 2024physical duoidal categoryJul 23, 2024physical duoidal categories are seq-spacialJul 23, 2024normal duoidally enriched multicategoryJul 23, 2024Normal duoidal categoryJul 23, 2024non-empty relations have functional rangeJul 23, 2024Monoidal monadJul 23, 2024Monoidal Mealy machinesJul 23, 2024mealy machineJul 23, 2024intervals are subtermsJul 23, 2024instances of Fox's theoremJul 23, 2024homomorphism of strong promonadsJul 23, 2024graphical linear algebraJul 23, 2024Graphical closed monoidalsJul 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, 2024drawing a duoidJul 23, 2024do-notation substitutionJul 23, 2024contour splice for graphsJul 23, 2024Continuation monadJul 23, 2024Compositional dependencies with duoidalsJul 23, 2024Coherence for duoidals, wrong statementJul 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, 2024Newcomb's Problem and Two Principles of Choice (Nozick 1969)Jun 18, 2024Weakly Distributive Categories (Cockett, Seely, 1997)Jun 18, 2024physical tensorJun 18, 2024Mixing normal duoidalsJun 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, 2024tensor of expressible posetsJun 3, 2024surface diagrams of interaction lawsJun 3, 2024strict symmetric monoidal categoryJun 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, 2024monoidal promonadJun 3, 2024Interaction lawsJun 3, 2024hom-monoid in a closed duoidalJun 3, 2024Grothendieck universeJun 3, 2024expressible posetJun 3, 2024Building Free Arrows (Sigpfe)Jun 3, 2024Automata as functorsMay 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, 2024promonad natural transformationMay 3, 2024profunctor natural transformationMay 3, 2024Monoidal double category of categoriesMay 3, 2024Kleisli category of a promonadMay 3, 2024Homomorphisms of promonads are functor squaresMay 3, 2024Free conical cocompletionMay 3, 2024distributive law monad-comonadMay 3, 2024distributive law comonad-monadMay 3, 2024Copyable and discardable Freyd categoriesMay 3, 2024Central product of promonadsMay 3, 2024Bimodular profunctorMay 2, 2024problem with limits on intensional streamsMay 2, 2024pro or not, strong or notMay 2, 2024posets in duoidalsMay 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, 2024lax monoidal categories are lax monoids in the monoidal bicategory of categoriesMay 2, 2024lax monoidMay 2, 2024Dependence from duoidalsMay 2, 2024Boxes are bubblesApr 23, 2024Symmetric opticsApr 23, 2024Yoneda is the free cocompletionApr 23, 2024Why proarrows are not the algebra of messagesApr 23, 2024weak distributive lawApr 23, 2024traced monoidal categoryApr 23, 2024theory of diagrams with holesApr 23, 2024The point of coend calculusApr 23, 2024The missing string adjunctionApr 23, 2024The idea of shape-contentsApr 23, 2024Tambara modules as algebrasApr 23, 2024Tambara moduleApr 23, 2024TabulatorApr 23, 2024Synthetic Bayes theoremApr 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, 2024Star-autonomous categoryApr 23, 2024RacksApr 23, 2024quasi 2-adjunctionApr 23, 2024Prodependence in produoidalsApr 23, 2024Presentations of Premonoidal Categories by DevicesApr 23, 2024PolygraphApr 23, 2024Polarized monoidal categoryApr 23, 2024Polarization of a monoidal categoryApr 23, 2024Parsing vs pretty-printingApr 23, 2024Parsing via spliceApr 23, 2024ParsingApr 23, 2024Parallax bicategoryApr 23, 2024Open diagrams are pointed profunctorsApr 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, 2024My work is about finding languagesApr 23, 2024Monoidals inside CatApr 23, 2024Monoidal width as a duoidal functorApr 23, 2024Monoidal stream computationApr 23, 2024Monoidal contextsApr 23, 2024Moggi effectsApr 23, 2024Metric spaceApr 23, 2024Map pseudomonoidApr 23, 2024linearly distributive categoryApr 23, 2024Gray monoidApr 23, 2024formal 2-adjunctionApr 23, 2024Duals in a normal monoidal multicategoryApr 23, 2024DualityApr 23, 2024Drawing the Church booleansApr 23, 2024double categoryApr 23, 2024Directed acyclic open hypergraphsApr 23, 2024Directed acyclic graphApr 23, 2024Dg-categoryApr 23, 2024Definitions of topologyApr 23, 2024Decomposition complexityApr 23, 2024Contouring Prostar Autonomous CategoriesApr 23, 2024contour rule translationApr 23, 2024contour of a multicategoryApr 23, 2024Comonoids to the leftApr 23, 2024Commutativity in a map pseudomonoidApr 23, 2024combinatorial speciesApr 23, 2024Chu interpretation of linear logicApr 23, 2024Cartesian stream transducersApr 23, 2024Cartesian categories are monoidal categoriesApr 23, 2024Buchi monoidal streamsApr 23, 2024Bimonoid in a duoidalApr 23, 2024Bimodule on a bicategoryApr 23, 2024BicategoryApr 23, 2024Beck-Chevalley conditionApr 23, 2024Bayes update with do-notationApr 23, 2024Bayes rare illness testingApr 23, 2024Arrows in HaskellApr 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, 2024Pure tensor of promonadsMar 28, 2024naive message theoryMar 28, 2024motivating message theoriesMar 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 12, 2024Independent marginalization for a strong monadFeb 25, 2024Uniform copy deleteFeb 25, 2024Three equalities for combs and opticsFeb 25, 2024Subunary shuffling teleological multicategoryFeb 25, 2024Strict monoidal categories and coherenceFeb 25, 2024Shuffling wordsFeb 25, 2024raw opticsFeb 25, 2024optical contourFeb 25, 2024Normal monoidal multicategorical contourFeb 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, 2024Unbiased premonoidal categoryFeb 3, 2024Type theory for symmetric monoidal categoriesFeb 3, 2024Type theory for delayed feedbackFeb 3, 2024Two tensors, three dimensionsFeb 3, 2024two operations on streamsFeb 3, 2024Two generals problemFeb 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, 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 old mathematics does not need to be our strategyFeb 3, 2024The adjunction of a lax functor boxFeb 3, 2024The 2-category of effectful categoriesFeb 3, 2024tensor of monoidal categoriesFeb 3, 2024Tensor of bimodular categoriesFeb 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, 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 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, 2024State promonadFeb 3, 2024Splitting the one-time padFeb 3, 2024Split runtimeFeb 3, 2024Some dependent lensesFeb 3, 2024Smoking lesion problemFeb 3, 2024Slices indexed by spansFeb 3, 2024Skew promonad of a lax monoidal functorFeb 3, 2024Simulation simplifies bisimulationFeb 3, 2024simulation equivalence does not imply bisimulationFeb 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, 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 grammarFeb 3, 2024regular languageFeb 3, 2024regular grammarFeb 3, 2024reflexive dcpoFeb 3, 2024Reduction in symmetric monoidal categoriesFeb 3, 2024Reading an example on the monoidal bicategory of profunctorsFeb 3, 2024Range with total compositionFeb 3, 2024Quoting comonad of a monadFeb 3, 2024quotients and relationsFeb 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, 2024PromonoidFeb 3, 2024Prolinearly distributive categoryFeb 3, 2024Prolinear category of spliced arrowsFeb 3, 2024Produoidal functorFeb 3, 2024Produoidal algebra of monoidal contextsFeb 3, 2024Processes come intuitivelyFeb 3, 2024ProcessesFeb 3, 2024Process theoryFeb 3, 2024ProbabilityFeb 3, 2024Presenting linear mathematics IIFeb 3, 2024Presenting linear mathematics IFeb 3, 2024Premonoidal optics may not be a prostrong promonadFeb 3, 2024Premonoidal opticsFeb 3, 2024Premonoidal functorFeb 3, 2024Polygraph 2-adjunctionFeb 3, 2024Polarized notation for opticsFeb 3, 2024Polarization of physical duoidalsFeb 3, 2024Polarization is left adjoint to taking left adjointsFeb 3, 2024Pointed profunctorFeb 3, 2024pinwheel double categoriesFeb 3, 2024philosophy of linear foundationsFeb 3, 2024partial rangeFeb 3, 2024Parameterised monadsFeb 3, 2024Parameterised comonadsFeb 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, 2024Multicategorical contourFeb 3, 2024Motivation in the cartesian streamsFeb 3, 2024Motivating normalization of spliceFeb 3, 2024Motivating monoidal categoriesFeb 3, 2024Motivating bicategoriesFeb 3, 2024Monoidals parallelizeFeb 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 context-free to monoidal regularFeb 3, 2024monoidal Chomsky-Schutzenberger representation theoremFeb 3, 2024Monoidal category of streamsFeb 3, 2024Monoidal bicategoryFeb 3, 2024monoidal 2-categoryFeb 3, 2024Monad properties via do notationFeb 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, 2024Map pseudomonoid mapsFeb 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, 2024Lenses flowing backFeb 3, 2024Lens operationsFeb 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, 2024HasktorchFeb 3, 2024Has constructivism failed?Feb 3, 2024Hacking dependent lenses as mixed opticsFeb 3, 2024Grothendieck constructionFeb 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, 2024Formal normalizationFeb 3, 2024Forgetting about prostarsFeb 3, 2024First action of produoidal Markov splitFeb 3, 2024Faithful cartesian clubFeb 3, 2024Exponential symmetric monoidal categoryFeb 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, 2024Eilenberg-Moore objectFeb 3, 2024efficient sequence of finite setsFeb 3, 2024EffectusFeb 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, 2024Duoidal TambaraFeb 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 strong monadsFeb 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, 2024Dependent optics (Riley)Feb 3, 2024Dependent lensesFeb 3, 2024Dependence categoryFeb 3, 2024Decorating bicategories of processesFeb 3, 2024Dataflow programmingFeb 3, 2024Corresponding graphs for stateful spansFeb 3, 2024Copartial functionsFeb 3, 2024Cooking in monoidal categoriesFeb 3, 2024Conway base 13 functionFeb 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, 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, 2024Comonads on a cartesian are monoidalFeb 3, 2024Combunication, an ideaFeb 3, 2024Combs as final coalgebrasFeb 3, 2024Comb Diagrams for Discrete-Time FeedbackFeb 3, 2024Comagmas in magmasFeb 3, 2024Coloring premonoidalityFeb 3, 2024Coinductively defined streamsFeb 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, 2024Cartesian streams via Adamek's theoremFeb 3, 2024Cartesian Categories and comonoidsFeb 3, 2024Cartesian by splitFeb 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, 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, 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 of spliceFeb 3, 2024algebraFeb 3, 2024Adjunctions in a proarrow equipmentFeb 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, 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 Premonoidal Categories (Román, 2023)UnknownString Diagrams for Physical Duoidal Categories (Rajesh, Román, 2024)UnknownPolar Interleavings for Deadlock-Free Message-PassingUnknownOpen Diagrams via Coend Calculus (Román, 2020)UnknownModels of Programming Languages (Melliès)UnknownMikrokosmos: an Educational Lambda Interpreter (Román, 2018)UnknownLöb's theoremUnknownDuoidal Categories, Measuring Comonoids, and Enrichment (López Franco, Vasilakopoulou)UnknownCornering Optics (Boisseau, Nester, Román, 2022)UnknownContext-Free Languages of String Diagrams (Earnshaw, Román, 2024)UnknownComb Diagrams for Discrete Time Feedback (Román)UnknownCollages of string diagramsUnknownCalculus in Coinductive Form (Escardó, Pavlovic)