相关论文: Tannakian categories: origins and summary

We review some approaches and philosophies of causal inference coming from sociology, economics, computer science, cognitive science, and statistics

In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical…

The theory of categories of fractions as originally developed by Gabriel and Zisman is reviewed in a pedagogical manner giving detailed proofs of all statements. A weakening of the category of fractions axioms used by Higson is discussed…

We define natural A_infinity-transformations and construct A_infinity-category of A_infinity-functors. The notion of non-strict units in an A_infinity-category is introduced. The 2-category of (unital) A_infinity-categories, (unital)…

The category of models of any theory $T$ in any first-order language $L$ has the surprising property that any small category that is elementarily equivalent with it, already embeds in it. The proof uses an abstract argument via ultrapowers,…

We give sharp criteria for when a reductive group scheme satisfies Tannakian reconstruction. When the base scheme is Noetherian, we explicitly identify its Tannaka group scheme.

We lay the foundations for a model theoretic study of proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a…

This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids…

We develop semantics and syntax for bicategorical type theory. Bicategorical type theory features contexts, types, terms, and directed reductions between terms. This type theory is naturally interpreted in a class of structured…

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine…

We give a categorical account of Arrow's theorem, a seminal result in social choice theory.

We give an elementary introduction to the theory of triangulated categories covering their axioms, homological algebra in triangulated categories, triangulated subcategories, and Verdier localization. We try to use a minimal set of axioms…

The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of…

We introduce the notion of $\mathbb{E}_\infty$-descendability as well as a derived variant. We prove that several classes of descendable maps of commutative rings are $\mathbb{E}_\infty$-descendable. As an application, we prove a variant of…

We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.

Category theory provides a powerful tool to organize mathematics. A sample of this descriptive power is given by the categorical analysis of the practice of "classes as shorthands" in ZF set theory. In this case category theory provides a…

In this paper we provide an overview of category theory, focussing on applications in physics. The route we follow is motivated by the final goal of understanding anyons and topological QFTs using category theory. This entails introducing…

The main result of this paper is that the categories of (right) hypergroups over the group and of triples, consisting of a group, its subgroup and a (right) transversal to this subgroup, are equivalent.

An origin is often an intriguing issue. It becomes doubly intriguing when the logical form of thinking is considered. In this paper we will investigate exactly that: we will conjecture on the origin of basic instruments of logical thinking.…

A general theory of programs, programming and programming languages built up from a few concepts of elementary set theory. Derives, as theorems, properties treated as axioms by classic approaches to programming. Covers sequential and…