free category

noun

A category that is induced by a multidigraph thus: it has as its objects the vertices of the multidigraph and its morphisms are paths in the multidigraph; composition of morphisms is concatenation of paths, as long as the end of one path coincides with the beginning of the other path; an identity morphism of an object is an “empty path” at that vertex.

Meanings

nounfree category (plural free categories)

plural free categories

  1. category theoryA category that is induced by a multidigraph thus: it has as its objects the vertices of the multidigraph and its morphisms are paths in the multidigraph; composition of morphisms is concatenation of paths, as long as the end of one path coincides with the beginning of the other path; an identity morphism of an object is an “empty path” at that vertex.
Cite this entry
APA

free category. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/free%20category

MLA

“free category.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/free%20category. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “free category,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/free%20category.

Source: free category on Wiktionary, CC BY-SA 4.0.