Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
Blokirali ste korisnika/cu @AyeGill
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @AyeGill
-
Given a conditional distribution X -> PY (map from X to distributions on Y), and y \in Y, the resulting "Bayesian update" PX -> PX is not a Kleisli map - it does not preserve convex combinations/mixtures of distributions. How should I think about this? Where does this map live?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Arguably most of the really great historical successes in pure math have to do with A, while B is much bigger in applied category theory (where e.g. ZX calculus, one of the big success stories, seems mostly to be about this)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Discussion about the utility of applied category theory made me realzie there are really two distinct "dimensions" of cat. th: A) Describing things by their transformations. (Universal properties) B) Describing things by building them out of simpler things ("Compositionality").
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It may just be functions A × B → [0,\infty), but I'm hoping there's a way of doing this that makes it easier to compare to the regular categories version
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Fill this table (A, B are sets/metric spaces/topological spaces/whatever): Function A → B : Relation between A and B : Function A ← B Stochastic process A → B : ???? : Stochastic process A ← B. Looking for a graphical probabilistic logic similar to the one for relations.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My motivation is coming from metric spaces - I want transitivity of equality to correspond to the triangle inequality. But subterminal objects in cat. of metric spaces are just (Ø, 1), so I guess to model this logic fully you need to combine with some sort of fuzzy set.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Trying to find a good [0,∞]-valued logic (where the implication is >, so 0 is truth), where + is used as conjunction (rather than max). Also looking for good notion of categorical model - topoi can't do this, their logic is contractive (i.e a => a & a, but a < a + a).
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I've written a paper on describing probability theory using category theory, with Tobias Fritz. It can now be found on arXiv: https://arxiv.org/abs/1912.02769
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
What are the properties/structure/data of a morphism A -> B that makes it an "approximation"? Ie i would say that the floor map R -> Z "is an approximation", but not the map sin : R -> [0,1].
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.