Tootfinder

citeseer: CiteSeer citations (2014)
Citations among papers indexed by the CiteSeer digital library. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) Self-loops may be present.
This network has 384413 nodes and 1751463 edges.
Tags: Informational, Citation, Unweighted

All cars are privacy violations on wheels.
https://foundation.mozilla.org/en/privacynotincluded/articles/its-official-cars-are-the-worst-product-category-we-have-ever-reviewed-for-pri…

*Privacy Not Included: A Buyer’s Guide for Connected Products
All 25 car brands we researched earned our *Privacy Not Included warning label – making cars the worst category of products that we have ever reviewed

A Topologically Enriched Probability Monad on the Cartesian Closed Category of CGWH Spaces
Peter Kristel, Benedikt Peterseim
https://arxiv.org/abs/2404.08430

A Topologically Enriched Probability Monad on the Cartesian Closed Category of CGWH Spaces
Probability monads on categories of topological spaces are classical objects of study in the categorical approach to probability theory. We construct a probability monad on the category of compactly generated weakly Hausdorff (CGWH) spaces, a (if not the) standard choice of convenient category of topological spaces. Because a novel version of the Riesz representation theorem plays a fundamental role in our construction, we name it the Riesz probability monad. We show that the Riesz probability …

ViCAR: Visualizing Categories with Automated Rewriting in Coq
Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand
https://arxiv.org/abs/2404.08163

ViCAR: Visualizing Categories with Automated Rewriting in Coq
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with their own verification projects. Upon verifying relevant coherence conditions, ViCAR gives a set of lemmas and tactics for manipulating categorical structures. We also provide a visualizer that can display any composition and tensor product of morphisms as a string diagram, showing its categorical structure. This enabl…

Reflexivity and Hochschild Cohomology
Isambard Goodbody
https://arxiv.org/abs/2403.09299 https://arxiv.org/pdf/2403.09299

Reflexivity and Hochschild Cohomology
Reflexive DG-categories were defined by Kuznetsov and Shinder as generalisations of smooth and proper DG-categories. Over a perfect field, they include all projective schemes and finite dimensional algebras. Smooth and proper DG-categories are the dualizable objects in the symmetric monoidal category of DG-categories localised at Morita equivalences. We show the reflexive DG-categories are the reflexive objects in this monoidal category. Using this perspective we prove that the Hochschild cohom…

Smart Radiator Valves Video - Manchester Carbon Co-op 2020 webinar Radbot video clip. #cutCarbon #Radbot #TRV -

Smart Radiator Valves Video
Manchester Carbon Co-op 2020 webinar Radbot video clip. #cutCarbon #Radbot #TRV

citeseer: CiteSeer citations (2014)
Citations among papers indexed by the CiteSeer digital library. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) Self-loops may be present.
This network has 384413 nodes and 1751463 edges.
Tags: Informational, Citation, Unweighted

This https://arxiv.org/abs/2401.14059 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Functors induced by comma categories
The purpose of category theory is to provide a collective description of many arrangements in mathematics, such as topological space, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the collection is provided by its associated left or right slice. The assignment of slices to objects extends to a functor from the base category, into the category of categories. We extend this observation to a more general situation of two categories…

citeseer: CiteSeer citations (2014)
Citations among papers indexed by the CiteSeer digital library. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) Self-loops may be present.
This network has 384413 nodes and 1751463 edges.
Tags: Informational, Citation, Unweighted

Costability of Comodules
Fei Yu Chen
https://arxiv.org/abs/2404.08082 https://arxiv.org/pdf/2404.08082…

Costability of Comodules
Given a ring $R$, we have a classical result stating that the ordinary category of modules is the abelianization of the category of $R$-algebras. Analogously, using the framework of infinity categories and higher algebra, Francis showed that the infinity category of $R$-modules is the {\em stabilization} of the infinity category of $R$-algebras. In this work we show a dual result for coalgebras over a cooperad $Q$: namely that given a coalgebra $C$, comodules over $C$ are the costabilization of…