1 problem

0 votes0 replies0 views
The comparison between cartesian enriched theories and quantitative algebraic theories
Let $\vV$ -theories be the enriched theories considered in the paper. A $\vV$ -theory is cartesian when it is equipped with natural copy and discard structure. Comparison conjecture.…
Conjectureopencategorical-probability enriched-categories quantitative-informationarXiv posted 2 days ago

The comparison between cartesian enriched theories and quantitative algebraic theories