Mario Román

Home

❯

notes

Folder: notes

1058 items under this folder.

Aug 27, 2025
Continuation-passing is cocartesian coclosed
Aug 27, 2025
distributive copy-discard multicategory
Aug 27, 2025
effect monoid
Aug 27, 2025
expectation monad
Aug 27, 2025
lax tricocycloid from a bialgebra
Aug 27, 2025
opinion
Aug 27, 2025
tricocycloid
Aug 27, 2025
unit interval effect monoid
Aug 27, 2025
Writing
Aug 23, 2025
A good stochastic example of optics
Aug 23, 2025
Examples of monoidal category
Aug 23, 2025
How to Give a Good Research Talk (Jones, Hughes, Launchbury)
Aug 23, 2025
Kleisli unital magmoid of normalization
Aug 23, 2025
Markov category
Aug 23, 2025
Monad
Aug 23, 2025
Monoidal streams for Buchi automata
Aug 23, 2025
norm acts in subd
Aug 23, 2025
Pearl and Jeffrey
Aug 23, 2025
Proeffectful categories
Aug 23, 2025
Stochastic function
Aug 23, 2025
Subdistribution monad
Aug 23, 2025
My work is about finding languages
Aug 23, 2025
XOR variable exchange
Aug 23, 2025
call-by-value and call-by-name, kleisli and cokleisli
Aug 23, 2025
choosing total relations gives directionality
Aug 23, 2025
colawvere theories
Aug 23, 2025
collage of an adjunction
Aug 23, 2025
commutative multigraph
Aug 23, 2025
conditional composition in distributive multicategories
Aug 23, 2025
Conditionals in a Markov category
- markov-category
- monoidal-category
Aug 23, 2025
conditionals do not imply multiconditionals
Aug 23, 2025
conditionals in distributive multicategories
Aug 23, 2025
Continuation monad
Aug 23, 2025
copy-discard multicategories simulate duploids
Aug 23, 2025
discrete cartesian restriction category
Aug 23, 2025
distribution monad over an effect monoid
Aug 23, 2025
distribution monad
Aug 23, 2025
distributive copy-discard category
Aug 23, 2025
distributive law
- monoid
- distributive-law
Aug 23, 2025
distributive multicategory
Aug 23, 2025
distributive tensor of multiquivers
Aug 23, 2025
duploid
Aug 23, 2025
exact observations
Aug 23, 2025
failure of associativity on an adjunction collage
Aug 23, 2025
intuition for duploids
Aug 23, 2025
Lax monoidal functor
Aug 23, 2025
linear and thunkable maps
Aug 23, 2025
lists
Aug 23, 2025
maybe monad
Aug 23, 2025
monoid
Aug 23, 2025
Multicategory
Aug 23, 2025
multiconditional
Aug 23, 2025
Multifunctor
Aug 23, 2025
multimarginals
Aug 23, 2025
multiquiver homomorphism
Aug 23, 2025
multiquiver
Aug 23, 2025
non-empty relations have functional range
Aug 23, 2025
normalization is a distributive law up to idempotent
Aug 23, 2025
normalization is almost a distributive law
Aug 23, 2025
normalization is almost a restriction operator
Aug 23, 2025
normalization is monoidal
Aug 23, 2025
Normalization
Aug 23, 2025
Partial Markov category
Aug 23, 2025
probability versus possibility
Aug 23, 2025
promonoidal category
Aug 23, 2025
reduction system
Aug 23, 2025
refining a multigraph
Aug 23, 2025
relations with failure
Aug 23, 2025
string diagrams are two
Aug 23, 2025
terminal units do not split
Aug 23, 2025
three laws dist-maybe
Aug 23, 2025
Total relation
Aug 23, 2025
trace in subdistributions
Aug 23, 2025
tricocyloid in a physical duoidal category
Aug 23, 2025
two compositions on the collage of an adjunction
Aug 23, 2025
two generals problem
Aug 23, 2025
two tensors, three dimensions
Aug 23, 2025
up monad and down comonad of an adjunction collage
Aug 23, 2025
weak distributive law
Jul 29, 2025
Binoidal and Premonoidal Categories
Jul 29, 2025
Promonads are identity-on-objects functors
Jul 29, 2025
Strong promonad
Jul 29, 2025
bimonoidally-strict-distributive-category
Jul 29, 2025
control flow via string diagrams
Jul 29, 2025
cowboy duel
Jul 29, 2025
effectful category
Jul 29, 2025
motivation for promonads
- promonad
- motivation
Jul 29, 2025
piranha problem
Jul 29, 2025
Promonad
Jul 29, 2025
Runtime monoidal category
Jul 28, 2025
Cauchy product of formal series
Jul 28, 2025
cocartesian comulticategory
Jul 28, 2025
Copy-discard category
Jul 28, 2025
distributive category
Jul 28, 2025
integral of Brownian motion
Jul 28, 2025
representable profunctor
Jul 28, 2025
the problem of fully strict bimonoidals
Jul 28, 2025
traced cartesian multicategory
Jul 24, 2025
1-Dimensional calculus
Jul 24, 2025
2-Duality, lax and strong
Jul 24, 2025
A Category of DAGs
Jul 24, 2025
A-Magma
Jul 24, 2025
Accessible categories
- index
Jul 24, 2025
Adamek theorem
Jul 24, 2025
Adamek's theorem for combs
Jul 24, 2025
Adjunctions in a proarrow equipment
Jul 24, 2025
Affine Traversals split but why
Jul 24, 2025
Algebra of splice
Jul 24, 2025
Algebraically complete categories
Jul 24, 2025
Algebras of normalization are normal produoidals
Jul 24, 2025
An Introduction to Probabilistic Programming (van de Meent, Paige, Yang, Wood, 2021)
Jul 24, 2025
An implementation of Newcomb problem
Jul 24, 2025
Applying Adamek in Set
Jul 24, 2025
Arrows in Haskell
Jul 24, 2025
Attack models
Jul 24, 2025
Automata over a quantale
Jul 24, 2025
Automata
Jul 24, 2025
Bayes rare illness testing
Jul 24, 2025
Bayes update with do-notation
Jul 24, 2025
Bayes theorem
Jul 24, 2025
Bayesian Inversion in Partial Markov
Jul 24, 2025
Disintegration
- markov-category
Jul 24, 2025
Bayesian inversions via density functions
Jul 24, 2025
Be Careful with Duoidal Coherence
Jul 24, 2025
Beck-Chevalley condition
Jul 24, 2025
Being multicategorical in each variable is the Chu construction
Jul 24, 2025
Bicategories of Processes (Katis, Sabadini, Walters, 1997)
Jul 24, 2025
Bimodular categories
Jul 24, 2025
Bimodular functor
Jul 24, 2025
Bimodular profunctor
Jul 24, 2025
Bimodule on a bicategory
Jul 24, 2025
Bimonoid in a duoidal
Jul 24, 2025
Bimonoidal category
Jul 24, 2025
Binoidal bicategories
Jul 24, 2025
Boxes are bubbles
Jul 24, 2025
Braid clique in MonRun
Jul 24, 2025
Brownian motion
Jul 24, 2025
Buchi monoidal streams
Jul 24, 2025
Building Free Arrows (Sigpfe)
Jul 24, 2025
Calculus in Coinductive Form (Escardó, Pavlovic)
Jul 24, 2025
Cartesian by split
Jul 24, 2025
Cartesian monoidal category
Jul 24, 2025
Cartesian multicategory
Jul 24, 2025
Cartesian stream transducers
Jul 24, 2025
Cartesian streams via Adamek's theorem
Jul 24, 2025
Cartesian, partial and stochastic
Jul 24, 2025
Categorical Logic (Shulman, 2016)
- paper
Jul 24, 2025
Categories are monoids in Span(Set)
Jul 24, 2025
Category enriched in a bicategory
Jul 24, 2025
Category of dualities
Jul 24, 2025
Category of duoidal dualities
Jul 24, 2025
Category
Jul 24, 2025
Cauchy-Schwarz inequality in partial Markov categories
Jul 24, 2025
Cauchy-Schwarz inequality
Jul 24, 2025
Causality in two boundaries
Jul 24, 2025
Central product of promonads
Jul 24, 2025
Centre of a comonad
Jul 24, 2025
Centre of a monad in Set
Jul 24, 2025
Chomsky-Schutzenberger representation theorem
Jul 24, 2025
Chu interpretation of linear logic
Jul 24, 2025
Citing these notes
Jul 24, 2025
Closure of simulation relation
Jul 24, 2025
Clubs
Jul 24, 2025
Coalgebras of shape and contents
Jul 24, 2025
Coend calculus
Jul 24, 2025
Coherence for duoidals, wrong statement
Jul 24, 2025
Coherence for monoidal categories
Jul 24, 2025
Coherent multicategory from promonoidals
Jul 24, 2025
Coinductive cellular automata
Jul 24, 2025
Coinductively defined streams
Jul 24, 2025
Collages of string diagrams
Jul 24, 2025
Coloring premonoidality
Jul 24, 2025
Comagmas in magmas
Jul 24, 2025
Comb Diagrams for Discrete Time Feedback (Román)
Jul 24, 2025
Comb Diagrams for Discrete-Time Feedback
Jul 24, 2025
Combinatorial insertions
Jul 24, 2025
Combs as final coalgebras
Jul 24, 2025
Combunication, an idea
Jul 24, 2025
Commutativity in a map pseudomonoid
Jul 24, 2025
Comonad
Jul 24, 2025
Comonads on a cartesian are monoidal
Jul 24, 2025
Comonoids to the left
Jul 24, 2025
Compact closed monoidal category
Jul 24, 2025
Compact closed streams via Adamek's theorem
Jul 24, 2025
Companions and conjoints
Jul 24, 2025
Companions in a double category
Jul 24, 2025
Compatible squares of functor lenses
Jul 24, 2025
Composing stateful spans
Jul 24, 2025
Composition along a channel
Jul 24, 2025
Composition of semicartesian Mealy automata
Jul 24, 2025
Composition of stateful spans
Jul 24, 2025
Conditions on a distributive law
Jul 24, 2025
Conjecture - Every duoidal embeds into an adjoint pseudomonoid
Jul 24, 2025
Constructing a theory of processes
Jul 24, 2025
Constructing monoidal stream transducers II
Jul 24, 2025
Constructing monoidal stream transducers
Jul 24, 2025
Constructive mathematics
Jul 24, 2025
Constructivism in Computer Science and category theory
Jul 24, 2025
Context theory for categories
Jul 24, 2025
Context theory for monoidal categories
Jul 24, 2025
Context-Free Languages of String Diagrams (Earnshaw, Román, 2024)
Jul 24, 2025
Contextual equivalence of lenses
Jul 24, 2025
contour of a multicategory
Jul 24, 2025
contour of a polycategory
Jul 24, 2025
Contour
Jul 24, 2025
Contouring Prostar Autonomous Categories
Jul 24, 2025
Convolution and coconvolution
Jul 24, 2025
Conway base 13 function
Jul 24, 2025
Cooking in monoidal categories
Jul 24, 2025
Cornering Optics (Boisseau, Nester, Román, 2022)
Jul 24, 2025
Corresponding graphs for stateful spans
Jul 24, 2025
Crema di mascarpone in do notation
Jul 24, 2025
Dataflow programming
Jul 24, 2025
Day convolution
Jul 24, 2025
Death in Damascus - original formulation
Jul 24, 2025
Death in Damascus
Jul 24, 2025
Decomposition complexity
Jul 24, 2025
Decorating bicategories of processes
- nov20
Jul 24, 2025
Definitions of combs
- monoidal-streams
Jul 24, 2025
Definitions of topology
Jul 24, 2025
Dependence category
Jul 24, 2025
Dependence from duoidals
Jul 24, 2025
Dependent lenses
Jul 24, 2025
Diagrammatic formal dualities
Jul 24, 2025
Diagrams of prostrength
Jul 24, 2025
Diffie Hellman key exchange
Jul 24, 2025
Dioptics from corners in both boundaries
- ago22
Jul 24, 2025
Dioptics
- ago22
Jul 24, 2025
Directed acyclic graph
Jul 24, 2025
Discardable monads and marginalization
Jul 24, 2025
Do notation for strong monads
Jul 24, 2025
Do notation is sound and complete for monoidal categories
Jul 24, 2025
Double category CAT
Jul 24, 2025
Drawing the Church booleans
Jul 24, 2025
Dualities
Jul 24, 2025
Duality in a linearly distributive category
Jul 24, 2025
Duals and compact closed categories
Jul 24, 2025
Duals in a normal monoidal multicategory
Jul 24, 2025
Duoid in a duoidal
Jul 24, 2025
Duoidal Tambara
Jul 24, 2025
Duskin's monadicity theorem
Jul 24, 2025
Dyck language
Jul 24, 2025
Eckmann-Hilton argument
- note
Jul 24, 2025
Eckmann-Hilton intuition for duoidal categories
Jul 24, 2025
Effectful Semantics in 2-Dimensional Categories, Premonoidal and Freyd Bicategories (Paquet, Saville)
Jul 24, 2025
Effectful Trace Semantics via Effectful Streams
Jul 24, 2025
effectful copy-discard from a strong promonad
Jul 24, 2025
Effects of a monad
Jul 24, 2025
Ehrenfest coinductively
Jul 24, 2025
Eilenberg-Moore object
Jul 24, 2025
Elgot categories
Jul 24, 2025
End-preserving functors
Jul 24, 2025
Endocells of a map pseudomonoid are duoidal
Jul 24, 2025
Essentially algebraic theories
Jul 24, 2025
Exponentiable multicategory
Jul 24, 2025
Feedback in compact bicategories
- note
Jul 24, 2025
feedback premonoidal category
Jul 24, 2025
Final coalgebra
Jul 24, 2025
First action of produoidal Markov split
Jul 24, 2025
Forgetting about prostars
Jul 24, 2025
Forgetting promonoidality
Jul 24, 2025
Formal normalization
Jul 24, 2025
Fox's theorem and cocommutativity
Jul 24, 2025
Fox's theorem
Jul 24, 2025
Free A-Magma
Jul 24, 2025
Free conical cocompletion
Jul 24, 2025
Free effectful category I
Jul 24, 2025
Free posetal duoidale
Jul 24, 2025
Freyd as pseudomonoids
- apr22
Jul 24, 2025
Freyd category
Jul 24, 2025
Freyd signature homomorphism
Jul 24, 2025
Freyd signature
Jul 24, 2025
From produoidals to prodependence
Jul 24, 2025
From stateful morphisms to streams
Jul 24, 2025
Functional Decision Theory. A New Theory of Instrumental Rationality (Yudkowsky, Soares, 2018)
Jul 24, 2025
Functional morphisms of probabilistic automata are bisimulations
Jul 24, 2025
Functor box
Jul 24, 2025
Functor boxes in Cat
Jul 24, 2025
Funny tensor as coproduct
Jul 24, 2025
Funny tensor of promonads
Jul 24, 2025
Gaussian probability theory
Jul 24, 2025
Generic Trace Semantics and Graded Monads (Milius, Pattinson, Schroder, 2015)
Jul 24, 2025
Geometry of Interaction and Linear Combinatory Algebras (Abramsky, Haghverdi, Scott)
Jul 24, 2025
Good syntax
Jul 24, 2025
Graph diagrams of compact closed categories
Jul 24, 2025
Graphical closed monoidals
Jul 24, 2025
Gray monoid
Jul 24, 2025
Grothendieck construction
Jul 24, 2025
Grothendieck universe
Jul 24, 2025
Hacking dependent lenses as mixed optics
Jul 24, 2025
Has constructivism failed
Jul 24, 2025
Haskell set monad
Jul 24, 2025
Hasktorch
Jul 24, 2025
Homomorphisms of promonads are functor squares
Jul 24, 2025
Hopf Algebras
Jul 24, 2025
Icons
Jul 24, 2025
Independent marginalization for a strong monad
Jul 24, 2025
Inductive definition of combs and contexts
Jul 24, 2025
Infinity-combs
Jul 24, 2025
Integral in a bialgebra
Jul 24, 2025
Interaction laws
Jul 24, 2025
Jens Seeber on Lawvere theories
Jul 24, 2025
Jensen inequality
Jul 24, 2025
Kl(D) is not pseudopurifiable
Jul 24, 2025
Kleene algebra
Jul 24, 2025
Kleisli category of a promonad
Jul 24, 2025
Kleisli category
Jul 24, 2025
Kleisli object
Jul 24, 2025
Lambek lemma
Jul 24, 2025
Laplace transform
Jul 24, 2025
Laplacian interpretation of Bayes update
Jul 24, 2025
Latex macros are not abbreviations
Jul 24, 2025
Latex
Jul 24, 2025
Lawvere theories and universal models
Jul 24, 2025
Lax optics
Jul 24, 2025
Lax twisted arrow bicategory
Jul 24, 2025
Lax twisted monoids and convolution
Jul 24, 2025
Lens operations
Jul 24, 2025
Lenses flowing back
Jul 24, 2025
Linear logic
Jul 24, 2025
Linear mathematics
- index
Jul 24, 2025
Linear polyquiver
Jul 24, 2025
Linear solution for the barber
Jul 24, 2025
List opmonoidal comonad
Jul 24, 2025
Loop space of a bicategory
- nov20
Jul 24, 2025
Loose bicategory of a double category
Jul 24, 2025
Lotteries
Jul 24, 2025
Lukasiewicz Logic
Jul 24, 2025
Löb's theorem
Jul 24, 2025
Map pseudomonoid maps
Jul 24, 2025
Map pseudomonoid
Jul 24, 2025
Markov and subMarkov categories
Jul 24, 2025
Markov as dependency categories
Jul 24, 2025
Markov by split
Jul 24, 2025
Markovs are secretly produoidal
Jul 24, 2025
Mates correspondence
Jul 24, 2025
Mathematics is not up for the task of describing complex systems
Jul 24, 2025
mealy machine
Jul 24, 2025
Message splice contour adjunction
Jul 24, 2025
Metric space
Jul 24, 2025
Milewski-Vertechi dependent optics
Jul 24, 2025
Mix and isomix
Jul 24, 2025
Modelling Newcomb problem
Jul 24, 2025
Module category
Jul 24, 2025
Module
Jul 24, 2025
Modules in wire diagrams
Jul 24, 2025
Moggi effects
Jul 24, 2025
Monad properties via do notation
Jul 24, 2025
Monoidal category of streams
Jul 24, 2025
Monoidal contexts form a category
Jul 24, 2025
Monoidal contexts in grammar ambiguity
Jul 24, 2025
Monoidal contexts
Jul 24, 2025
Monoidal double category of categories
Jul 24, 2025
Monoidal multicategory
Jul 24, 2025
Monoidal profunctors (string diagrams)
Jul 24, 2025
monoidal spliced arrows
Jul 24, 2025
Monoidal stream computation II
Jul 24, 2025
Monoidal stream computation
Jul 24, 2025
Monoidal streams via actions
Jul 24, 2025
Monoidals inside Cat
Jul 24, 2025
Monoidals parallelize
Jul 24, 2025
Monoids on the arrow category
Jul 24, 2025
Monty-Hall in partial Markov
Jul 24, 2025
Motivating bicategories
Jul 24, 2025
Motivating monoidal categories
Jul 24, 2025
Motivating normalization of splice
Jul 24, 2025
Motivation in the cartesian streams
Jul 24, 2025
Multicategorical contour
Jul 24, 2025
Multiplication of the normalization monad
Jul 24, 2025
Near rings
Jul 24, 2025
Newcomb's problem in LazyPPL
Jul 24, 2025
Newcombs problem
Jul 24, 2025
Nilpotent bialgebra
Jul 24, 2025
Non cartesianity in subdistributions
Jul 24, 2025
Normal duoidals are isomix
Jul 24, 2025
Normal monoidal multicategorical contour
Jul 24, 2025
Normal multicategory of contextual lenses
Jul 24, 2025
Normalization of profunctors over a monoidal category
Jul 24, 2025
Not every monoidal functor is naturally isomorphic to a strict one
Jul 24, 2025
Notation for spans, graphically
Jul 24, 2025
Notation for spans
Jul 24, 2025
Notation for total composition
Jul 24, 2025
Bath Seminar - Shuffles
Jul 24, 2025
Observations and comparators
Jul 24, 2025
Old - Monoidal profunctor
Jul 24, 2025
On syntax and free objects
Jul 24, 2025
One-time pad protocol session-do implementation
Jul 24, 2025
One-time pad protocol
- note
Jul 24, 2025
Open diagrams are used
Jul 24, 2025
Open internal diagrams
Jul 24, 2025
Operational view of grates
Jul 24, 2025
Opmonoidal comonad
Jul 24, 2025
Optics for Premonoidal Categories
Jul 24, 2025
Par has both either or both
Jul 24, 2025
Par is duoidal
Jul 24, 2025
Parallax bicategory
Jul 24, 2025
Parameterised comonads
Jul 24, 2025
Parameterised monads
Jul 24, 2025
Parsing via splice
Jul 24, 2025
Parsing vs pretty-printing
Jul 24, 2025
Parsing
Jul 24, 2025
Physical monoidal multicategory
Jul 24, 2025
Pointed profunctor
Jul 24, 2025
Polar Interleavings for Deadlock-Free Message-Passing
Jul 24, 2025
Polarization is left adjoint to taking left adjoints
Jul 24, 2025
Polarization of a monoidal category
Jul 24, 2025
Polarization of physical duoidals
Jul 24, 2025
Polarized monoidal category
Jul 24, 2025
Polarized notation for optics
Jul 24, 2025
Polygraph 2-adjunction
Jul 24, 2025
Poset
Jul 24, 2025
Premonoidal functor
Jul 24, 2025
Premonoidal optics may not be a prostrong promonad
Jul 24, 2025
Premonoidal optics
Jul 24, 2025
Prepromonoidality
Jul 24, 2025
Presentations of Premonoidal Categories by Devices
Jul 24, 2025
Presenting linear mathematics I
Jul 24, 2025
Presenting linear mathematics II
Jul 24, 2025
Probabilistic bisimulation
Jul 24, 2025
Probabilistic mixtures as promonoidals
Jul 24, 2025
Problem with exchange in do notation
Jul 24, 2025
Processes come intuitively
Jul 24, 2025
Processes
Jul 24, 2025
Prodependence in produoidals
Jul 24, 2025
Produoidal algebra of monoidal contexts
Jul 24, 2025
Produoidal contour
Jul 24, 2025
Produoidal functor
Jul 24, 2025
Project - Adjoint Monoids, Twisted Monoids
Jul 24, 2025
Prolinear category of spliced arrows
Jul 24, 2025
Prolinear contour
Jul 24, 2025
Prolinearly distributive category
Jul 24, 2025
Promonoid
Jul 24, 2025
Promonoidal category of optics
Jul 24, 2025
Promonoidal category of shufflings
Jul 24, 2025
promonoidal category of spliced arrows
Jul 24, 2025
Promonoidal contour
Jul 24, 2025
Promonoidals as multicategories that factor
Jul 24, 2025
Promonoids from monoids
Jul 24, 2025
Prostrong monad
Jul 24, 2025
Prostrong promonad
Jul 24, 2025
Protocols run on trials
Jul 24, 2025
Proxy-pullback square
Jul 24, 2025
Pseudomonoid lax homomorphism
Jul 24, 2025
Pullbacks preserve colimits in Set
Jul 24, 2025
Pure tensor of promonads
Jul 24, 2025
Putting an end to parameters I
Jul 24, 2025
Putting an end to parameters II
Jul 24, 2025
Putting an end to parameters III
Jul 24, 2025
Putting an end to parameters IV
Jul 24, 2025
Puzzles of Anthropic Reasoning Resolved Using Full Non-indexical Conditioning (Neal, 2006)
Jul 24, 2025
Quantale
Jul 24, 2025
Quantum combs
Jul 24, 2025
quasi 2-adjunction
Jul 24, 2025
Quasiquoting latex
Jul 24, 2025
Quotient of IO transition systems
- nov20
Jul 24, 2025
Quotient transition system
Jul 24, 2025
Quoting comonad of a monad
Jul 24, 2025
Racks
Jul 24, 2025
Randomness factorization
Jul 24, 2025
Range with total composition
Jul 24, 2025
Raudsilla Seminar, November 2022
Jul 24, 2025
Reading Bayesian inversion diagrams
Jul 24, 2025
Reading an example on the monoidal bicategory of profunctors
Jul 24, 2025
Reduction in symmetric monoidal categories
Jul 24, 2025
Refining Fox's Theorem
Jul 24, 2025
Relation Algebra
Jul 24, 2025
Repeated processes
Jul 24, 2025
Resumption monad
Jul 24, 2025
Reversors in profunctors
Jul 24, 2025
Right adjoint to oplax is lax
- formal-category-theory
Jul 24, 2025
Sailor's Child problem
Jul 24, 2025
Schema
Jul 24, 2025
Scott topology
Jul 24, 2025
Second action of produoidal Markov split
Jul 24, 2025
Semiring
Jul 24, 2025
Separatedness, discreteness, and comparators
Jul 24, 2025
sesquifunctors and the funny tensor product
Jul 24, 2025
Session structure
Jul 24, 2025
Sets is a monoidal category
Jul 24, 2025
Shape and contents comonad
Jul 24, 2025
Signalling in quantum circuits
Jul 24, 2025
Signalling in quantum circuits
Jul 24, 2025
Signalling structure of process theories
Jul 24, 2025
Simple type theory
- type-theory
Jul 24, 2025
Simulation simplifies bisimulation
Jul 24, 2025
Skew promonad of a lax monoidal functor
Jul 24, 2025
Sleeping beauty problem
- feb22
Jul 24, 2025
Slice categories as categories of coalgebras
Jul 24, 2025
Slices indexed by spans
Jul 24, 2025
Smoking lesion problem
Jul 24, 2025
Some dependent lenses
Jul 24, 2025
Span(Graph)
Jul 24, 2025
Spliced arrows form a malleable multicategory
Jul 24, 2025
Spliced arrows vs optics
Jul 24, 2025
Split runtime
Jul 24, 2025
Splitting the one-time pad
Jul 24, 2025
State promonad
Jul 24, 2025
Stochastic processes via streams
Jul 24, 2025
Stochastic streams via Adamek's theorem
Jul 24, 2025
Stochastic streams
Jul 24, 2025
Stochastic to stream is well-defined
Jul 24, 2025
Stream functions
Jul 24, 2025
Stream is a promonad
Jul 24, 2025
Stream preserves cartesianity
Jul 24, 2025
Stream programming and monoidal categories
Jul 24, 2025
Stream programming and signal flow
Jul 24, 2025
Streams in cartesian monoidal categories
- monoidal-streams
Jul 24, 2025
Strict binoidal pseudofunctor
Jul 24, 2025
Strict duoidal category
Jul 24, 2025
Strict monoidal categories and coherence
Jul 24, 2025
Strictification of a monoidal category
Jul 24, 2025
Strictification of a monoidal functor
Jul 24, 2025
String diagrams for category theory
Jul 24, 2025
String diagrams for monad and monad algebras
Jul 24, 2025
Strings for duoidal categories
Jul 24, 2025
Strong monad
Jul 24, 2025
Strong monoidal functor boxes in Tambara
Jul 24, 2025
Strong profunctor
Jul 24, 2025
Substituting without runtime
Jul 24, 2025
Substoch is not compact closed
Jul 24, 2025
Subtle non-implication in cornerings
Jul 24, 2025
Subunary shuffling teleological multicategory
Jul 24, 2025
Suplattice
Jul 24, 2025
Surface diagrams for pseudofunctors
Jul 24, 2025
Switching criterion
Jul 24, 2025
Switchings of a linking
Jul 24, 2025
Symmetric monoidal categories with full subcategories
Jul 24, 2025
Symmetric normalization of a produoidal
Jul 24, 2025
Symmetric optics
Jul 24, 2025
Synthetic Bayes theorem
Jul 24, 2025
TCP three way handshake
Jul 24, 2025
Taking runtime seriously
Jul 24, 2025
Talk on subdistributions
Jul 24, 2025
Tambara module
Jul 24, 2025
Tambara modules as algebras
Jul 24, 2025
Template games
Jul 24, 2025
Tensor of bimodular categories
Jul 24, 2025
The 2-category of effectful categories
Jul 24, 2025
The Lesson of Newcomb’s Paradox (Wolpert, Benford, 2013)
Jul 24, 2025
The Official Lets Make a Deal Website on the Monty Hall Problem
Jul 24, 2025
The PROP of conductances
Jul 24, 2025
The Precipice (Toby Ord)
Jul 24, 2025
The Stream(-) construction
Jul 24, 2025
The adjunction of a lax functor box
Jul 24, 2025
The double bicategory of monoidal and bimodular profunctors
Jul 24, 2025
The idea of shape-contents
Jul 24, 2025
The missing string adjunction
Jul 24, 2025
The old mathematics does not need to be our strategy
Jul 24, 2025
The point of coend calculus
Jul 24, 2025
The stream endofunctor has a terminal coalgebra
Jul 24, 2025
These tensor
Jul 24, 2025
Thickening of a finite function
Jul 24, 2025
Three criteria for truth
Jul 24, 2025
Three equalities for combs and optics
Jul 24, 2025
Three notations for symmetric monoidal categories
Jul 24, 2025
Three tensors when we normalize
Jul 24, 2025
Timing crema di mascarpone
Jul 24, 2025
Timing monoidal lax categories
Jul 24, 2025
Towards linear mathematics
Jul 24, 2025
Traced Premonoidal Categories (Benton, Hyland)
Jul 24, 2025
Twisted arrow pseudomonoids
Jul 24, 2025
Twisted monoids
Jul 24, 2025
Two-sided duoidal duality
Jul 24, 2025
Type Theory for unbiased monoidal categories
Jul 24, 2025
Type theory for delayed feedback
Jul 24, 2025
Type theory for symmetric monoidal categories
Jul 24, 2025
Underlying monoidal of a message structure
Jul 24, 2025
Understanding intelligent systems may be both our greatest achievement or our end
Jul 24, 2025
Unit of the normalization monad
Jul 24, 2025
Unix pipes
Jul 24, 2025
Unnatural transformations
Jul 24, 2025
Van Laarhoven lenses and grates
Jul 24, 2025
Virtual stars
Jul 24, 2025
Viterbi semiring
Jul 24, 2025
Vsquared-categories
Jul 24, 2025
Warm Up Before You Write (Wilkes)
Jul 24, 2025
Weighted colimits in box notation
Jul 24, 2025
What is special about Set, in the double category Cat
Jul 24, 2025
While loops as traces
Jul 24, 2025
Why proarrows are not the algebra of messages
Jul 24, 2025
XOR blackmail problem
Jul 24, 2025
Yoneda is the free cocompletion
Jul 24, 2025
action algebra
Jul 24, 2025
acyclic linear hypergraphs
Jul 24, 2025
acyclic network
Jul 24, 2025
Decategorifying multivariable adjunctions
Jul 24, 2025
adjunction - graphical calculus for multivariable adjunctions
Jul 24, 2025
name the adjunction, not its components
Jul 24, 2025
Polycategory of multivariable adjunctions
Jul 24, 2025
pseudomonoids of multivariable adjunctions are closed categories
Jul 24, 2025
reducing an adjunction
Jul 24, 2025
Sliced left adjoint
Jul 24, 2025
The 2-Polycategorical structure of multivariable adjoints
Jul 24, 2025
Adjunction
Jul 24, 2025
algebra for a monad
Jul 24, 2025
Algebra for a multicategory
Jul 24, 2025
Algebra of partial and copartial
Jul 24, 2025
algebra over a multicategory
Jul 24, 2025
algebra
Jul 24, 2025
algebras for premonoidal categories
Jul 24, 2025
algebras of splice are promonads
Jul 24, 2025
almost-sure equality
Jul 24, 2025
analytic functions in coinductive form
Jul 24, 2025
apxproof latex package
Jul 24, 2025
arbitrary morphisms do not imply bisimulation
Jul 24, 2025
arrow category - freyd monoid
Jul 24, 2025
funny tensor of the arrow category
Jul 24, 2025
arrow category is monoidal
Jul 24, 2025
arrow category
Jul 24, 2025
arrow notation
- do-notation
- arrow-notation
Jul 24, 2025
associativity for a normal duoidally enriched multicategory
Jul 24, 2025
associativity for normal opduoidally enriched multicategories
Jul 24, 2025
Automata as functors
Jul 24, 2025
Axioms of a message theory
Jul 24, 2025
Bicategories of processes and lax dinaturality
Jul 24, 2025
bicategory of bimodular automata
Jul 24, 2025
Bicategory
Jul 24, 2025
bimodular automata
Jul 24, 2025
bimodular tambara
Jul 24, 2025
bisimulation in string diagrams
Jul 24, 2025
Bisimulation
- index
Jul 24, 2025
braided monoidal category
Jul 24, 2025
bubble language
Jul 24, 2025
calculational proofs
Jul 24, 2025
caps are discarded comparisons
Jul 24, 2025
Cartesian Categories and comonoids
Jul 24, 2025
Cartesian categories are monoidal categories
Jul 24, 2025
cartesian reverse differential category
Jul 24, 2025
categorical cut-elimination
Jul 24, 2025
categorical logic
Jul 24, 2025
categorical quantum mechanics
Jul 24, 2025
category of dyck walks
Jul 24, 2025
category theory
- index
Jul 24, 2025
causal functions in graded comonoids
- graded-coalgebra
- causal-function
Jul 24, 2025
causal morphisms
- note
Jul 24, 2025
causality and message passing
Jul 24, 2025
choosing a random stream
Jul 24, 2025
closed categories the star-autonomous way
Jul 24, 2025
Closed monoidal category
Jul 24, 2025
Coalgebra of the real interval
Jul 24, 2025
Coalgebra
Jul 24, 2025
cocommutative hypergraph labeled over a multigraph
Jul 24, 2025
cocommutative hypergraph
Jul 24, 2025
Cofunctor
Jul 24, 2025
coinductive Brownian motion
Jul 24, 2025
coinductive analysis
Jul 24, 2025
coinductive streams
- monoidal-streams
Jul 24, 2025
coinductively picking a random stream
Jul 24, 2025
combinatorial species
Jul 24, 2025
commuting tensor of effectful categories
Jul 24, 2025
comomonoid
Jul 24, 2025
Compact object
Jul 24, 2025
complementary frobenius algebras
Jul 24, 2025
complete semilattices
Jul 24, 2025
Components of the monoidal bicategory of profunctors
Jul 24, 2025
composing profunctors
Jul 24, 2025
compositional algebra
Jul 24, 2025
Compositional dependencies with duoidals
Jul 24, 2025
computational indistinguishability
Jul 24, 2025
comulticategory
Jul 24, 2025
conditional causal functions
Jul 24, 2025
conditional composition in a Kleisli category
Jul 24, 2025
conditional composition
Jul 24, 2025
conditionals are almost surely total
Jul 24, 2025
conditionals are unique up to ranges
- markov-category
- monoidal-streams
Jul 24, 2025
conditionals of a composition
- markov-category
Jul 24, 2025
conditionals of a family
- markov-category
- monoidal-streams
Jul 24, 2025
conditionals of a signature are not enough
Jul 24, 2025
conditionals on multigraph based networks
- markov-category
Jul 24, 2025
confinal functor
Jul 24, 2025
congruence
Jul 24, 2025
constructive proof of the Chomsky-Schutzenberger representation theorem
Jul 24, 2025
context-free language
Jul 24, 2025
context-free monoidal language
Jul 24, 2025
contour rule translation
Jul 24, 2025
contour splice for graphs
Jul 24, 2025
convolution product and inverse of streams
Jul 24, 2025
copartial functions
Jul 24, 2025
copy and discard functor
Jul 24, 2025
copy and discard monad
Jul 24, 2025
copy functors have split merge
Jul 24, 2025
copy-dependencies
Jul 24, 2025
copy-discard arrow notation
Jul 24, 2025
copy-discard categories are a synthetic theory of information flow
Jul 24, 2025
copy-discard do notation
Jul 24, 2025
copy-discard multicategory
- copy-discard
- markov-category
Jul 24, 2025
copy-discard normal duoidal category
Jul 24, 2025
copy-discard signature
Jul 24, 2025
copy-discard-compare category
Jul 24, 2025
Copyable and discardable Freyd categories
Jul 24, 2025
copyable monad
Jul 24, 2025
crude monadicity theorem
Jul 24, 2025
decision theory
Jul 24, 2025
dependency order in string diagrams
Jul 24, 2025
deterministic and total morphisms
Jul 24, 2025
device category
Jul 24, 2025
device functor
Jul 24, 2025
dialogue category
Jul 24, 2025
Dg-category
Jul 24, 2025
dinaturality for monoidal streams
Jul 24, 2025
Dinaturality
Jul 24, 2025
Directed acyclic open hypergraphs
Jul 24, 2025
directed-complete partial order
Jul 24, 2025
Discrete partial Markov category
- markov-category
Jul 24, 2025
disintegration
Jul 24, 2025
displayed category
Jul 24, 2025
Building distributions that are marginally independent of the parameter
Jul 24, 2025
distributive Markov category
- markov-category
Jul 24, 2025
distributive Petri net
Jul 24, 2025
distributive categories are not linearly distributive
Jul 24, 2025
distributive law comonad-monad
Jul 24, 2025
distributive law monad-comonad
Jul 24, 2025
distributive law of promonads
- promonad
Jul 24, 2025
distributive law of strong promonads
Jul 24, 2025
distributive quiver
Jul 24, 2025
divergence on a Markov category
Jul 24, 2025
do not refer to forthcoming work
Jul 24, 2025
do not write pedantically
Jul 24, 2025
Do-notation composition
Jul 24, 2025
Quotienting Do-notation
- do-notation
Jul 24, 2025
Derivations in Do-notation
Jul 24, 2025
do-notation for Freyd categories
- do-notation
Jul 24, 2025
do-notation - theory of copy-discard-compare categories
Jul 24, 2025
Do-notation in type theory
Jul 24, 2025
do-notation for copy-discard-compare categories
- do-notation
Jul 24, 2025
do-notation substitution
Jul 24, 2025
double category
Jul 24, 2025
double graphs
Jul 24, 2025
double signatures
Jul 24, 2025
drawing a duoid
Jul 24, 2025
drawing universal modules
Jul 24, 2025
Duality in a physical monoidal multicategory
Jul 24, 2025
Duality
Jul 24, 2025
Duoid
Jul 24, 2025
duoid graded monoidal category
Jul 24, 2025
duoid-graded monoidal monad
Jul 24, 2025
duoidal action
Jul 24, 2025
duoidal category of graded objects
- duoidal-category
Jul 24, 2025
Duoidal category
Jul 24, 2025
Normalization of a duoidal category
Jul 24, 2025
duoidal strings - normal duoid in a normal duoidal
Jul 24, 2025
physical duoidal signature
Jul 24, 2025
duoidal strings - physical duoidal string diagrams
Jul 24, 2025
duoidal strings - posetal hypergraph
Jul 24, 2025
duoidal strings - string diagrams form a physical duoidal category
Jul 24, 2025
duoidal strings
Jul 24, 2025
duoidally graded monoidal category
Jul 24, 2025
Duomulticategory
Jul 24, 2025
Effect algebra
Jul 24, 2025
effectful Mealy machine
Jul 24, 2025
effectful Mealy machines form a effectful 2-category
Jul 24, 2025
effectful categories are pseudomonoids in a monoidal bicategory of promonads
Jul 24, 2025
effectful category of sessions over a symmetric monoidal category
Jul 24, 2025
effectful copy-discard category
Jul 24, 2025
effectful copy-discard do-notation
Jul 24, 2025
effectful machine bisimilarity
Jul 24, 2025
effectful multicategory
Jul 24, 2025
effectful streams
- monoidal-streams
Jul 24, 2025
effectful transition systems in do-notation
Jul 24, 2025
Effectus
Jul 24, 2025
efficient sequence of finite sets
Jul 24, 2025
either-or-both in subdistributions
Jul 24, 2025
encoding of polar shuffles
Jul 24, 2025
enrichment on a premonoidal category
Jul 24, 2025
environment structure
Jul 24, 2025
esterel abro example
Jul 24, 2025
evidential versus causal decision theory
Jul 24, 2025
exact inference in discrete probability
Jul 24, 2025
example of regular monoidal grammar
Jul 24, 2025
examples of the Chomsky-Schutzenberger representation theorem
Jul 24, 2025
experiments on continuous exact observations
Jul 24, 2025
Exponential symmetric monoidal category
Jul 24, 2025
expressible poset
Jul 24, 2025
Kleisli triple
Jul 24, 2025
extension system for strong monads
Jul 24, 2025
Faithful cartesian club
Jul 24, 2025
finitary functor
Jul 24, 2025
finitary monad
Jul 24, 2025
focus-on-a-few-crucial-goals
- productivity
Jul 24, 2025
formal 2-adjunction
Jul 24, 2025
formal category theory
Jul 24, 2025
Free monoid
Jul 24, 2025
generalized element
Jul 24, 2025
graded coalgebra on a graded monad
Jul 24, 2025
graded coalgebra
Jul 24, 2025
graded comonad of paths
Jul 24, 2025
graded comonad
- graded-coalgebra
Jul 24, 2025
graded comonoid
- duoidal-category
Jul 24, 2025
graded distribution monad
Jul 24, 2025
graded list monad
Jul 24, 2025
graded monad on a monoid
Jul 24, 2025
graded reader comonad
Jul 24, 2025
grading
Jul 24, 2025
graphical linear algebra
Jul 24, 2025
graphical programming languages deserve formal semantics
Jul 24, 2025
handwritten fraktur
Jul 24, 2025
hom is the identity profunctor
Jul 24, 2025
hom-monoid in a closed duoidal
Jul 24, 2025
homomorphism of strong promonads
Jul 24, 2025
hypergraph
Jul 24, 2025
ideal on a measurable space
Jul 24, 2025
idempotent monad
Jul 24, 2025
initial monad algebras are not fixpoints
Jul 24, 2025
insurance against the XOR blackmail
Jul 24, 2025
Interchange law
Jul 24, 2025
internal language
Jul 24, 2025
internal languages for probabilistic programming
Jul 24, 2025
intersection of ULF automata
Jul 24, 2025
intervals are subterms
Jul 24, 2025
isolated stream dinaturality
Jul 24, 2025
kappa-term relation algebra
Jul 24, 2025
labelled multigraph
Jul 24, 2025
labelled network
Jul 24, 2025
lax monoid
Jul 24, 2025
lax monoidal categories are lax monoids in the monoidal bicategory of categories
Jul 24, 2025
lax monoidal category
Jul 24, 2025
Lax pseudofrobenius algebra
Jul 24, 2025
linearly distributive category
Jul 24, 2025
Loose monoid in a double category
Jul 24, 2025
machines and streams
Jul 24, 2025
Malleable multicategories are promonoidal
Jul 24, 2025
Malleable multicategory
Jul 24, 2025
marginal
Jul 24, 2025
conditionals using do-notation
- markov-category
Jul 24, 2025
mathematical author order
Jul 24, 2025
measurable space
Jul 24, 2025
memoizing functor
Jul 24, 2025
message passing
Jul 24, 2025
Message theory
Jul 24, 2025
Mixing normal duoidals
Jul 24, 2025
monad graded coalgebra
Jul 24, 2025
monadicity theorem
Jul 24, 2025
monoid action on the runtime
Jul 24, 2025
monoid in a premonoidal category
Jul 24, 2025
Monoid theorist
Jul 24, 2025
monoidal 2-category
Jul 24, 2025
monoidal Chomsky-Schutzenberger representation theorem
Jul 24, 2025
Monoidal Mealy machines
Jul 24, 2025
monoidal bicategory of monoidal transition systems
Jul 24, 2025
monoidal bicategory of spans
Jul 24, 2025
Monoidal category
Jul 24, 2025
monoidal context free grammar by diagrams
Jul 24, 2025
monoidal context-free to monoidal regular
Jul 24, 2025
iteration, bisimulation, automata
Jul 24, 2025
Monoidal monad
Jul 24, 2025
monoidal natural transformation
Jul 24, 2025
Monoidal profunctor
Jul 24, 2025
monoidal promonad
Jul 24, 2025
monoidal streams
- monoidal-streams
Jul 24, 2025
Monoidal width as a duoidal functor
Jul 24, 2025
monoidally graded category
Jul 24, 2025
Monoids and promonoids
Jul 24, 2025
motivating message theories
Jul 24, 2025
multicategories are lax monoids in the monoidal bicategory of spans
Jul 24, 2025
multicategory of raw optics
Jul 24, 2025
Multinatural transformation
Jul 24, 2025
multiset updates
Jul 24, 2025
Multivariable adjunction
Jul 24, 2025
naive message theory
Jul 24, 2025
naturality of swaps in shuffles
Jul 24, 2025
negligibility space
Jul 24, 2025
network
Jul 24, 2025
networks for some decision puzzles
Jul 24, 2025
nominal techniques
Jul 24, 2025
non-associative category
Jul 24, 2025
non-deterministic automaton
Jul 24, 2025
non-deterministic finite state automaton over a category
Jul 24, 2025
normal distributive signature
Jul 24, 2025
Normal duoidal category
Jul 24, 2025
normal duoidally enriched multicategory
Jul 24, 2025
normalisations are almost surely idempotent
Jul 24, 2025
normalization fails r4 in subdistributions
Jul 24, 2025
normalization of a composition
Jul 24, 2025
normalization of contour of a seqpar signature
Jul 24, 2025
notation for marginal composition
Jul 24, 2025
nutrition
- note
Jul 24, 2025
omega-continuous functors have terminal coalgebras
Jul 24, 2025
open bayesian networks
Jul 24, 2025
Open diagrams appear
Jul 24, 2025
Open diagrams are pointed profunctors
Jul 24, 2025
open network
- network
Jul 24, 2025
open problems
Jul 24, 2025
optical contour
Jul 24, 2025
optics
Jul 24, 2025
overwriter semimonad
Jul 24, 2025
paradox of the absentminded driver
Jul 24, 2025
Bayes update on subdistributions
Jul 24, 2025
quasitotal preorder gives a monoidal enrichment
Jul 24, 2025
quasitotal preorder
Jul 24, 2025
partial control flow is still not traced
Jul 24, 2025
partial function
Jul 24, 2025
partial leaf functions
Jul 24, 2025
partial range
Jul 24, 2025
philosophy of linear foundations
Jul 24, 2025
physical duoidal categories are seq-spacial
Jul 24, 2025
physical duoidal category
Jul 24, 2025
Normal monoidal multicategories induce message structures
Jul 24, 2025
physical tensor
Jul 24, 2025
pinwheel double categories
Jul 24, 2025
plotting heatmaps in Haskell
Jul 24, 2025
pointed sets
Jul 24, 2025
polar dependences
Jul 24, 2025
polar shuffle, bijection based definition
Jul 24, 2025
Polar shuffles
Jul 24, 2025
polar shuffles - backtrack counting
- polar-shuffle
Jul 24, 2025
polar shuffles - variable notation - tensor and unit
- polar-shuffle
Jul 24, 2025
polar shuffles form a monoidal multicategory
Jul 24, 2025
polar shuffles form a multicategory
Jul 24, 2025
polarization on a physical monoidal multicategory
Jul 24, 2025
Malleable polycategory
Jul 24, 2025
Polycategorical splice
Jul 24, 2025
Star-polycategory
Jul 24, 2025
polycategory
Jul 24, 2025
Polygraph
Jul 24, 2025
poset shapes
Jul 24, 2025
posets in duoidals
Jul 24, 2025
predicate envelope of a partial Markov category
Jul 24, 2025
premonoidal categories are monoidal categories without the interchange law
Jul 24, 2025
premonoidal category
Jul 24, 2025
premonoidal functors should not preserve centrality
Jul 24, 2025
premonoidally traced categories
Jul 24, 2025
premulticategory
Jul 24, 2025
pressing buttons in coalgebra
Jul 24, 2025
pro or not, strong or not
Jul 24, 2025
probabilistic programming
Jul 24, 2025
Probability
Jul 24, 2025
coherence for physical duoidal categories
Jul 24, 2025
problem with limits on intensional streams
Jul 24, 2025
Process theory
Jul 24, 2025
produoidal category
Jul 24, 2025
Normalization of a produoidal
Jul 24, 2025
profunctor composition is associative
Jul 24, 2025
profunctor natural transformation
Jul 24, 2025
profunctor
Jul 24, 2025
promodule
Jul 24, 2025
promonad natural transformation
Jul 24, 2025
promonoidal functor
Jul 24, 2025
Promonoidals induce coherent multicategories
Jul 24, 2025
properties of normal weakening
Jul 24, 2025
Pseudomonoid
Jul 24, 2025
punctuation on mathematical formulas
Jul 24, 2025
qm-am inequality from Cauchy-Schwartz
Jul 24, 2025
qm-am inequality in partial markov categories
- markov-category
Jul 24, 2025
quantum key distribution is secure
Jul 24, 2025
quotient to hypergraph
Jul 24, 2025
quotients and relations
Jul 24, 2025
random walk graded coalgebra
Jul 24, 2025
rational intervals as a graded coalgebra
Jul 24, 2025
raw optics
Jul 24, 2025
reactive programming
Jul 24, 2025
read-only, the blind spot of premonoidal categories
Jul 24, 2025
recursive Markov chains via string diagrams
Jul 24, 2025
reflexive dcpo
Jul 24, 2025
regular grammar
Jul 24, 2025
regular language
Jul 24, 2025
regular monoidal grammar
Jul 24, 2025
regular monoidal language
Jul 24, 2025
restriction in Rel may-must
Jul 24, 2025
runtime enriched category
Jul 24, 2025
seqpar signature
Jul 24, 2025
Session do-notation
Jul 24, 2025
sessions are combs
Jul 24, 2025
sessions form a message theory
Jul 24, 2025
Theory of Shared State
Jul 24, 2025
shuffle product of streams
Jul 24, 2025
shuffle
Jul 24, 2025
shuffles are the free physical monoidal multicategory
Jul 24, 2025
Shuffling monoidal category
Jul 24, 2025
Shuffling words
Jul 24, 2025
Shufflings are deuterorepresentable normal produoidals
Jul 24, 2025
signature
Jul 24, 2025
signed binary digit streams
Jul 24, 2025
simulation equivalence does not imply bisimulation
Jul 24, 2025
solving Death in Damascus
Jul 24, 2025
splice-contour adjunction
Jul 24, 2025
Star-autonomous category
Jul 24, 2025
start-of-a-polar-shuffle
- polar-shuffle
Jul 24, 2025
stochastic bisimulation
Jul 24, 2025
stream
Jul 24, 2025
Strict monoidal category
Jul 24, 2025
strict monoidal multicategory
Jul 24, 2025
strict symmetric monoidal category
Jul 24, 2025
strictifying tricategories
Jul 24, 2025
string diagrams are the internal language of monoidal categories
Jul 24, 2025
string diagrams for bimodular categories
Jul 24, 2025
string diagrams for distributive laws
Jul 24, 2025
string diagrams for ordinary differential equations
Jul 24, 2025
string diagrams over a monoidal graph
Jul 24, 2025
Strong symmetric monoidal functor
Jul 24, 2025
strongly connected component of a graph
- note
Jul 24, 2025
structural conditionals
- markov-category
Jul 24, 2025
surface diagrams for a strong monad
Jul 24, 2025
surface diagrams of interaction laws
Jul 24, 2025
Surjections of automata are quotients
Jul 24, 2025
Symmetric Monoidal Automata
Jul 24, 2025
symmetric monoidal category of points
Jul 24, 2025
symmetric monoidal category with points
Jul 24, 2025
symmetric monoidal category
Jul 24, 2025
symmetric multicategory to commutative multigraph
Jul 24, 2025
Symmetric multicategory
Jul 24, 2025
symmetric multigraph of cliques
Jul 24, 2025
symmetric multigraph
Jul 24, 2025
Sync-minimal lens span
Jul 24, 2025
Synchronous Streams
Jul 24, 2025
syntax for Freyd multicategories
Jul 24, 2025
syntax for dags
Jul 24, 2025
synthetic evidential decision theory
Jul 24, 2025
Tabulator
Jul 24, 2025
temporal modalities as reactive type combinators
Jul 24, 2025
tensor of monoidal categories
Jul 24, 2025
the inverse of an associative multiplication is a coassociative comultiplication
Jul 24, 2025
The normal duoidal category of partial functions
Jul 24, 2025
the probability interval is almost De Morgan
Jul 24, 2025
the problem is not to find an internal language, it is to find a sharp one
Jul 24, 2025
the source of naturality and uniformity in Fox's theorem
Jul 24, 2025
the theory of commutative comonoids is a monoid
Jul 24, 2025
theory of convex semilattices
Jul 24, 2025
theory of diagrams with holes
Jul 24, 2025
these tensor
Jul 24, 2025
three Covid tests
Jul 24, 2025
three prisoners problem
Jul 24, 2025
three syntaxes for decision puzzles
Jul 24, 2025
tilted bicategory signature
Jul 24, 2025
trace equivalence versus bisimulation
Jul 24, 2025
traced monoidal category
Jul 24, 2025
traced premonoidal category
Jul 24, 2025
Transformation of cliques
Jul 24, 2025
transition system
Jul 24, 2025
Traversables
- index
Jul 24, 2025
Tricategory
Jul 24, 2025
two operations on streams
Jul 24, 2025
two styles for monoidal streams
Jul 24, 2025
Type theory for a strong monoidal endofunctor
Jul 24, 2025
Unbiased premonoidal category
- note
Jul 24, 2025
underlying category of a multicategory
Jul 24, 2025
underlying polyquiver of a monoidal category
Jul 24, 2025
Uniform copy delete
Jul 24, 2025
uniform pointed feedback
Jul 24, 2025
uniform trace
Jul 24, 2025
unique lifting of factorizations
Jul 24, 2025
unique liftings and freeness
Jul 24, 2025
unit of the polyquiver-monoidal adjunction
Jul 24, 2025
values and computation
Jul 24, 2025
verifying probabilistic code from ChatGPT in observe
Jul 24, 2025
verifying probabilistic code from ChatGPT
Jul 24, 2025
versions of Fox's theorem
Jul 24, 2025
visible symmetric monoidal category
Jul 24, 2025
walking commutative monoid
Jul 24, 2025
wedge sum of pointed sets
Jul 24, 2025
why is automata trace universal
Jul 24, 2025
latex - writing a type theory
Jul 24, 2025
parallel and sequential prime posets
Jul 24, 2025
prime posets are singletons
Jul 24, 2025
tensor of expressible posets
Jul 24, 2025
zetless - unrelation connected by sequential primality
Jul 24, 2025
zetless - connect by cospans
Jul 24, 2025
zetless poset
Jul 24, 2025
zetless posets have a unique expression

GitHub
ArXiv
OrcID

Explorer

Folder: notes