English
Related papers

Related papers: Fixed points of adjoint functors enriched in a qua…

200 papers

Little string theories (LSTs) are UV complete non-local 6D theories decoupled from gravity in which there is an intrinsic string scale. In this paper we present a systematic approach to the construction of supersymmetric LSTs via the…

High Energy Physics - Theory · Physics 2019-06-03 Lakshya Bhardwaj , Michele Del Zotto , Jonathan J. Heckman , David R. Morrison , Tom Rudelius , Cumrun Vafa

The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for…

Category Theory · Mathematics 2012-05-25 Stephen Lack , Jiri Rosicky

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

Logic · Mathematics 2018-04-18 Daniel Palacín , Saharon Shelah

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…

Category Theory · Mathematics 2025-03-03 Isaac Bird , Jordan Williamson

A first principles density functional based linear response theory (the so called Density Functional Perturbation theory \cite{dfpt}) has been combined separately with two recently developed formalism for a systematic study of the lattice…

Materials Science · Physics 2013-12-25 Aftab Alam , Subhradip Ghosh , Abhijit Mookerjee

We present a novel method that can learn a graph representation from multivariate data. In our representation, each node represents a cluster of data points and each edge represents the subset-superset relationship between clusters, which…

Machine Learning · Computer Science 2018-12-11 Yuka Yoneda , Mahito Sugiyama , Takashi Washio

In this paper, we introduce the concepts of m-quasiconvex, originally m-quasiconvex,and generalized m-quasiconvex functionals on topological vector spaces. Then we extend the concept of point separable topological vector spaces (by the…

Functional Analysis · Mathematics 2020-12-07 Jinlu Li

The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…

Category Theory · Mathematics 2007-05-23 David Ellerman

The theory of condensed mathematics by Dustin Clausen and Peter Scholze claims that topological spaces should be replaced by the definition of condensed sets. The main purpose of this paper is to investigate in which way the theory of…

Algebraic Topology · Mathematics 2021-05-18 Catrin Mair

Formal Concept Analysis has proven to be an effective method of restructuring complete lattices and various algebraic domains. In this paper, the notions of attribute continuous formal context and continuous formal concept are introduced by…

Logic in Computer Science · Computer Science 2021-03-23 Longchun Wang Lankun Guo , Qingguo Li

Rank functors on a quiver $Q$ are certain additive functors from the category of representations of $Q$ to the category of finite-dimensional vector spaces. Composing with the dimension function on vector spaces gives a rank function on…

Algebraic Geometry · Mathematics 2010-04-20 Ryan Kinser

We study categories whose objects are the braid representations, i.e. strict monoidal functors $F\colon B\rightarrow Mat$ from the braid category $B$ to the category of matrices $Mat$. Braid representations are equivalent to solutions to…

Quantum Algebra · Mathematics 2025-09-24 P. P. Martin , E. C. Rowell , F. Torzewska

We give a description of simple functors taking finitely generated values, from a small additive category to the category of vector spaces over a field. This result is analogous to Steinberg's tensor product theorems in group representation…

Representation Theory · Mathematics 2021-05-05 Aurélien Djament , Antoine Touzé , Christine Vespa

Presented is a novel methodology for determining representational structure, which builds upon the existing Spotlight Resonance method. This new tool is used to gain insight into how discrete representations can emerge and organise in…

Machine Learning · Computer Science 2026-01-27 George Bird

Diers developed a general theory of right multi-adjoint functors leading to a purely categorical, point-set construction of spectra. Situations of multiversal properties return sets of canonical solutions rather than a unique one. In the…

Category Theory · Mathematics 2021-04-27 Axel Osmond

With this paper we hope to contribute to the theory of quantales and quantale-like structures. It considers the notion of $Q$-sup-algebra and shows a representation theorem for such structures generalizing the well-known representation…

Logic · Mathematics 2018-10-24 Jan Paseka , Radek Šlesinger

The theory of recursive functions is related in a well-known way to the notion of *least fixed points*, by endowing a set of partial functions with an ordering in terms of their domain of definition. When terms in the pure lambda-calculus…

Logic · Mathematics 2025-04-29 Joseph Helfer

For groups of a topological origin, such as braid groups and mapping class groups, an important source of interesting and highly non-trivial representations is given by their actions on the twisted homology of associated spaces; these are…

Algebraic Topology · Mathematics 2025-01-07 Martin Palmer , Arthur Soulié

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

Logic · Mathematics 2012-11-06 Francesco Ciraulo , Maria Emilia Maietti , Giovanni Sambin

We postulate the intuitive idea of reducts of fuzzy contexts based on formal concept analysis and rough set theory. For a complete residuated lattice $L$, it is shown that reducts of $L$-contexts in formal concept analysis are…

Logic in Computer Science · Computer Science 2026-01-21 Yuxu Chen , Jing Liu , Lili Shen , Xiaoye Tang