Related papers: The Euler characteristic of a category
Recent results concerning the topological properties of random geometrical sets have been successfully applied to the study of the morphology of clusters in percolation theory. This approach provides an alternative way of inspecting the…
We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…
Functional analogs of the Euler characteristic and volume together with a new analog of the polar volume are characterized as non-negative, continuous, $\operatorname{SL}(n)$ and translation invariant valuations on the space of finite,…
Magnitude is a canonical invariant of finite metric spaces which has its origins in category theory; it is analogous to cardinality of finite sets. Here, by approximating certain compact subsets of Euclidean space with finite subsets, the…
Clifford theory relates the representation theory of finite groups to those of a fixed normal subgroup by means of induction and restriction, which is an adjoint pair of functors. We generalize this result to the situation of a…
The core arguments used in various proofs of the extremal principle and its extensions as well as in primal and dual characterizations of approximate stationarity and transversality of collections of sets are exposed, analyzed and refined,…
Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…
The Leinster matrix corresponding to a finite category has entries counting the number of morphisms between objects. A first question is to know which positive integer matrices come from at least one finite category. Here, that question…
We express the mean Euler characteristic of a contact structure in terms of the mean indices of closed Reeb orbits for a broad class of contact manifolds, the so-called asymptotically finite contact manifolds. We show that this class is…
This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…
The class of Riemannian orbifolds of dimension n defined by a lower bound on the sectional curvature and the volume and an upper bound on the diameter has only finitely many members up to orbifold homeomorphism. Furthermore, any class of…
We demonstrate the convergence of the characteristic polynomial of several random matrix ensembles to a limiting universal function, at the microscopic scale. The random matrix ensembles we treat are classical compact groups and the…
We prove that a Hom-finite additive category having determined morphisms on both sides is a dualizing variety. This complements a result by Krause. We prove that in a Hom-finite abelian category having Serre duality, a morphism is right…
A conjecture of J. Huh and B. Sturmfels predicts that the sign of the Euler characteristic of a complex very affine variety depends only on the parity of the dimension. The conjecture is true for locally complete intersections. Beyond this…
Generalizing a theorem of Campercholi, we characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of…
We study the Euler characteristic of the real Milnor fibres of a real analytic map, using a relation between complex monodromy and complex conjugation. We deduce the result of Coste and Kurdyka that the Euler characteristic of the link of…
There is a general notion of the magnitude of an enriched category, defined subject to hypotheses. In topological and geometric contexts, magnitude is already known to be closely related to classical invariants such as Euler characteristic…
An algebra is said to be \emph{$\tau$-tilting finite} provided it has only a finite number of $\tau$-rigid objects up to isomorphism. We associate a category to each such algebra. The objects are the wide subcategories of its category of…
We consider a topological integral transform of Bessel (concentric isospectral sets) type and Fourier (hyperplane isospectral sets) type, using the Euler characteristic as a measure. These transforms convert constructible $\zed$-valued…
Many kinds of categorical structure require the existence of finite limits, of colimits of some specified type, and of "exactness" conditions between the finite limits and the specified colimits. Some examples are the notions of regular, or…