All NotesNov 23, 2023Polar shufflesNov 23, 2023Monoidals inside CatNov 23, 2023Examples of monoidal categoryNov 18, 2023theory of global stateNov 18, 2023Symmetric multicategoryNov 18, 2023Strict monoidal categoryNov 18, 2023Runtime monoidal categoryNov 18, 2023Quotienting Do-notationNov 18, 2023promonoidal functorNov 18, 2023produoidal categoryNov 18, 2023Process theoryNov 18, 2023PolygraphNov 18, 2023Open diagrams appearNov 18, 2023Malleable multicategoryNov 18, 2023Malleable multicategories are promonoidalNov 18, 2023Components of the monoidal bicategory of profunctorsNov 18, 2023bimodulab tambaraNov 18, 2023Two-sided duoidal dualityNov 18, 2023The missing string adjunctionNov 18, 2023The double bicategory of monoidal and bimodular profunctorsNov 18, 2023symmetric monoidal categoryNov 18, 2023Symmetric Monoidal AutomataNov 18, 2023Strong monoidal functor boxes in TambaraNov 18, 2023Spliced arrows form a malleable multicategoryNov 18, 2023Skew promonad of a lax monoidal functorNov 18, 2023sesquifunctors and the funny tensor productNov 18, 2023Reading an example on the monoidal bicategory of profunctorsNov 18, 2023quasi 2-adjunctionNov 18, 2023Promonoidals induce coherent multicategoriesNov 18, 2023Promonoidal contourNov 18, 2023promonoidal category of spliced arrowsNov 18, 2023promonoidal categoryNov 18, 2023Promonads and String Diagrams for Effectful Categories (Román, 2022)Nov 18, 2023Produoidal functorNov 18, 2023Produoidal algebra of monoidal contextsNov 18, 2023Premonoidal categoryNov 18, 2023Polycategorical spliceNov 18, 2023Polarization of a monoidal categoryNov 18, 2023Physical monoidal multicategoryNov 18, 2023opticsNov 18, 2023Open internal diagramsNov 18, 2023Normalization of a produoidalNov 18, 2023MulticategoryNov 18, 2023monoidal spliced arrowsNov 18, 2023Monoidal contextsNov 18, 2023Monoidal Context Theory, PhD ThesisNov 18, 2023Monoidal categoryNov 18, 2023Message theoryNov 18, 2023Markovs are secretly produoidalNov 18, 2023Malleable polycategoryNov 18, 2023efficient sequence of finite setsNov 18, 2023effectful categoryNov 18, 2023Duoidal TambaraNov 18, 2023Duoidal categoryNov 18, 2023Duals in a normal monoidal multicategoryNov 18, 2023DualityNov 18, 2023Do-notation in type theoryNov 18, 2023Dinaturality for monoidal streamsNov 18, 2023Contouring Prostar Autonomous CategoriesNov 18, 2023contour of a polycategoryNov 18, 2023contour of a multicategoryNov 18, 2023compositional algebraNov 18, 2023Categorical Composable Cryptography (Broadbent and Karvonen, 2021)Nov 18, 2023Bimodular profunctorNov 18, 2023Bimodular categoriesNov 18, 2023Bicategories of processes and lax dinaturalityNov 18, 2023Be Careful with Duoidal CoherenceOct 31, 2023weak distributive lawOct 31, 2023values and computationOct 31, 2023theory of convex semilatticesOct 31, 2023Surjections of automata are quotientsOct 31, 2023Substituting without runtimeOct 31, 2023simulation equivalence does not imply bisimulationOct 31, 2023quotients and relationsOct 31, 2023Presentations of Premonoidal Categories by DevicesOct 31, 2023Interchange lawOct 31, 2023Functional morphisms of probabilistic automata are bisimulationsOct 31, 2023Copyable and discardable Freyd categoriesOct 31, 2023bisimulation in string diagramsOct 31, 2023BisimulationOct 31, 2023arbitrary morphisms do not imply bisimulationOct 31, 2023Oct 31, 2023XOR variable exchangeOct 31, 2023Unbiased premonoidal categoryOct 31, 2023transition systems in monoidal streamsOct 31, 2023Three notations for symmetric monoidal categoriesOct 31, 2023The PROP of conductancesOct 31, 2023The 2-category of effectful categoriesOct 31, 2023Synchronous StreamsOct 31, 2023Strong promonadOct 31, 2023String Diagrams for Premonoidal Categories (Roman, 2023)Oct 31, 2023Strictification of a monoidal categoryOct 31, 2023Split runtimeOct 31, 2023Simulation simplifies bisimulationOct 31, 2023Refining Fox's TheoremOct 31, 2023Quotient transition systemOct 31, 2023Quotient of IO transition systemsOct 31, 2023Proeffectful categoriesOct 31, 2023Probabilistic bisimulationOct 31, 2023PrepromonoidalityOct 31, 2023Premonoidal functorOct 31, 2023Note IndexOct 31, 2023Monoidal stream computationOct 31, 2023Monad properties via do notationOct 31, 2023Moggi effectsOct 31, 2023Markov categoryOct 31, 2023Kleisli objectOct 31, 2023Hopf AlgebrasOct 31, 2023Freyd categoryOct 31, 2023Free effectful category IOct 31, 2023feedback premonoidal categoryOct 31, 2023drawing universal modulesOct 31, 2023ComomonoidOct 31, 2023Closure of simulation relationOct 31, 2023Central product of promonadsOct 31, 2023Category theoryOct 31, 2023Cartesian, partial and stochasticOct 31, 2023Cartesian categories are monoidal categoriesOct 31, 2023Binoidal and Premonoidal CategoriesOct 31, 2023Bimonoidal categoryOct 6, 2023Theory of cartesian multicategoriesOct 6, 2023TabulatorOct 6, 2023Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore et al)Oct 6, 2023Scott topologyOct 6, 2023reflexive dcpoOct 6, 2023RacksOct 6, 2023pseudomonoids of multivariable adjunctions are closed categoriesOct 6, 2023pinwheel double categoriesOct 6, 2023old - axioms of a message theoryOct 6, 2023negligibility spaceOct 6, 2023Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)Oct 6, 2023Monoidal streams for Buchi automataOct 6, 2023measurable spaceOct 6, 2023Loose monoid in a double categoryOct 6, 2023iteration, bisimulation, automataOct 6, 2023ideal on a measurable spaceOct 6, 2023Graphical closed monoidalsOct 6, 2023Duoid in a duoidalOct 6, 2023Drawing the Church booleansOct 6, 2023Double categoryOct 6, 2023directed-complete partial orderOct 6, 2023Diffie Hellman key exchangeOct 6, 2023Context theory for categoriesOct 6, 2023Closed monoidal categoryOct 6, 2023closed categories the star-autonomous wayOct 6, 2023Braided monoidal categoryOct 6, 2023Axioms of a message theoryOct 6, 2023AutomataSep 12, 2023Normal monoidal multicategories induce message structuresSep 12, 2023EffectusSep 12, 2023Effect MonoidSep 12, 2023Effect algebraSep 8, 2023Understanding intelligent systems may be both our greatest achievement or our endSep 8, 2023underlying category of a multicategorySep 8, 2023TraversablesSep 8, 2023traced monoidal categorySep 8, 2023The Precipice (Toby Ord)Sep 8, 2023The old mathematics does not need to be our strategySep 8, 2023The 2-Polycategorical structure of multivariable adjointsSep 8, 2023Template gamesSep 8, 2023Sync-minimal lens spanSep 8, 2023strongly connected component of a graphSep 8, 2023Strong symmetric monoidal functorSep 8, 2023Star-polycategorySep 8, 2023Star-autonomous categorySep 8, 2023Shufflings are deuterorepresentable normal produoidalsSep 8, 2023Shuffling wordsSep 8, 2023shuffles are the free physical monoidal multicategorySep 8, 2023shuffleSep 8, 2023PseudomonoidSep 8, 2023profunctorSep 8, 2023Processes come intuitivelySep 8, 2023ProbabilitySep 8, 2023poset shapesSep 8, 2023polycategorySep 8, 2023Polarization of physical duoidalsSep 8, 2023polar shuffles form a multicategorySep 8, 2023polar shuffles form a monoidal multicategorySep 8, 2023philosophy of linear foundationsSep 8, 2023partial leaf functionsSep 8, 2023nutritionSep 8, 2023Normalization of a duoidal categorySep 8, 2023Normal duoidal categorySep 8, 2023name the adjunction, not its componentsSep 8, 2023My work is about finding languagesSep 8, 2023Multivariable adjunctionSep 8, 2023Multinatural transformationSep 8, 2023MultifunctorSep 8, 2023Monoidal width as a duoidal functorSep 8, 2023monoidal streamsSep 8, 2023Monoidal bicategorySep 8, 2023Monoid theoristSep 8, 2023monadicity theoremSep 8, 2023Mathematics is not up for the task of describing complex systemsSep 8, 2023LotteriesSep 8, 2023linearly distributive categorySep 8, 2023Lax pseudofrobenius algebraSep 8, 2023Evidential decision theorySep 8, 2023encoding of polar shufflesSep 8, 2023Eckmann-Hilton argumentSep 8, 2023DuomulticategorySep 8, 2023duoidal category of graded spacesSep 8, 2023Duality in a physical monoidal multicategorySep 8, 2023Duality in a linearly distributive categorySep 8, 2023Distributive categorySep 8, 2023Discrete partial Markov categorySep 8, 2023Directed acyclic open hypergraphsSep 8, 2023Dg-categorySep 8, 2023decision theorySep 8, 2023Compact closed monoidal categorySep 8, 2023CofunctorSep 8, 2023Category of duoidal dualitiesSep 8, 2023Cartesian monoidal categorySep 8, 2023Cartesian Categories and comonoidsSep 8, 2023calculational proofsSep 8, 2023bimodular automataSep 8, 2023bicategory of bimodular automataSep 8, 2023BicategorySep 8, 2023Automata as functorsSep 8, 2023algebra over a multicategorySep 8, 2023Algebra of partial and copartialSep 8, 2023Algebra for a multicategorySep 8, 2023algebraSep 8, 2023acyclic linear hypergraphsSep 8, 2023Sep 8, 2023Why proarrows are not the algebra of messagesSep 8, 2023While loops as tracesSep 8, 2023Weakly Distributive Categories (Cockett, Seely, 1997)Sep 8, 2023Virtual starsSep 8, 2023Unit of the normalization monadSep 8, 2023Two tensors, three dimensionsSep 8, 2023Two generals problemSep 8, 2023Twisted arrow pseudomonoidsSep 8, 2023Three tensors when we normalizeSep 8, 2023Thickening of a finite functionSep 8, 2023The Structure of Concurrent Process Histories (Nester, 2020)Sep 8, 2023The idea of shape-contentsSep 8, 2023The 2-Chu-Dialectica Construction and the Polycategory of Multivariable Adjunctions (Shulman, 2020)Sep 8, 2023TCP three way handshakeSep 8, 2023Tambara modules as algebrasSep 8, 2023Synthetic Bayes theoremSep 8, 2023Switchings of a linkingSep 8, 2023Switching criterionSep 8, 2023SuplatticeSep 8, 2023Subtle non-implication in corneringsSep 8, 2023Strings for duoidal categoriesSep 8, 2023String diagrams for monad and monad algebrasSep 8, 2023Spliced arrows vs opticsSep 8, 2023Slices indexed by spansSep 8, 2023Slice categories as categories of coalgebrasSep 8, 2023Sleeping beauty problemSep 8, 2023Signalling structure of process theoriesSep 8, 2023Signalling in quantum circuitsSep 8, 2023Shuffling monoidal categorySep 8, 2023Shape and contents comonadSep 8, 2023Separatedness, discreteness, and comparatorsSep 8, 2023Reversors in profunctorsSep 8, 2023Reducing an adjunctionSep 8, 2023Raudsilla Seminar, November 2022Sep 8, 2023Randomness factorizationSep 8, 2023Pseudomonoid lax homomorphismSep 8, 2023Prostrong promonadSep 8, 2023Prostrong monadSep 8, 2023Promonoidals as multicategories that factorSep 8, 2023Promonoidal category of shufflingsSep 8, 2023Promonoidal category of opticsSep 8, 2023Prolinearly distributive categorySep 8, 2023Probabilistic mixtures as promonoidalsSep 8, 2023Presenting linear mathematics ISep 8, 2023Posets in duoidalsSep 8, 2023Polycategory of multivariable adjunctionsSep 8, 2023Parallax bicategorySep 8, 2023Open diagrams are pointed profunctorsSep 8, 2023One-time pad protocolSep 8, 2023Observations and comparatorsSep 8, 2023Notation for spans, graphicallySep 8, 2023Notation for spansSep 8, 2023Normalization of profunctors over a monoidal categorySep 8, 2023Normal duoidals are isomixSep 8, 2023Near ringsSep 8, 2023Multiplication of the normalization monadSep 8, 2023Motivating normalization of spliceSep 8, 2023Monty-Hall in partial MarkovSep 8, 2023Monoids and promonoidsSep 8, 2023Monoidals parallelizeSep 8, 2023Monoidal streams via actionsSep 8, 2023Monoidal profunctorSep 8, 2023Monoidal multicategorySep 8, 2023Modules in wire diagramsSep 8, 2023Modelling Newcomb problemSep 8, 2023Mixing normal duoidalsSep 8, 2023Mix and isomixSep 8, 2023Metric spaceSep 8, 2023Markov as dependency categoriesSep 8, 2023Markov and subMarkov categoriesSep 8, 2023Map pseudomonoidSep 8, 2023Loop space of a bicategorySep 8, 2023Linear Logic Without Units (Houston, 2007)Sep 8, 2023Lax twisted arrow bicategorySep 8, 2023Lax opticsSep 8, 2023Lax duoidSep 8, 2023Kleisli categorySep 8, 2023Integral in a bialgebraSep 8, 2023Independent marginalization for a strong monadSep 8, 2023Graphical calculus for madjSep 8, 2023Graph diagrams of compact closed categoriesSep 8, 2023Functor boxSep 8, 2023From produoidals to prodependenceSep 8, 2023Freyd as pseudomonoidsSep 8, 2023Formiche mentaliSep 8, 2023Formal normalizationSep 8, 2023formal category theorySep 8, 2023Feedback in compact bicategoriesSep 8, 2023Exponentiable multicategorySep 8, 2023Essentially algebraic theoriesSep 8, 2023Endocells of a map pseudomonoid are duoidalSep 8, 2023Eckmann-Hilton intuition for duoidal categoriesSep 8, 2023Duals and compact closed categoriesSep 8, 2023Directed acyclic graphSep 8, 2023Dependence from duoidalsSep 8, 2023Definitions of topologySep 8, 2023Decategorifying multivariable adjunctionsSep 8, 2023Death in DamascusSep 8, 2023Copartial functionsSep 8, 2023Conditionals in a Markov categorySep 8, 2023Compositional dependencies with duoidalsSep 8, 2023Composition of semicartesian Mealy automataSep 8, 2023Composition along a channelSep 8, 2023Compact objectSep 8, 2023ComonadSep 8, 2023Coinductive streamsSep 8, 2023Coinductive cellular automataSep 8, 2023Coherent multicategory from promonoidalsSep 8, 2023Coalgebras of shape and contentsSep 8, 2023Coalgebra of the real intervalSep 8, 2023ClubsSep 8, 2023Category of dualitiesSep 8, 2023Category enriched in a bicategorySep 8, 2023Categorical Logic (Shulman, 2016)Sep 8, 2023Building distributions that are marginally independent of the parameterSep 8, 2023Boxes are bubblesSep 8, 2023Bimonoid in a duoidalSep 8, 2023Bimodule on a bicategorySep 8, 2023Bayes rare illness testingSep 8, 2023Algebras of normalization are normal produoidalsAug 14, 2023Underlying monoidal of a message structureAug 14, 2023Subunary shuffling teleological multicategoryAug 14, 2023Sliced left adjointAug 14, 2023Session structureAug 14, 2023PromonadAug 14, 2023Polarized monoidal categoryAug 14, 2023Normal monoidal multicategorical contourAug 14, 2023Monoidal double category of categoriesAug 14, 2023MonadAug 14, 2023Loose bicategory of a double categoryAug 14, 2023Distributive lawAug 14, 2023Adjunctions in a proarrow equipmentAug 14, 20232-Duality, lax and strongAug 7, 2023Timing crema di mascarponeAug 7, 2023Symmetric monoidal categories with full subcategoriesAug 7, 2023Strict duoidal categoryAug 7, 2023ProcessesAug 7, 2023Old - Compositional dependencies with duoidalsAug 7, 2023Normal multicategory of contextual lensesAug 7, 2023Inductive definition of combs and contextsAug 7, 2023Good syntaxAug 7, 2023Crema di mascarpone in do notationAug 7, 2023Cooking in monoidal categoriesAug 7, 2023Conjecture - Every duoidal embeds into an adjoint pseudomonoidAug 7, 2023Coherence for duoidals, wrong statementAug 7, 2023Bicategories of Processes (Katis, Sabadini, Walters, 1997)Aug 7, 2023Jul 11, 2023Yoneda is the free cocompletionJul 11, 2023What is a free monad of fresh namesJul 11, 2023Vsquared-categoriesJul 11, 2023Strict binoidal pseudofunctorJul 11, 2023Second action of produoidal Markov splitJul 11, 2023SchemaJul 11, 2023Quasiquoting latexJul 11, 2023Problem with exchange in do notationJul 11, 2023Polygraph 2-adjunctionJul 11, 2023Polarization is left adjoint to taking left adjointsJul 11, 2023Optics for Premonoidal CategoriesJul 11, 2023Multicategorical contourJul 11, 2023Linear polygraphJul 11, 2023Latex macros are not abbreviationsJul 11, 2023LatexJul 11, 2023IconsJul 11, 2023HasktorchJul 11, 2023Free conical cocompletionJul 11, 2023First action of produoidal Markov splitJul 11, 2023Effectful Semantics in 2-Dimensional Categories, Premonoidal and Freyd Bicategories (Paquet, Saville)Jul 11, 2023Contextual equivalence of lensesJul 11, 2023Binoidal bicategoriesJul 11, 2023Bimodular functorJul 7, 2023The point of coend calculusJul 7, 2023Streams in cartesian monoidal categoriesJul 7, 2023Simple type theoryJul 7, 2023Promonads are id-on-objects functorsJul 7, 2023Presenting linear mathematics IIJul 7, 2023NewsJul 7, 2023Monoidal stream computation IIJul 7, 2023Hacking dependent lenses as mixed opticsJul 7, 2023Functional Decision Theory. A New Theory of Instrumental Rationality (Yudkowsky, Soares, 2018)Jul 7, 2023DualitiesJul 7, 2023Constructing monoidal stream transducersJul 7, 2023Composing stateful spansJul 7, 2023Combunication, an ideaJul 7, 2023Categories are monoids in Span(Set)Jul 7, 2023Cartesian stream transducersJul 7, 2023Arrows in HaskellJun 11, 2023Old - Monoidal profunctorJun 11, 2023Old - Contour of a polycategoryJun 11, 2023Free posetal duoidaleJun 11, 2023Faithful cartesian clubMay 29, 2023Timing monoidal lax categoriesMay 29, 2023A Canonical Algebra of Open Transition Systems (Di Lavore et al)May 24, 2023State promonadMay 24, 2023Splitting the one-time padMay 24, 2023Profunctor Optics a Categorical Update (Clarke, Elkins, Gibbons, Loregian, Milewski, Pillmore, Román)May 24, 2023Old - Promonoidal categoryMay 24, 2023Old - Definition of strong promonadMay 24, 2023Monoidal contexts form a categoryMay 24, 2023CategoryMay 24, 2023PosetMay 24, 2023Comb Diagrams for Discrete-Time FeedbackMay 24, 2023A Category of DAGsMay 18, 2023Strictification of a monoidal functorMay 18, 2023Not every monoidal functor is naturally isomorphic to a strict oneMay 18, 2023Gray monoidMay 18, 2023Forgetting about prostarsMay 18, 2023Do notation is sound and complete for monoidal categoriesMay 18, 2023Comonoids to the leftMay 16, 2023Coherence for monoidal categoriesMay 3, 2023Viterbi semiringMay 3, 2023The adjunction of a lax functor boxMay 3, 2023Symmetric opticsMay 3, 2023Stream preserves cartesianityMay 3, 2023Stream is a promonadMay 3, 2023Stream functionsMay 3, 2023Stochastic streamsMay 3, 2023SemiringMay 3, 2023Repeated processesMay 3, 2023QuantaleMay 3, 2023Prolinear contourMay 3, 2023Prolinear category of spliced arrowsMay 3, 2023Premonoidal optics may not be a prostrong promonadMay 3, 2023Premonoidal opticsMay 3, 2023Parsing via spliceMay 3, 2023ParsingMay 3, 2023DisintegrationMay 3, 2023Definitions of combsMay 3, 2023Centre of a monad in SetMay 3, 2023Automata over a quantaleMay 3, 2023Adamek's theorem for combsMay 3, 2023A Canonical Algebra of Open Transition SystemsApr 12, 2023Linear logicApr 10, 2023Comonads on a cartesian are monoidalApr 10, 2023Commutativity in a map pseudomonoidApr 10, 2023Chu interpretation of linear logicApr 10, 2023Centre of a comonadApr 7, 2023Produoidal contourApr 7, 2023Parsing vs pretty-printingApr 7, 2023One-time pad protocol session-do implementationApr 7, 2023Newcombs problemApr 7, 2023Monoidal contexts in grammar ambiguityApr 7, 2023Lens operationsApr 7, 2023Lawvere theoryApr 7, 2023Decorating bicategories of processesApr 7, 2023Comagmas in magmasApr 7, 2023Cartesian multicategoryApr 7, 2023An implementation of Newcomb problemMar 7, 2023Unix pipesMar 7, 2023Transformation of cliquesMar 7, 2023Pointed profunctorMar 7, 2023Lawvere theories and universal modelsMar 7, 2023Jens Seeber on Lawvere theoriesMar 7, 2023Infinity-combsMar 7, 2023Free A-MagmaMar 7, 2023Combinatorial insertionsMar 7, 2023Building Free Arrows (Sigpfe)Mar 7, 2023A-MagmaFeb 13, 2023Session do-notationFeb 13, 2023Open diagrams are usedFeb 13, 2023Do-notation compositionFeb 13, 2023Derivations in Do-notationFeb 13, 2023Context theory for monoidal categoriesFeb 13, 2023Being multicategorical in each variable is the Chu constructionFeb 13, 2023Algebra of spliceFeb 7, 2023Terence Tao on writingFeb 7, 2023ModuleJan 30, 2023Talk on subdistributionsJan 30, 2023Non cartesianity in subdistributionsJan 30, 2023Affine Traversals split but whyDec 2, 20221-Dimensional calculusJan 30, 2023Dependence categoryJan 27, 2023Pullbacks preserve colimits in SetJan 27, 2023Gaussian probability theoryJan 27, 2023Conditions on a distributive lawJan 14, 2023Symmetric normalization of a produoidalJan 14, 2023Regular monoidal languageJan 14, 2023Prodependence in produoidalsJan 14, 2023Polarized notation for opticsJan 14, 2023Eilenberg-Moore objectJan 14, 2023Buchi monoidal streamsJan 14, 2023A good stochastic example of opticsJan 14, 2023Nov 27, 2022Tambara moduleNov 27, 2022Signalling in quantum circuitsNov 27, 2022Monoids and comonoidsNov 27, 2022Decomposition complexityNov 27, 2022Continuation monadNov 22, 2022Mates correspondenceNov 22, 2022Convolution and coconvolutionNov 22, 2022Beck-Chevalley conditionNov 21, 2022Subdistribution monadNov 21, 2022Module categoryNov 21, 2022Bayes update on subdistributionsNov 7, 2022Reading Bayesian inversion diagramsNov 7, 2022Markov by splitNov 7, 2022Conditionals of a familyNov 4, 2022Taking runtime seriouslyNov 4, 2022Strong monadNov 4, 2022Newcomb's Problem and Two Principles of Choice (Nozick 1969)Nov 4, 2022Do notation for strong monadsNov 4, 2022Diagrams of prostrengthNov 4, 2022Compatible squares of functor lensesNov 4, 2022Companions and conjointsOct 6, 2022Citing these notesOct 6, 2022Bayesian Inversion in Partial MarkovOct 4, 2022What is special about Set, in the double category CatOct 4, 2022Weighted colimits in box notationOct 4, 2022Van Laarhoven lenses and gratesOct 4, 2022Unnatural transformationsOct 4, 2022Uniform copy deleteOct 4, 2022Type Theory for unbiased monoidal categoriesOct 4, 2022Type theory for symmetric monoidal categoriesOct 4, 2022Type theory for delayed feedbackOct 4, 2022Type theory for a strong monoidal endofunctorOct 4, 2022Twisted monoidsOct 4, 2022Towards linear mathematicsOct 4, 2022Three equalities for combs and opticsOct 4, 2022Three criteria for truthOct 4, 2022The Stream(-) constructionOct 4, 2022The stream endofunctor has a terminal coalgebraOct 4, 2022Tensor of bimodular categoriesOct 4, 2022Surface diagrams for pseudofunctorsOct 4, 2022String diagrams for category theoryOct 4, 2022Stream programming and signal flowOct 4, 2022Stream programming and monoidal categoriesOct 4, 2022Stochastic to stream is well-definedOct 4, 2022Stochastic streams via Adamek's theoremOct 4, 2022Stochastic processes via streamsOct 4, 2022Some dependent lensesOct 4, 2022Smoking lesion problemOct 4, 2022Sets is a monoidal categoryOct 4, 2022Right adjoint to oplax is laxOct 4, 2022Reduction in symmetric monoidal categoriesOct 4, 2022Range with total compositionOct 4, 2022Quoting comonad of a monadOct 4, 2022Putting an end to parameters IVOct 4, 2022Putting an end to parameters IIIOct 4, 2022Putting an end to parameters IIOct 4, 2022Putting an end to parameters IOct 4, 2022Pure tensor of promonadsOct 4, 2022Proxy-pullback squareOct 4, 2022Promonoids from monoidsOct 4, 2022Parameterised monadsOct 4, 2022Parameterised comonadsOct 4, 2022Opmonoidal comonadOct 4, 2022Operational view of gratesOct 4, 2022On syntax and free objectsOct 4, 2022Notation for total compositionOct 4, 2022Motivation in the cartesian streamsOct 4, 2022Motivating bicategoriesOct 4, 2022Monoids on the arrow categoryOct 4, 2022Monoidal profunctors (string diagrams)Oct 4, 2022Monoidal category of streamsOct 4, 2022Milewski-Vertechi dependent opticsOct 4, 2022Map pseudomonoid mapsOct 4, 2022Lukasiewicz LogicOct 4, 2022List opmonoidal comonadOct 4, 2022Linear solution for the barberOct 4, 2022Lenses flowing backOct 4, 2022Lax twisted monoids and convolutionOct 4, 2022Kl(D) is not pseudopurifiableOct 4, 2022Interaction lawsOct 4, 2022Homomorphisms of promonads are functor squaresOct 4, 2022Has constructivism failed?Oct 4, 2022Grothendieck constructionOct 4, 2022Graphical Language with Delayed Trace (Carette, de Visme, Perdrix, 2021)Oct 4, 2022Funny tensor of promonadsOct 4, 2022Funny tensor as coproductOct 4, 2022Functor boxes in CatOct 4, 2022From stateful morphisms to streamsOct 4, 2022Fox's theorem and cocommutativityOct 4, 2022End-preserving functorsOct 4, 2022Effects of a monadOct 4, 2022Double category CATOct 4, 2022Discardable monads and marginalizationOct 4, 2022Dioptics from corners in both boundariesOct 4, 2022DiopticsOct 4, 2022Diagrammatic formal dualitiesOct 4, 2022Dependent optics (Riley)Oct 4, 2022Corresponding graphs for stateful spansOct 4, 2022Constructivism in Computer Science and category theoryOct 4, 2022Constructive mathematicsOct 4, 2022Constructing monoidal stream transducers IIOct 4, 2022Constructing a theory of processesOct 4, 2022Composition of stateful spansOct 4, 2022Combs as final coalgebrasOct 4, 2022Companions in a double categoryOct 4, 2022Compact closed streams via Adamek's theoremOct 4, 2022Coloring premonoidalityOct 4, 2022Coinductively defined streamsOct 4, 2022Causality in two boundariesOct 4, 2022Cartesian streams via Adamek's theoremOct 4, 2022Cartesian by splitOct 4, 2022Braid clique in MonRunOct 4, 2022Bayes update with do-notationOct 4, 2022Attack modelsOct 4, 2022Applying Adamek in SetOct 4, 2022Algebraically complete categoriesOct 4, 2022Accessible categoriesOct 3, 2022Sur la Commutation des Limites (Foltz, 1981)Oct 3, 2022Strict monoidal categories and coherenceOct 3, 2022Resumption monadOct 3, 2022Quantum combsOct 3, 2022PromonoidOct 3, 2022Premonoidal Categories and a Graphical View of Programs (Jeffrey, 1998)Oct 3, 2022Motivating monoidal categoriesOct 3, 2022Locally Accessible and Presentable Categories (Adamek, Rosicky, 1994)Oct 3, 2022Linear mathematicsOct 3, 2022Dependent lensesOct 3, 2022Dataflow programmingOct 3, 2022An Introduction to Locally Finitely Presentable Categories (Sarazola, 2017)Oct 3, 2022A Classification of Accessible Categories (Adamek, Borceux, Lack, Rosicky, 2002)UnknownThe 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 diagrams