the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities. To investigate the categories of being...

categories. Examples include quotient spaces, direct products, completion, and duality. Many areas of computer science also rely on category theory,...

use of categories. Category Functor Natural transformation Homological algebra Diagram chasing Topos theory Enriched category theory Higher category theory...

Conferences: Applied category theory Symposium on Compositional Structures (SYCO) Books: Picturing Quantum Processes Categories for Quantum Theory An Invitation...

In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms, the kernels...

of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides...

higher category theory, the concept of higher categorical structures, such as (∞-categories), allows for a more robust treatment of homotopy theory, enabling...

In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit...

(PDF), Theory and Applications of Categories, 28: 332–370, arXiv:1209.3606, Bibcode:2012arXiv1209.3606L MacLane, Saunders (1978), Categories for the...

In category theory, a branch of mathematics, a monoid (or monoid object, or internal monoid, or algebra) (M, μ, η) in a monoidal category (C, ⊗, I) is...

In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products...

In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas...

In category theory, a branch of mathematics, duality is a correspondence between the properties of a category C and the dual properties of the opposite...

In category theory and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism...

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic...

concrete categories, such as the category of groups or the category of topological spaces. Category of topological spaces Set theory Small set (category theory)...

In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) is the...

In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures...

In category theory, a branch of mathematics, the image of a morphism is a generalization of the image of a function. Given a category C {\displaystyle...

traditional theory of categories, like linguist Eugenio Coseriu and other proponents of the structural semantics paradigm. In this prototype theory, any given...

Especially for higher categories, the concepts from algebraic topology are also used in the category theory. For that see also glossary of algebraic topology...

In category theory, two categories C and D are isomorphic if there exist functors F : C → D and G : D → C that are mutually inverse to each other, i.e...

Category (disambiguation) Simplicius of Cilicia Padārtha Vaisheshika#The Categories or Padārtha Nyaya#Sixteen categories (padārthas) Smith, Robin 1995 "Logic"...

In category theory, a branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm...

specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms...

prototypical example of an abelian category is the category of abelian groups, Ab. Abelian categories are very stable categories; for example they are...

popularised by Barry Mitchell (1965)'s influential Theory of categories. Cf. e.g., https://blog.juliosong.com/linguistics/mathematics/category-theory-notes-9/...

In category theory, the concept of an element, or a point, generalizes the more usual set theoretic concept of an element of a set to an object of any...

In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two categories that establishes that these categories...

although a category may have many distinct skeletons, any two skeletons are isomorphic as categories, so up to isomorphism of categories, the skeleton of a category...