Mario Román

Home

❯

notes

❯

pieces

Folder: notes/pieces

1003 items under this folder.

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

GitHub
ArXiv
OrcID

Explorer

Folder: notes/pieces