Related papers: Tannakian categories: origins and summary
Categorization is a fundamental function of minds, with wide ranging implications for the rest of the cognitive system. In humans, categories are shared and communicated between minds, thus requiring explanations at the population level. In…
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
An algebraic formalism for the study of interacting particle systems is developed. Particle processes are described in terms of the category theory. The problem for the unique description of these processes is discussed. Categories relevant…
In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category…
Starting from the varietal notion of syntactic equivalence relation, we generalized it to a categorical concept; namely Equ-saturating category. We produce various examples and focuse our attention on the protomodular context in which any…
This article provides a brief introductory account of the theory of aperiodic order.
After reviewing the basics, topics in this talk include an attempted survey of theoretical contributions to this workshop, some extra specific comments on quark models, and a summary.
In the late 90s M. V. Nori constructed a category of motives in charakteristic 0. Using a directed graph with a representation into noetherian R-Modules, he defined a universal R-linear abelian category, called diagram category.The…
We generalize first-species counterpoint theory to arbitrary rings and obtain some new counting and maximization results that enrich the theory of admitted successors, pointing to a structural approach, beyond computations. The…
The article is devoted to linear quasigroups and some of their generalizations. In the first part main definitions and notions of the theory of quasigroups are given. In the second part some elementary properties of linear quasigroups and…
The main result of this thesis is the construction of a tannakian context over the category of sup-lattices, associated with an arbitrary Grothendieck topos, and the attainment of new results in tannakian representation theory from it.…
We propose a simple definition of an explanation for the outcome of a classifier based on concepts from causality. We compare it with previously proposed notions of explanation, and study their complexity. We conduct an experimental…
This paper traces the history of compactness from the original motivating questions, through the development of the definition, to a generalization of sequential compactness in terms of nets and filters.
This is a long introduction to the theory of "branch groups": groups acting on rooted trees which exhibit some self-similarity features in their lattice of subgroups.
At the heart of intuitionistic type theory lies an intuitive semantics called the "meaning explanations"; crucially, when meaning explanations are taken as definitive for type theory, the core notion is no longer "proof" but "verification".…
Topological full groups originated from the theory of topological dynamical systems and have been having considerable impact on group theory in recent years. This text represents an introduction/survey on topological full groups. After…
We give an informal introduction to model categories, and treat three important examples in some details: the category of small categories, the category of dg algebras, and the category of small dg categories.
We consider (finitary, propositional) logics through the original use of Category Theory: the study of the "sociology of mathematical objects", aligning us with a recent, and growing, trend of study logics through its relations with other…
A general simplicity problem in category theory is proposed. A particular example, the simplest choice of generators of an algebra is specified and illustrated by an example.
The concept of n-categories and related subject is considered. An n-category is described as an n-graph with a composition. A new definition of operad is presented. Some illustrative examples are given.