Related papers: Categories. Beginning Course (in Russian)

The main concepts of the theory of tensors are presented. The emphasis is on the basic notions of tensor algebra and practical skills in culculations involving the Kronecker delta and Levi-Civita symbol. Sixty routine exercises are…

Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are…

Voevodsky's derived category of motives is the main arena today for the study of algebraic cycles and motivic cohomology. In this paper we study whether the inclusions of three important subcategories of motives have a left or right…

We develop a theory of descent and forms of tensor categories over arbitrary fields. We describe the general scheme of classification of such forms using algebraic and homotopical language, and give examples of explicit classification of…

We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching…

This is a partial derivative of \cite{MR94g:17044}. We give a list of examples/problems that some will find amusing.

Written to be contributed as the "mathematical modeling" chapter of a book, edited by Elaine Landry, to be titled "Categories for the Working Philosopher". In this chapter, category theory is presented as a mathematical modeling framework…

Kolmogorov complexity theory is used to tell what the algorithmic informational content of a string is. It is defined as the length of the shortest program that describes the string. We present a programming language that can be used to…

These are general notes on tensor calculus which can be used as a reference for an introductory course on tensor algebra and calculus. A basic knowledge of calculus and linear algebra with some commonly used mathematical terminology is…

These expanded lecture notes are based on a tutorial on categorical proof theory presented at the summer school associated with the conference "Topology, Algebra, and Categories in Logic 2021-2022." The chapter delves into various…

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…

Tensors or {\em multi-way arrays} are functions of three or more indices $(i,j,k,\cdots)$ -- similar to matrices (two-way arrays), which are functions of two indices $(r,c)$ for (row,column). Tensors have a rich history, stretching over…

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)…

This is a series of short teaching papers dealing with specific topics in a standard first-year undergraduate Physics course. ----- Este texto comp\~oe-se de quatro pequenas notas -- independentes entre si -- em que se discutem alguns…

This is the author's Ph.D. Thesis. It contains results from four years of research into realizability and categorical logic. The main subjects are the axiomatisation of realizable propositions, and a characterization of realizability…

This is the written version of a set of introductory lectures on string theory.

Category theory offers a mathematical foundation for knowledge representation and database systems. Popular existing approaches model a database instance as a functor into the category of sets and functions, or as a 2-functor into the…

This survey article is intended as an introduction to the recent categorical classification theorems of the three authors, restricting to the special case of the category of modules for a finite group.

In these self-contained low prerequisite introductory notes we first present (in part 1) basic concepts of set theory and algebra without explicit category theory. We then present (in part 2) basic category theory involving a somewhat…

Tensors, or multi-linear forms, are important objects in a variety of areas from analytics, to combinatorics, to computational complexity theory. Notions of tensor rank aim to quantify the "complexity" of these forms, and are thus also…