43,020 research outputs found
Modules as exact functors
We can define a module to be an exact functor on a small abelian category.
This is explained and shown to be equivalent to the usual definition but it
does offer a different perspective, inspired by the notions from model theory
of imaginary sort and interpretation. A number of examples are worked through
Recommended from our members
Category theory : definitions and examples
Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic. In recent years, it has found several applications in computer science, e.g., algebraic specification, type theory, and programming language semantics. In this paper, we collect definitions and examples of the basic concepts in category theory: categories, functors, natural transformations, universal properties, limits, and adjoints
Duality and Lorentzian Kac-Moody Algebras
A review is given of ideas in electromagnetic duality and connections to
integrable field theories with soliton solutions. This leads on to a summary of
recent work on Lorentzian algebras.Comment: 8 pages, Invited talk at Workshop on Integrable Theories, Solitons
and Duality. To appear in JHEP proceeding
Eilenberg Theorems for Free
Eilenberg-type correspondences, relating varieties of languages (e.g. of
finite words, infinite words, or trees) to pseudovarieties of finite algebras,
form the backbone of algebraic language theory. Numerous such correspondences
are known in the literature. We demonstrate that they all arise from the same
recipe: one models languages and the algebras recognizing them by monads on an
algebraic category, and applies a Stone-type duality. Our main contribution is
a variety theorem that covers e.g. Wilke's and Pin's work on
-languages, the variety theorem for cost functions of Daviaud,
Kuperberg, and Pin, and unifies the two previous categorical approaches of
Boja\'nczyk and of Ad\'amek et al. In addition we derive a number of new
results, including an extension of the local variety theorem of Gehrke,
Grigorieff, and Pin from finite to infinite words
- …