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

This https://arxiv.org/abs/2401.11752 has been replaced.
link: https://scholar.google.com/scholar?q=a

Univalent Enriched Categories and the Enriched Rezk Completion
Enriched categories are categories whose sets of morphisms are enriched with extra structure. Such categories play a prominent role in the study of higher categories, homotopy theory, and the semantics of programming languages. In this paper, we study univalent enriched categories. We prove that all essentially surjective and fully faithful functors between univalent enriched categories are equivalences, and we show that every enriched category admits a Rezk completion. Finally, we use the Rezk…

This https://arxiv.org/abs/2210.08237 has been replaced.
link: https://scholar.google.com/scholar?q=a

Coderived and contraderived categories of locally presentable abelian DG-categories
The concept of an abelian DG-category, introduced by the first-named author in arXiv:2110.08237, unites the notions of abelian categories and (curved) DG-modules in a common framework. In this paper we consider coderived and contraderived categories in the sense of Becker. Generalizing some constructions and results from the preceding papers by Becker arXiv:1205.4473 and by the present authors arXiv:2101.10797, we define the contraderived category of a locally presentable abelian DG-category $\…

Toward Research Software Categories
Wilhelm Hasselbring, Stephan Druskat, Jan Bernoth, Philine Betker, Michael Felderer, Stephan Ferenz, Anna-Lena Lamprecht, Jan Linxweiler, Bernhard Rumpe
https://arxiv.org/abs/2404.14364

Toward Research Software Categories
Research software has been categorized in different contexts to serve different goals. We start with a look at what research software is, before we discuss the purpose of research software categories. We propose a multi-dimensional categorization of research software. We present a template for characterizing such categories. As selected dimensions, we present our proposed role-based, developer-based, and maturity-based categories. Since our work has been inspired by various previous efforts to …

Thermal Imaging Survey: DIY vs Professional - Learn how a thermal imaging survey can spot real problems. What does it cost? Is a trained operator useful? #thermalImaging #cutCarbon -

Thermal Imaging Survey: DIY vs Professional
Learn how a thermal imaging survey can spot real problems. What does it cost? Is a trained operator useful? #thermalImaging #cutCarbon

Convergence of martingales via enriched dagger categories
Paolo Perrone, Ruben Van Belle
https://arxiv.org/abs/2404.15191 https://arx…

Convergence of martingales via enriched dagger categories
We provide a categorical proof of convergence for martingales and backward martingales in mean, using enriched category theory. The enrichment we use is in topological spaces, with their canonical closed monoidal structure, which encodes a version of pointwise convergence. We work in a topologically enriched dagger category of probability spaces and Markov kernels up to almost sure equality. In this category we can describe conditional expectations exactly as dagger-split idempotent morphisms…

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

Vent-Axia Lo-Carbon Tempra single-room MHRV: Review - Learn how our Tempra MHRV helps keep humidity down in the kitchen and the air fresh, even when drying laundry in winter. #frugal #cutCarbon -

Vent-Axia Lo-Carbon Tempra single-room MHRV: Review
Learn how our Tempra MHRV helps keep humidity down in the kitchen and the air fresh, even when drying laundry in winter. #frugal #cutCarbon

This https://arxiv.org/abs/2403.01651 has been replaced.
link: https://scholar.google.com/scholar?q=a

Dagger $n$-categories
We present a coherent definition of dagger $(\infty,n)$-category in terms of equivariance data trivialized on parts of the category. Our main example is the bordism higher category $\mathbf{Bord}_{n}^X$. This allows us to define a reflection-positive topological quantum field theory to be a higher dagger functor from $\mathbf{Bord}_{n}^X$ to some target higher dagger category $\mathcal{C}$. Our definitions have a tunable parameter: a group $G$ acting on the $(\infty,1)$-category $\mathbf{Cat}_{…

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 68746 nodes and 51971 edges.