English
Related papers

Related papers: Theta Theory: operads and coloring

200 papers

We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty…

Category Theory · Mathematics 2026-01-28 Dominik Trnka

We explore a scenarios where topcolor-like dynamics operates in the presence of fourth generation matter fields. Using the Minimal Walking Technicolor as a concrete basis for model building, we construct explicit models and confront them…

High Energy Physics - Phenomenology · Physics 2011-02-08 Hidenori S. Fukano , Kimmo Tuominen

We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and…

Logic in Computer Science · Computer Science 2023-06-22 Tadeusz Litak , Dirk Pattinson , Katsuhiko Sano , Lutz Schröder

We define a generalization of (coloured) operads based on double lax functors and we construct a model structure on the associated category of generalized simplicial (coloured) operads. In particular, we obtain a model structure on the…

Algebraic Topology · Mathematics 2026-04-03 Gregoire Marc

We define $\Delta$-equivalence for operator systems and show that it is identical to stable isomorphism. We define $\Delta$-contexts and bihomomorphism contexts and show that two operator systems are $\Delta$-equivalent if and only if they…

Operator Algebras · Mathematics 2026-02-27 George K. Eleftherakis , Evgenios T. A. Kakariadis , Ivan G. Todorov

We introduce the notion of "color rules" for computing class functions of $Z_k \wr S_n$, where $Z_k$ is the cyclic group of order $k$ and $S_n$ is the symmetric group on $n$ letters. Using a general sign-reversing involution and a map of…

Combinatorics · Mathematics 2026-02-25 Fabián Levicán-Santibáñez , Marino Romero

The theory of cellular automata in operational probabilistic theories is developed. We start introducing the composition of infinitely many elementary systems, and then use this notion to define update rules for such infinite composite…

Quantum Physics · Physics 2021-07-09 Paolo Perinotti

We introduce a systematic method for constructing set-theoretic operads via iterated application of the power set functor, and use it to uncover a hierarchy connecting several classical operads. Starting from the permutative operad, the…

Algebraic Topology · Mathematics 2026-05-05 Mathieu Vallée

This paper applies Algorithmic Information Theory to simple examples of replication processes to illustrate how replicating structures can generate and maintain order in a non equilibrium system. Variation in replicating structures enhances…

Adaptation and Self-Organizing Systems · Physics 2008-11-12 Sean D Devine

The production of color language is essential for grounded language generation. Color descriptions have many challenging properties: they can be vague, compositionally complex, and denotationally rich. We present an effective approach to…

Computation and Language · Computer Science 2016-10-19 Will Monroe , Noah D. Goodman , Christopher Potts

Recently, it was proved that triangle-free intersection graphs of $n$ line segments in the plane can have chromatic number as large as $\Theta(\log\log n)$. Essentially the same construction produces $\Theta(\log\log n)$-chromatic…

Computational Geometry · Computer Science 2014-12-30 Tomasz Krawczyk , Arkadiusz Pawlik , Bartosz Walczak

In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…

Algebraic Topology · Mathematics 2018-10-19 Benoit Fresse

Let $A$ be a finite or countable alphabet and let $\theta$ be literal (anti)morphism onto $A^*$ (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under…

Discrete Mathematics · Computer Science 2017-07-28 Jean Néraud , Carla Selmi

We build model structures on the category of equivariant simplicial operads with weak equivalences determined by families of subgroups, in the context of operads with a varying set of colors (and building on the fixed color model structures…

Algebraic Topology · Mathematics 2022-12-21 Peter Bonventre , Luis Alexandre Pereira

Closed-form generating functions for counting one-face rooted hypermaps with a known number of darts by number of vertices and edges is found, using matrix integral expressions relating to the reduced density operator of a bipartite quantum…

Combinatorics · Mathematics 2015-01-28 Jacob P. Dyer

We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…

Mathematical Physics · Physics 2022-04-15 Maxime Savoy

Completeness proofs in categorical semantics usually proceed by building a syntactic category whose composition is given by substitution. For untyped effectful Call-by-Value languages, this runs into a basic obstacle: there is no canonical…

Programming Languages · Computer Science 2026-05-21 Ariel Grunfeld , Liron Cohen

In this article, we deeply reveal the relationship between functions $\theta$ and $\vartheta$ in an overlap function additively generated by an additive generator pair ($\theta$,$\vartheta$). Then we characterize the conditions for an…

Representation Theory · Mathematics 2025-06-10 Li-zhi Liang , Xue-ping Wang

In order to induce a family of mixing patterns of leptons which accommodate the experimental data with a simple mathematical construct, we construct a novel object from the hybrid of two elements of a finite group with a parameter $\theta$.…

High Energy Physics - Phenomenology · Physics 2017-11-07 Shu-jun Rong

We propose Generative Probabilistic Image Colorization, a diffusion-based generative process that trains a sequence of probabilistic models to reverse each step of noise corruption. Given a line-drawing image as input, our method suggests…

Computer Vision and Pattern Recognition · Computer Science 2021-09-30 Chie Furusawa , Shinya Kitaoka , Michael Li , Yuri Odagiri