|
Twisted Diagonal (category Theory)
In category theory in mathematics, the twisted diagonal of a category (also called the twisted arrow category), which makes the morphisms of a category into the objects of a new category, whose morphisms are then pairs of morphisms connecting domain and codomain with the twist coming from them being in opposite directions. It can be constructed as the category of elements of the Hom functor, which makes the twist come from the fact that it is contravariant in the first entry and covariant in the second entry. It can be generalized to the twisted diagonal of a simplicial set to which it corresponds under the nerve construction. Definition For a category \mathcal, its ''twisted diagonal'' \operatorname(\mathcal) is a category, whose objects are its arrows: : \operatorname(\operatorname(\mathcal)) =\operatorname(\mathcal) and for which the morphisms between two such objects f\colon A\rightarrow B and g\colon X\rightarrow Y are the pairs p\colon X\rightarrow A and q\colon B\righ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in most areas of mathematics. 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 space (other), quotient spaces, direct products, completion, and duality (mathematics), duality. Many areas of computer science also rely on category theory, such as functional programming and Semantics (computer science), semantics. A category (mathematics), category is formed by two sorts of mathematical object, objects: the object (category theory), objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. Metapho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. ''Category theory'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Elements
In category theory, a branch of mathematics, the category of elements of a presheaf is a category associated to that presheaf whose objects are the elements of sets in the presheaf. It and its generalization are also known as the Grothendieck construction (named after Alexander Grothendieck) especially in the theory of descent, in the theory of stacks, and in fibred category theory. The Grothendieck construction is an instance of straightening (or rather unstraightening). Significance In categorical logic, the construction is used to model the relationship between a type theory and a logic over that type theory, and allows for the translation of concepts from indexed category theory into fibred category theory, such as Lawvere's concept of hyperdoctrine. The category of elements of a simplicial set is fundamental in simplicial homotopy theory, a branch of algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study top ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hom Functor
In mathematics, specifically in category theory, hom-sets (i.e. sets of morphisms between object (category theory), objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category theory and other branches of mathematics. Formal definition Let ''C'' be a locally small category (i.e. a category (mathematics), category for which hom-classes are actually Set (mathematics), sets and not proper classes). For all objects ''A'' and ''B'' in ''C'' we define two functors to the category of sets as follows: : The functor Hom(–, ''B'') is also called the ''functor of points'' of the object ''B''. Note that fixing the first argument of Hom naturally gives rise to a covariant functor and fixing the second argument naturally gives a contravariant functor. This is an artifact of the way in which one must compose the morphisms. The pair of functors Hom(''A'', –) and Hom(–, ''B'') are related in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contravariant Functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a linguistic context; see function word. Definition Let ''C'' and ''D'' be categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each object X in ''C'' to an object F(X) in ''D'', * associates each morphism f \colon X \to Y in ''C'' to a morphism F(f) \colon F(X) \to F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Twisted Diagonal (simplicial Sets)
In higher category theory in mathematics, the twisted diagonal of a simplicial set (for ∞-categories also called the twisted arrow ∞-category) is a construction, which generalizes the twisted diagonal of a category to which it corresponds under the nerve construction. Since the twisted diagonal of a category is the category of elements of the Hom functor, the twisted diagonal of an ∞-category can be used to define the Hom functor of an ∞-category. Twisted diagonal with the join operation For a simplicial set A define a bisimplicial set and a simplicial set with the opposite simplicial set and the join of simplicial sets by:Cisinski 2019, 5.6.1. : \mathbf(A)_ =\operatorname((\Delta^m)^\mathrm*\Delta^n,A), : \operatorname(A) =\delta^*(\mathbf(A)). The canonical morphisms (\Delta^m)^\mathrm\rightarrow(\Delta^m)^\mathrm*\Delta^n\leftarrow\Delta^n induce canonical morphisms \mathbf(A)\rightarrow A^\mathrm\boxtimes A and \operatorname(A)\rightarrow A^\mathrm\times A. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nerve (category Theory)
In category theory, a discipline within mathematics, the nerve ''N''(''C'') of a small category ''C'' is a simplicial set constructed from the objects and morphisms of ''C''. The geometric realization of this simplicial set is a topological space, called the classifying space of the category ''C''. These closely related objects can provide information about some familiar and useful categories using algebraic topology, most often homotopy theory. Motivation The nerve of a category is often used to construct topological versions of moduli spaces. If ''X'' is an object of ''C'', its moduli space should somehow encode all objects isomorphic to ''X'' and keep track of the various isomorphisms between all of these objects in that category. This can become rather complicated, especially if the objects have many non-identity automorphisms. The nerve provides a combinatorial way of organizing this data. Since simplicial sets have a good homotopy theory, one can ask questions about the mean ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplex Category
In mathematics, the simplex category (or simplicial category or nonempty finite ordinal category) is the category of non-empty finite ordinals and order-preserving maps. It is used to define simplicial and cosimplicial objects. Formal definition The simplex category is usually denoted by \Delta. There are several equivalent descriptions of this category. \Delta can be described as the category of ''non-empty finite ordinals'' as objects, thought of as totally ordered sets, and ''(non-strictly) order-preserving functions'' as morphisms. The objects are commonly denoted = \ (so that is the ordinal n+1 ). The category is generated by coface and codegeneracy maps, which amount to inserting or deleting elements of the orderings. (See simplicial set for relations of these maps.) A simplicial object is a presheaf on \Delta, that is a contravariant functor from \Delta to another category. For instance, simplicial sets are contravariant with the codomain category being the catego ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
