In mathematics, the free category or path category generated by a directed graph or quiver is the category that results from freely concatenating arrows...

Look up category in Wiktionary, the free dictionary. Category, plural categories, may refer to: Classification, the general act of allocating things to...

In mathematics, a monoidal category (or tensor category) is a category C {\displaystyle \mathbf {C} } equipped with a bifunctor ⊗ : C × C → C {\displaystyle...

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

In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked...

Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the...

forgetful functor from Cat (the category of categories) to Quiv (the category of multidigraphs). Its left adjoint is a free functor which, from a quiver...

yields the pushout in the category of R-modules for any ring R. In the category of groups, the pushout is called the free product with amalgamation....

In category theory, a Kleisli category is a category naturally associated to any monad T. It is equivalent to the category of free T-algebras. The Kleisli...

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