|
Compact Closed Category
In category theory, a branch of mathematics, compact closed categories are a general context for treating dual objects. The idea of a dual object generalizes the more familiar concept of the dual of a finite-dimensional vector space. So, the motivating example of a compact closed category is FdVect, the category having finite-dimensional vector spaces as objects and linear maps as morphisms, with tensor product as the monoidal structure. Another example is Rel, the category having sets as objects and relations as morphisms, with Cartesian monoidal structure. Symmetric compact closed category A symmetric monoidal category (\mathbf,\otimes,I) is compact closed if every object A \in \mathbf C has a dual object. If this holds, the dual object is unique up to canonical isomorphism, and is denoted A^*. In a bit more detail, an object A^* is called the dual of A if it is equipped with two morphisms called the unit \eta_A:I\to A^*\otimes A and the counit \varepsilon_A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, category theory is used in almost all areas of mathematics, and in some areas of computer science. In particular, many constructions of new mathematical objects from previous ones, that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. A category is formed by two sorts of objects: the objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. One often says that a morphism is an ''arrow'' that ''maps'' its source to its target. Morphisms can be ''composed'' if the target of the first morphism equals the source of the second one, and morphism compos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Isomorphism
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσος ''isos'' "equal", and μορφή ''morphe'' "form" or "shape". The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may be identified. In mathematical jargon, one says that two objects are . An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a canonical isomorphism (a canonical map that is an isomorphism) if there is only one isomorphism between the two structures (as it is the case for solutions of a univers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Autonomous Category
In mathematics, an autonomous category is a monoidal category where dual objects exist. Definition A ''left'' (resp. ''right'') ''autonomous category'' is a monoidal category where every object has a left (resp. right) dual. An ''autonomous category'' is a monoidal category where every object has both a left and a right dual. Rigid category is a synonym for autonomous category. In a symmetric monoidal category, the existence of left duals is equivalent to the existence of right duals, categories of this kind are called (symmetric) compact closed categories. In categorial grammars, categories which are both left and right rigid are often called pregroups, and are employed in Lambek calculus, a non-symmetric extension of linear logic Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Category
In category theory, a branch of mathematics, a closed category is a special kind of category. In a locally small category, the ''external hom'' (''x'', ''y'') maps a pair of objects to a set of morphisms. So in the category of sets, this is an object of the category itself. In the same vein, in a closed category, the (object of) morphisms from one object to another can be seen as lying inside the category. This is the ''internal hom'' 'x'', ''y'' Every closed category has a forgetful functor to the category of sets, which in particular takes the internal hom to the external hom. Definition A closed category can be defined as a category \mathcal with a so-called internal Hom functor : \left \ -\right: \mathcal^ \times \mathcal \to \mathcal with left Yoneda arrows : L : \left \ C\right\to \left left[A\ B\right\left[A\ C\right">\_B\right.html" ;"title="left[A\ B\right">left[A\ B\right\left[A\ C\rightright] natural transformation, natural in B and C and dinatural transformation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoidal Closed Category
In mathematics, especially in category theory, a closed monoidal category (or a ''monoidal closed category'') is a category (mathematics), category that is both a monoidal category and a closed category in such a way that the structures are compatible. A classic example is the category of sets, Set, where the monoidal product of sets A and B is the usual cartesian product A \times B, and the internal Hom B^A is the set of function (mathematics), functions from A to B. A non-Cartesian monoidal category, cartesian example is the category of vector spaces, ''K''-Vect, over a field (mathematics), field K. Here the monoidal product is the usual tensor product of vector spaces, and the internal Hom is the vector space of linear maps from one vector space to another. The internal language of closed symmetric monoidal categories is linear logic and the type system is the linear type system. Many examples of closed monoidal categories are Symmetric monoidal category, symmetric. However, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joachim Lambek
Joachim "Jim" Lambek (5 December 1922 – 23 June 2014) was a German-born Canadian mathematician. He was Peter Redpath Emeritus Professor of Pure Mathematics at McGill University, where he earned his PhD degree in 1950 with Hans Zassenhaus as advisor. Biography Lambek was born in Leipzig, Germany, where he attended a Gymnasium. He came to England in 1938 as a refugee on the ''Kindertransport''. From there he was interned as an enemy alien and deported to a prison work camp in New Brunswick, Canada. There, he began in his spare time a mathematical apprenticeship with Fritz Rothberger, also interned, and wrote the McGill Junior Matriculation in fall of 1941. In the spring of 1942, he was released and settled in Montreal, where he entered studies at McGill University, graduating with an honours mathematics degree in 1945 and an MSc a year later. In 1950, he completed his doctorate under Hans Zassenhaus becoming McGill's first PhD in mathematics. Lambek became assistant p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categorial Grammar
Categorial grammar is a family of formalisms in natural language syntax that share the central assumption that syntactic constituents combine as functions and arguments. Categorial grammar posits a close relationship between the syntax and semantic composition, since it typically treats syntactic categories as corresponding to semantic types. Categorial grammars were developed in the 1930s by Kazimierz Ajdukiewicz and in the 1950s by Yehoshua Bar-Hillel and Joachim Lambek. It saw a surge of interest in the 1970s following the work of Richard Montague, whose Montague grammar assumed a similar view of syntax. It continues to be a major paradigm, particularly within formal semantics. Basics A categorial grammar consists of two parts: a lexicon, which assigns a set of types (also called categories) to each basic symbol, and some type inference rules, which determine how the type of a string of symbols follows from the types of the constituent symbols. It has the advantage that the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linguistics
Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Linguistics is concerned with both the cognitive and social aspects of language. It is considered a scientific field as well as an academic discipline; it has been classified as a social science, natural science, cognitive science,Thagard, PaulCognitive Science, The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.). or part of the humanities. Traditional areas of linguistic analysis correspond to phenomena found in human linguistic systems, such as syntax (rules governing the structure of sentences); semantics (meaning); morphology (structure of words); phonetics (speech sounds and equivalent gestures in sign languages); phonology (the abstract sound system of a particular language); and pragmatics (how social con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Biclosed Monoidal Category
In mathematics, especially in category theory, a closed monoidal category (or a ''monoidal closed category'') is a category that is both a monoidal category and a closed category in such a way that the structures are compatible. A classic example is the category of sets, Set, where the monoidal product of sets A and B is the usual cartesian product A \times B, and the internal Hom B^A is the set of functions from A to B. A non-cartesian example is the category of vector spaces, ''K''-Vect, over a field K. Here the monoidal product is the usual tensor product of vector spaces, and the internal Hom is the vector space of linear maps from one vector space to another. The internal language of closed symmetric monoidal categories is linear logic and the type system is the linear type system. Many examples of closed monoidal categories are symmetric. However, this need not always be the case, as non-symmetric monoidal categories can be encountered in category-theoretic formulations of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rigid Category
In category theory, a branch of mathematics, a rigid category is a monoidal category where every object is rigid, that is, has a dual ''X''* (the internal Hom 'X'', 1 and a morphism 1 → ''X'' ⊗ ''X''* satisfying natural conditions. The category is called right rigid or left rigid according to whether it has right duals or left duals. They were first defined (following Alexander Grothendieck) by Neantro Saavedra Rivano in his thesis on Tannakian categories. Definition There are at least two equivalent definitions of a rigidity. *An object ''X'' of a monoidal category is called left rigid if there is an object ''Y'' and morphisms \eta_X : \mathbf \to X \otimes Y and \epsilon_X : Y \otimes X \to \mathbf such that both compositions X ~ \xrightarrow ~ (X \otimes Y) \otimes X ~ \xrightarrow ~ X \otimes (Y \otimes X) ~ \xrightarrow ~ X Y ~ \xrightarrow ~ Y \otimes (X \otimes Y ) ~ \xrightarrow ~ (Y \otimes X) \otimes Y ~ \xrightarrow ~ Y are identities. A right rigid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Left Adjoint
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology. By definition, an adjunction between categories \mathcal and \mathcal is a pair of functors (assumed to be covariant) :F: \mathcal \rightarrow \mathcal and G: \mathcal \rightarrow \mathcal and, for all objects X in \mathcal and Y in \mathcal a bijection between the respective morphism s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
