English
Related papers

Related papers: Pro-equivalences of diagrams

200 papers

Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…

Logic in Computer Science · Computer Science 2019-03-14 Pierre-Louis Curien , Samuel Mimram

We investigate geometric properties of homogeneous parabolic geometries with generalized symmetries. We show that they can be reduced to a simpler geometric structures and interpret them explicitly. For specific types of parabolic…

Differential Geometry · Mathematics 2016-08-10 Jan Gregorovič , Lenka Zalabová

In this paper, we describe the structure of shape derivatives around sets which are only assumed to be of finite perimeter in $\R^N$. This structure allows us to define a useful notion of positivity of the shape derivative and we show it…

Optimization and Control · Mathematics 2007-05-23 Jimmy Lamboley , Michel Pierre

This article describes a natural piecewise Euclidean bi-simplicial cell structure for the space of $n$-element multisets in a fixed Euclidean rectangle. In particular, we highlight some connections with spaces of complex polynomials and…

Combinatorics · Mathematics 2026-04-17 Michael Dougherty , Jon McCammond

We develop a category-theoretic criterion for determining the equivalence of causal models having different but homomorphic directed acyclic graphs over discrete variables. Following Jacobs et al. (2019), we define a causal model as a…

Machine Learning · Computer Science 2022-01-19 Jun Otsuka , Hayato Saigo

This paper is an introduction to the use of perverse sheaves with positive characteristic coefficients in modular representation theory. In the first part, we survey results relating singularities in finite and affine Schubert varieties and…

Representation Theory · Mathematics 2014-10-07 Daniel Juteau , Carl Mautner , Geordie Williamson

This paper introduces a new graph construction, the permutational power of a graph, whose adjacency matrix is obtained by the composition of a permutation matrix with the adjacency matrix of the graph. It is shown that this construction…

Combinatorics · Mathematics 2019-10-29 Matteo Cavaleri , Daniele D'Angeli , Alfredo Donno

Symmetry plays a major role in subgraph matching both in the description of the graphs in question and in how it confounds the search process. This work addresses how to quantify these effects and how to use symmetries to increase the…

Data Structures and Algorithms · Computer Science 2023-01-10 Dominic Yang , Yurun Ge , Thien Nguyen , Jacob Moorman , Denali Molitor , Andrea Bertozzi

The main approach to defining equivalence among acyclic directed causal graphical models is based on the conditional independence relationships in the distributions that the causal models can generate, in terms of the Markov equivalence.…

Machine Learning · Computer Science 2020-07-03 AmirEmad Ghassami , Alan Yang , Negar Kiyavash , Kun Zhang

The arrows of a category are elements of particular sets, the hom-sets. These sets are functorial, and their functoriality specifies how to compose the arrows with other arrows of the same category. In particular, it allows to form…

Category Theory · Mathematics 2024-10-22 Paolo Perrone

Transversal structures (also known as regular edge labelings) are combinatorial structures defined over 4-connected plane triangulations with quadrangular outer-face. They have been intensively studied and used for many applications…

Discrete Mathematics · Computer Science 2017-07-27 Nicolas Bonichon , Benjamin Lévêque

We give a simple geometric explanation for the similarity transformation mapping one-dimensional conformal mechanics to free-particle system. Namely, we show that this transformation corresponds to the inversion of the Klein model of…

High Energy Physics - Theory · Physics 2009-02-16 Tigran Hakobyan , Armen Nersessian

We give a characterization of the sets of objects of the derived category of a block of a finite group algebra (or other symmetric algebra) that occur as the set of images of simple modules under an equivalence of derived categories. We…

Representation Theory · Mathematics 2007-05-23 Jeremy Rickard

We give a new construction of the Joyal model structure on the category of simplicial sets, and we provide a simple characterization of the fibrations in it. We characterize the inner anodyne maps in terms of categorical equivalences and…

Algebraic Topology · Mathematics 2018-10-15 Danny Stevenson

A model describing cell membranes as optimal shapes with regard to the $L^2$-deficit of their mean curvature to a given constant called spontaneous curvature is considered. It is shown that the corresponding energy functional is lower…

Differential Geometry · Mathematics 2023-11-01 Christian Scharrer

In this work, we translate at the level of decorated trees some of the crucial arguments which have been used in arXiv:2112.10739 for proposing a diagram-free approach for the convergence of the model in Regularity Structures. This allows…

Probability · Mathematics 2023-10-05 Yvain Bruned , Usama Nadeem

This article presents a novel approach to construct a model category structure designed to model the homotopy theory of spaces equipped with an action by the group $C_2$, where morphisms are considered to be isovariant. Our methodology…

Algebraic Topology · Mathematics 2023-12-14 Santiago Toro Oquendo

This paper considers the problem of defining distributions over graphical structures. We propose an extension of the hyper Markov properties of Dawid and Lauritzen [Ann. Statist. 21 (1993) 1272-1317], which we term structural Markov…

Statistics Theory · Mathematics 2020-04-28 Simon Byrne , A. Philip Dawid

We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of…

Algebraic Geometry · Mathematics 2014-08-12 Jeremiah Heller , Mircea Voineagu , Paul Arne Ostvaer

The contribution of this article is quadruple. It (1) unifies various schemes of premodels/models including situations such as presheaves/sheaves, sheaves/flabby sheaves, prespectra/$\Omega$-spectra, simplicial topological spaces/(complete)…

Category Theory · Mathematics 2017-09-13 Rémy Tuyéras