Related papers: Iterated traces in 2-categories and Lefschetz theo…

This paper is a continuation of previous work of the author. We use the categorical trace formalism to give a construction of the categorical Jordan decomposition for representations of finite groups of Lie type. As a second application, we…

We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…

We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in Prof, the monoidal bicategory…

To each symmetric graded Frobenius superalgebra we associate a W-algebra. We then define a linear isomorphism between the trace of the Frobenius Heisenberg category and a central reduction of this W-algebra. We conjecture that this is an…

In this article, we discuss the Lefschetz trace formula for an adic space which is separated smooth of finite type but not necessarily proper over an algebraically closed non-archimedean field. Under a certain condition on the absence of…

In this paper, first we show that a central Leibniz 2-algebra naturally gives rise to a solution of the Zamolodchikov Tetrahedron equation. Then we introduce the notion of linear 2-racks and show that a linear 2-rack also gives rise to a…

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the "not later than" relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally…

We derive a formula for the regularized trace of operators with compact spectrum which act on the space of square integrable functions on the quotient of a semisimple Liegroup of real rank one by a convex-cocompact subgroup. The sum of…

We introduce a new notion of recursively generated enriched term which generalizes the one studied in joint work with Rosick\'y. These new terms come together with a notion of term-interpretability, which recovers the same type of…

Pronk's theorem on bicategories of fractions is applied, in almost all cases in the literature, to 2-categories of geometrically presentable stacks on a 1-site. We give an proof that subsumes all previous such results and which is purely…

Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that…

Elmendorf's Theorem states that the category of continuous actions of a topological group is a Grothendieck topos in the sense that it is equivalent to a category of sheaves on a site. This paper offers a 2-dimensional generalization by…

This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax…

In the cluster algebra literature, the notion of a graded cluster algebra has been implicit since the origin of the subject. In this work, we wish to bring this aspect of cluster algebra theory to the foreground and promote its study. We…

We generalize the notion of a modified trace (or m-trace) to the setting of non-unimodular categories. M-traces are known to play an important role in low-dimensional topology and representation theory, as well as in studying the category…

Generalized indefinite strings provide a canonical model for self-adjoint operators with simple spectrum (other classical models are Jacobi matrices, Krein strings and 2x2 canonical systems). We prove a number of Szeg\H{o}-type theorems for…

Trace maps of two-letter substitution rules are investigated with special emphasis on the underlying algebraic structure and on the existence of invariants. We illustrate the results with the generalized Fibonacci chains and show that the…

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…

We develop a theory of umkehr maps for twisted generalized homology theories. In this theory, interesting umkehr maps, including generalizations of important classical ones, are induced by cartesian morphisms of a certain category opfibred…

This paper introduces a novel approach to multi-parameter persistence using 2-categorical structures. We develop a framework that captures hierarchical interactions between filter parameters, overcoming fundamental limitations of…