HOME





Posetal Category
In mathematics, specifically category theory, a posetal category, or thin category, is a Category (mathematics), category whose Category (mathematics)#Small and large categories, homsets each contain at most one morphism. As such, a posetal category amounts to a preordered class (or a preordered set, if its objects form a Set (mathematics), set). As suggested by the name, the further requirement that the category be Skeleton (category theory), skeletal is often assumed for the definition of "posetal"; in the case of a category that is posetal, being skeletal is equivalent to the requirement that the only isomorphisms are the identity morphisms, equivalently that the preordered class satisfies antisymmetric relation, antisymmetry and hence, if a set, is a poset. All diagram (category theory), diagrams commutative diagram, commute in a posetal category. When the commutative diagrams of a category are interpreted as a typed equational theory whose objects are the types, a indiscrete c ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Enriched Category
In category theory, a branch of mathematics, an enriched category generalizes the idea of a category (mathematics), category by replacing hom-sets with objects from a general monoidal category. It is motivated by the observation that, in many practical applications, the hom-set often has additional structure that should be respected, e.g., that of being a vector space of morphisms, or a topological space of morphisms. In an enriched category, the set of morphisms (the hom-set) associated with every pair of objects is replaced by an object (category theory), object in some fixed monoidal category of "hom-objects". In order to emulate the (associative) composition of morphisms in an ordinary category, the hom-category must have a means of composing hom-objects in an associative manner: that is, there must be a binary operation on objects giving us at least the structure of a monoidal category, though in some contexts the operation may also need to be commutative and perhaps also to ha ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


*-autonomous Category
In mathematics, a *-autonomous (read "star-autonomous") category C is a symmetric monoidal closed category equipped with a dualizing object \bot. The concept is also referred to as Grothendieck—Verdier category in view of its relation to the notion of Verdier duality. Definition Let C be a symmetric monoidal closed category. For any object ''A'' and \bot, there exists a morphism :\partial_:A\to(A\Rightarrow\bot)\Rightarrow\bot defined as the image by the bijection defining the monoidal closure :\mathrm((A\Rightarrow\bot)\otimes A,\bot)\cong\mathrm(A,(A\Rightarrow\bot)\Rightarrow\bot) of the morphism :\mathrm_\circ\gamma_ : (A\Rightarrow\bot)\otimes A\to\bot where \gamma is the ''symmetry'' of the tensor product. An object \bot of the category C is called dualizing when the associated morphism \partial_ is an isomorphism for every object ''A'' of the category C. Equivalently, a *-autonomous category is a symmetric monoidal category ''C'' together with a functor (-)^*:C^ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Boolean Algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variable (mathematics), variables are the truth values ''true'' and ''false'', usually denoted by 1 and 0, whereas in elementary algebra the values of the variables are numbers. Second, Boolean algebra uses logical operators such as Logical conjunction, conjunction (''and'') denoted as , disjunction (''or'') denoted as , and negation (''not'') denoted as . Elementary algebra, on the other hand, uses arithmetic operators such as addition, multiplication, subtraction, and division. Boolean algebra is therefore a formal way of describing logical operations in the same way that elementary algebra describes numerical operations. Boolean algebra was introduced by George Boole in his first book ''The Mathematical Analysis of Logic'' (1847), and set forth more fully in his ''An Investigation of the Laws of Thought'' (1854). According to ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Cartesian Closed Category
In category theory, a Category (mathematics), category is Cartesian closed if, roughly speaking, any morphism defined on a product (category theory), product of two Object (category theory), objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal category, closed monoidal categories, whose internal language, linear type systems, are suitable for both quantum computation, quantum and classical computation. Etymology Named after René Descartes (1596–1650), French philosopher, mathematician, and scientist, whose formulation of analytic geometry gave rise to the concept of Cartesian product, which was later generalized to the notion of categorical product. Definition The category C is called Cartesian closed iff it satisfies the following three propert ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Cocomplete
In mathematics, a complete category is a category in which all small limits exist. That is, a category ''C'' is complete if every diagram ''F'' : ''J'' → ''C'' (where ''J'' is small) has a limit in ''C''. Dually, a cocomplete category is one in which all small colimits exist. A bicomplete category is a category which is both complete and cocomplete. The existence of ''all'' limits (even when ''J'' is a proper class) is too strong to be practically relevant. Any category with this property is necessarily a thin category: for any two objects there can be at most one morphism from one object to the other. A weaker form of completeness is that of finite completeness. A category is finitely complete if all finite limits exists (i.e. limits of diagrams indexed by a finite category ''J''). Dually, a category is finitely cocomplete if all finite colimits exist. Theorems It follows from the existence theorem for limits that a category is complete if and only if it has equalizers (of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Heyting Algebra
In mathematics, a Heyting algebra (also known as pseudo-Boolean algebra) is a bounded lattice (with join and meet operations written ∨ and ∧ and with least element 0 and greatest element 1) equipped with a binary operation ''a'' → ''b'' called ''implication'' such that (''c'' ∧ ''a'') ≤ ''b'' is equivalent to ''c'' ≤ (''a'' → ''b''). From a logical standpoint, ''A'' → ''B'' is by this definition the weakest proposition for which modus ponens, the inference rule ''A'' → ''B'', ''A'' ⊢ ''B'', is sound. Like Boolean algebras, Heyting algebras form a variety axiomatizable with finitely many equations. Heyting algebras were introduced in 1930 by Arend Heyting to formalize intuitionistic logic. Heyting algebras are distributive lattices. Every Boolean algebra is a Heyting algebra when ''a'' → ''b'' is defined as ¬''a'' ∨ ''b'', as is every complete distributive lattice satisfying a one-sided infinite distributive law when ''a'' → ''b'' is taken to be t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Distributive Category
In mathematics, a category is distributive if it has finite products and finite coproducts and such that for every choice of objects A,B,C, the canonical map : mathit_A \times\iota_1, \mathit_A \times\iota_2: A\!\times\!B \,+ A\!\times\!C \to A\!\times\!(B+C) is an isomorphism, and for all objects A, the canonical map 0 \to A\times 0 is an isomorphism (where 0 denotes the initial object). Equivalently, if for every object A the endofunctor A \times - defined by B\mapsto A\times B preserves coproducts up to isomorphisms f. It follows that f and aforementioned canonical maps are equal for each choice of objects. In particular, if the functor A \times - has a right adjoint (i.e., if the category is cartesian closed), it necessarily preserves all colimits, and thus any cartesian closed category with finite coproducts (i.e., any bicartesian closed category) is distributive. Example The category of sets is distributive. Let , , and be sets. Then :\begin A\times (B\amalg ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Distributive Lattice
In mathematics, a distributive lattice is a lattice (order), lattice in which the operations of join and meet distributivity, distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union (set theory), union and intersection (set theory), intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to order isomorphism, isomorphism—given as such a lattice of sets. Definition As in the case of arbitrary lattices, one can choose to consider a distributive lattice ''L'' either as a structure of order theory or of universal algebra. Both views and their mutual correspondence are discussed in the article on lattice (order), lattices. In the present situation, the algebraic description appears to be more convenient. A lattice (''L'',∨,∧) is distributive if the following additional identity holds for all ''x'', ''y'', and ''z'' i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Lattice (order)
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join (mathematics), join) and a unique infimum (also called a greatest lower bound or meet (mathematics), meet). An example is given by the power set of a set, partially ordered by Subset, inclusion, for which the supremum is the Union (set theory), union and the infimum is the Intersection (set theory), intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor. Lattices can also be characterized as algebraic structures satisfying certain axiomatic Identity (mathematics), identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilatti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Monoid
In abstract algebra, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being . Monoids are semigroups with identity. Such algebraic structures occur in several branches of mathematics. The functions from a set into itself form a monoid with respect to function composition. More generally, in category theory, the morphisms of an object to itself form a monoid, and, conversely, a monoid may be viewed as a category with a single object. In computer science and computer programming, the set of strings built from a given set of characters is a free monoid. Transition monoids and syntactic monoids are used in describing finite-state machines. Trace monoids and history monoids provide a foundation for process calculi and concurrent computing. In theoretical computer science, the study of monoids is fundamental for automata theory (Krohn–Rhodes ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


2-category
In category theory in mathematics, a 2-category is a category with "morphisms between morphisms", called 2-morphisms. A basic example is the category Cat of all (small) categories, where a 2-morphism is a natural transformation between functors. The concept of a strict 2-category was first introduced by Charles Ehresmann in his work on enriched categories in 1965. The more general concept of bicategory (or weak 2-category), where composition of morphisms is associative only up to a 2-isomorphism, was introduced in 1967 by Jean Bénabou. A (2, 1)-category is a 2-category where each 2-morphism is invertible. Definitions A strict 2-category By definition, a strict 2-category ''C'' consists of the data: * a class of 0-''cells'', * for each pairs of 0-cells a, b, a set \operatorname(a, b) called the set of 1-''cells'' from a to b, * for each pairs of 1-cells f, g in the same hom-set, a set \operatorname(f, g) called the set of 2-''cells'' from f to g, * ''ordinary compo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]