English
Related papers

Related papers: Explicit Acyclic Models and (Co)Chain Operations

200 papers

In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…

Algebraic Topology · Mathematics 2017-06-02 Ralph M. Kaufmann , Benjamin C. Ward

A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without…

Category Theory · Mathematics 2024-08-07 Masahito Hasegawa , Jean-Simon Pacaud Lemay

We study a family of Lie algebras {hO} which are defined for cyclic operads O. Using his graph homology theory, Kontsevich identified the homology of two of these Lie algebras (corresponding to the Lie and associative operads) with the…

Algebraic Topology · Mathematics 2015-03-19 James Conant , Martin Kassabov , Karen Vogtmann

We study multivariate generalisations of the classical Wiener--Hopf algebra, which is the C$^*$-algebra generated by the Wiener--Hopf operators, given by the convolutions restricted to convex cones. By the work of Muhly and Renault, this…

Operator Algebras · Mathematics 2009-11-05 Alexander Alldridge , Troels Roussau Johansen

We study self-similar groupoid actions on arbitrary directed graphs together with $\mathbb{T}$-valued twists that exhaust the second cohomology group of the associated Zappa-Sz\'ep product category. We define and analyse the associated…

Operator Algebras · Mathematics 2025-11-21 B. K. Kwaśniewski , A. Mundey

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant…

Algebraic Topology · Mathematics 2007-05-23 Martin Markl

In this paper we present the construction of explicit quasi-isomorphisms that compute the cyclic homology and periodic cyclic homology of crossed-product algebras associated with (discrete) group actions. In the first part we deal with…

K-Theory and Homology · Mathematics 2017-09-26 Raphael Ponge

While there has been much interest in adapting conventional clustering procedures---and in higher dimensions, persistent homology methods---to directed networks, little is known about the convergence of such methods. In order to even…

Computational Geometry · Computer Science 2022-12-20 Samir Chowdhury , Facundo Mémoli

A data structure for finite bounded acyclic categories has been built, which is useful to encode and manipulate abstract orientable incidence structure. It can be represented as a directed acyclic multigraph with weighted edges, where the…

Data Structures and Algorithms · Computer Science 2023-07-04 Yu-Wei Huang

The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and…

Algebraic Topology · Mathematics 2022-01-05 Sanjana Agarwal , Maya Banks , Nir Gadish , Dane Miyata

A dg cyclic operad $BVHgraphs$ of hypergraphs is introduced which comes equipped with an explicit quasi-isomorphism $BV\rightarrow BVHgraphs$ from the { cyclic} operad $BV$ of Batalin-Vilkovisky algebras. A proof that the cohomology of…

Algebraic Topology · Mathematics 2026-03-25 Sergei Merkulov

We show a connection between a surgery exact sequence in knot Floer homology and the sequence derived in [18]. As a consequence of this relationship we see that the exact sequence in [18] also works with coherent orientations and admits…

Geometric Topology · Mathematics 2011-02-22 Bijan Sahamie

In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the…

Logic in Computer Science · Computer Science 2017-10-11 Richard Garner , Tom Hirschowitz

We prove a coherence theorem for braided monoidal bicategories and relate it to the coherence theorem for monoidal bicategories. We show how coherence for these structures can be interpretted topologically using up-to-homotopy operad…

Category Theory · Mathematics 2011-02-07 Nick Gurski

An operad (this paper deals with non-symmetric operads)may be conceived as a partial algebra with a family of insertion operations, Gerstenhaber's circle-i products, which satisfy two kinds of associativity, one of them involving…

Category Theory · Mathematics 2015-07-01 Kosta DOSEN , Zoran Petric

We give an axiomatic characterization of maps from algebraic K-theory. The results apply to a class of maps from algebraic K-theory to any suitable cohomology theory or to algebraic K-theory, which includes all group morphisms. In…

K-Theory and Homology · Mathematics 2008-07-24 Elisenda Feliu

This paper is the second one in a series of papers about operations in motivic cohomology. Here we show that in the context of smooth schemes over a field of characteristic zero all the bi-stable operations can be obtained in the usual way…

Algebraic Geometry · Mathematics 2010-02-09 Vladimir Voevodsky

We study Hamiltonian paths and cycles in undirected graphs from an operadic viewpoint. We show that the graphical collection $\mathsf{Ham}$ encoding directed Hamiltonian paths in connected graphs admits an operad-like structure, called a…

Combinatorics · Mathematics 2024-12-30 Denis Lyskov

A new Hopf operad Ram is introduced, which contains both the well-known Poisson operad and the Bessel operad introduced previously by the author. Besides, a structure of cooperad R is introduced on a collection of algebras given by…

Quantum Algebra · Mathematics 2014-10-01 Frederic Chapoton

We investigate operators between spaces of holomorphic functions in several complex variables. Let $G_1, G_2 \subset \mathbb{C}^n$ be cylindrical domains. We construct a canonical map from the space of bounded linear operators…

Functional Analysis · Mathematics 2025-09-24 Maria Trybuła