All NotesApr 23, 2024Symmetric opticsApr 23, 2024Category theoryApr 23, 2024Building Free Arrows (Sigpfe)Apr 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, 2024verifying probabilistic code from ChatGPTApr 23, 2024Two-sided duoidal dualityApr 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, 2024The double bicategory of monoidal and bimodular profunctorsApr 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, 2024Subdistribution monadApr 23, 2024Strong promonadApr 23, 2024Strong monadApr 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, 2024Stochastic streamsApr 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, 2024Reducing an adjunctionApr 23, 2024RacksApr 23, 2024quasi 2-adjunctionApr 23, 2024Prostrong monadApr 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, 2024Promonads and String Diagrams for Effectful Categories (Román, 2022)Apr 23, 2024profunctorApr 23, 2024produoidal 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, 2024Physical monoidal multicategoryApr 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, 2024Newcombs problemApr 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, 2024MulticategoryApr 23, 2024Monoids and promonoidsApr 23, 2024Monoidals inside CatApr 23, 2024Monoidal width as a duoidal functorApr 23, 2024Monoidal streams via actionsApr 23, 2024monoidal streamsApr 23, 2024Monoidal stream computationApr 23, 2024Monoidal contextsApr 23, 2024Monoidal Context Theory, PhD ThesisApr 23, 2024monadicity theoremApr 23, 2024MonadApr 23, 2024Moggi effectsApr 23, 2024Mixing normal duoidalsApr 23, 2024Metric spaceApr 23, 2024Markov as dependency categoriesApr 23, 2024Markov and subMarkov categoriesApr 23, 2024Map pseudomonoidApr 23, 2024Malleable polycategoryApr 23, 2024machines and streamsApr 23, 2024LotteriesApr 23, 2024linearly distributive categoryApr 23, 2024Lax duoidApr 23, 2024LatexApr 23, 2024Kleisli objectApr 23, 2024internal languageApr 23, 2024Gray monoidApr 23, 2024graphical programming languages deserve formal semanticsApr 23, 2024Graphical closed monoidalsApr 23, 2024Gaussian probability theoryApr 23, 2024Functor boxApr 23, 2024Freyd categoryApr 23, 2024formal category theoryApr 23, 2024formal 2-adjunctionApr 23, 2024evidential versus causal decision theoryApr 23, 2024Endocells of a map pseudomonoid are duoidalApr 23, 2024effectful streamsApr 23, 2024effectful copy-discard categoryApr 23, 2024effectful categoryApr 23, 2024Duoidal categoryApr 23, 2024Duoid in a duoidalApr 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-notationApr 23, 2024do not write pedanticallyApr 23, 2024Distributive lawApr 23, 2024Distributive categoryApr 23, 2024Discrete partial Markov categoryApr 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, 2024Continuation monadApr 23, 2024Conditionals in a Markov categoryApr 23, 2024Compositional dependencies with duoidalsApr 23, 2024compositional algebraApr 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, 2024Coalgebra of the real intervalApr 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, 2024Bayesian Inversion in Partial MarkovApr 23, 2024Bayes update with do-notationApr 23, 2024Bayes update on subdistributionsApr 23, 2024Bayes rare illness testingApr 23, 2024Arrows in HaskellApr 23, 2024ARIA proposalApr 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, 2024promonad natural transformationMar 28, 2024PromonadMar 28, 2024premulticategoryMar 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, 2024Monoidal categoryMar 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, 2024Shufflings are deuterorepresentable normal produoidalsFeb 25, 2024Shuffling wordsFeb 25, 2024Shuffling monoidal categoryFeb 25, 2024sessions are combsFeb 25, 2024raw opticsFeb 25, 2024pseudomonoids of multivariable adjunctions are closed categoriesFeb 25, 2024PseudomonoidFeb 25, 2024optical contourFeb 25, 2024Note IndexFeb 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, 2024lax monoidal categories are lax monoids in the monoidal bicategory of categoriesFeb 25, 2024lax monoidFeb 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, 2024XOR variable exchangeFeb 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, 2024Weakly Distributive Categories (Cockett, Seely, 1997)Feb 3, 2024Vsquared-categoriesFeb 3, 2024Viterbi semiringFeb 3, 2024visible symmetric monoidal categoryFeb 3, 2024Virtual starsFeb 3, 2024versions of Fox's theoremFeb 3, 2024Van Laarhoven lenses and gratesFeb 3, 2024values and computationFeb 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 global stateFeb 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 is a promonadFeb 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 structure of process theoriesFeb 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, 2024Runtime monoidal categoryFeb 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, 2024Raudsilla Seminar, November 2022Feb 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, 2024Prostrong promonadFeb 3, 2024Promonoids from monoidsFeb 3, 2024promonoidal functorFeb 3, 2024Promonoidal contourFeb 3, 2024Promonoidal category of shufflingsFeb 3, 2024PromonoidFeb 3, 2024Promonads are id-on-objects functorsFeb 3, 2024Prolinearly distributive categoryFeb 3, 2024Prolinear contourFeb 3, 2024Prolinear category of spliced arrowsFeb 3, 2024Proeffectful categoriesFeb 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 categoryFeb 3, 2024premonoidal categories are monoidal categories without the interchange lawFeb 3, 2024Premonoidal Categories and a Graphical View of Programs (Jeffrey, 1998)Feb 3, 2024Posets in duoidalsFeb 3, 2024poset shapesFeb 3, 2024PosetFeb 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, 2024Normal duoidal categoryFeb 3, 2024non-deterministic automatonFeb 3, 2024Non cartesianity in subdistributionsFeb 3, 2024NewsFeb 3, 2024Newcomb's Problem and Two Principles of Choice (Nozick 1969)Feb 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 on the arrow categoryFeb 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 profunctorFeb 3, 2024Monoidal multicategoryFeb 3, 2024Monoidal Mealy machinesFeb 3, 2024Monoidal double category of categoriesFeb 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 categoryFeb 3, 2024Markov by splitFeb 3, 2024Map pseudomonoid mapsFeb 3, 2024Malleable multicategoryFeb 3, 2024Malleable multicategories are promonoidalFeb 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 twisted arrow bicategoryFeb 3, 2024Lax pseudofrobenius algebraFeb 3, 2024Lawvere theoryFeb 3, 2024Lawvere theories and universal modelsFeb 3, 2024Laplace transformFeb 3, 2024Kleisli categoryFeb 3, 2024Kl(D) is not pseudopurifiableFeb 3, 2024Jens Seeber on Lawvere theoriesFeb 3, 2024iteration, bisimulation, automataFeb 3, 2024Interchange lawFeb 3, 2024Interaction lawsFeb 3, 2024Integral in a bialgebraFeb 3, 2024instances of Fox's theoremFeb 3, 2024Infinity-combsFeb 3, 2024Inductive definition of combs and contextsFeb 3, 2024ideal on a measurable spaceFeb 3, 2024IconsFeb 3, 2024Hopf AlgebrasFeb 3, 2024Homomorphisms of promonads are functor squaresFeb 3, 2024HasktorchFeb 3, 2024Has constructivism failed?Feb 3, 2024Hacking dependent lenses as mixed opticsFeb 3, 2024Grothendieck constructionFeb 3, 2024Graphical Language with Delayed Trace (Carette, de Visme, Perdrix, 2021)Feb 3, 2024Graphical calculus for madjFeb 3, 2024Graph diagrams of compact closed categoriesFeb 3, 2024Good syntaxFeb 3, 2024funny tensor of the arrow categoryFeb 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 conical cocompletionFeb 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, 2024feedback premonoidal categoryFeb 3, 2024Feedback in compact bicategoriesFeb 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, 2024effectful Mealy machineFeb 3, 2024Effect MonoidFeb 3, 2024Effect algebraFeb 3, 2024Eckmann-Hilton intuition for duoidal categoriesFeb 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 from duoidalsFeb 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, 2024Copyable and discardable Freyd categoriesFeb 3, 2024Copartial functionsFeb 3, 2024Cooking in monoidal categoriesFeb 3, 2024Conway base 13 functionFeb 3, 2024Convolution and coconvolutionFeb 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 using do-notationFeb 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, 2024Coherence for duoidals, wrong statementFeb 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, 2024Central product of promonadsFeb 3, 2024Causality in two boundariesFeb 3, 2024causal morphismsFeb 3, 2024Category of duoidal dualitiesFeb 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, 2024Braided monoidal categoryFeb 3, 2024Braid clique in MonRunFeb 3, 2024Boxes are bubblesFeb 3, 2024bisimulation in string diagramsFeb 3, 2024Bisimulation for labelled Markov processes (Blute, Desharnais, Edalat, Panangaden)Feb 3, 2024BisimulationFeb 3, 2024Binoidal bicategoriesFeb 3, 2024Binoidal and Premonoidal CategoriesFeb 3, 2024Bimonoidal categoryFeb 3, 2024Bimodular profunctorFeb 3, 2024Bimodular functorFeb 3, 2024Bimodular categoriesFeb 3, 2024bimodular automataFeb 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, 2024Automata as functorsFeb 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)UnknownRésumé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 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)