|
Core Of A Category
In mathematics, especially category theory, the core of a category ''C'' is the category whose objects are the objects of ''C'' and whose morphisms are the invertible morphisms in ''C''.Pierre Gabriel, Michel Zisman, § 1.5.4., Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35, Springer (1967/ref> In other words, it is the largest groupoid subcategory. As a functor C \mapsto \operatorname(C), the core is a right adjoint to the inclusion of the category of (small) groupoids into the category of (small) categories. On the other hand, the left adjoint to the above inclusion is the fundamental groupoid functor. For ∞-categories, \operatorname is defined as a right adjoint to the inclusion ∞-Grpd \hookrightarrow ∞-Cat. The core of an ∞-category C is then the largest ∞-groupoid contained in C. The core of ''C'' is also often written as C^. The left adjoint to the above inclusion is given by a localization of an ∞-category. ... [...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] |
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] |
Groupoid
In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen as a: * '' Group'' with a partial function replacing the binary operation; * '' Category'' in which every morphism is invertible. A category of this sort can be viewed as augmented with a unary operation on the morphisms, called ''inverse'' by analogy with group theory. A groupoid where there is only one object is a usual group. In the presence of dependent typing, a category in general can be viewed as a typed monoid, and similarly, a groupoid can be viewed as simply a typed group. The morphisms take one from one object to another, and form a dependent family of types, thus morphisms might be typed , , say. Composition is then a total function: , so that . Special cases include: * '' Setoids'': sets that come with an equivalence relation, * '' G-sets'': sets equippe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subcategory
In mathematics, specifically category theory, a subcategory of a category ''C'' is a category ''S'' whose objects are objects in ''C'' and whose morphisms are morphisms in ''C'' with the same identities and composition of morphisms. Intuitively, a subcategory of ''C'' is a category obtained from ''C'' by "removing" some of its objects and arrows. Formal definition Let ''C'' be a category. A subcategory ''S'' of ''C'' is given by *a subcollection of objects of ''C'', denoted ob(''S''), *a subcollection of morphisms of ''C'', denoted hom(''S''). such that *for every ''X'' in ob(''S''), the identity morphism id''X'' is in hom(''S''), *for every morphism ''f'' : ''X'' → ''Y'' in hom(''S''), both the source ''X'' and the target ''Y'' are in ob(''S''), *for every pair of morphisms ''f'' and ''g'' in hom(''S'') the composite ''f'' o ''g'' is in hom(''S'') whenever it is defined. These conditions ensure that ''S'' is a category in its own right: its collection of objects is ob(''S'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functor
In mathematics, specifically category theory, a functor is a Map (mathematics), mapping between Category (mathematics), 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 function, 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 Linguistics, linguistic context; see function word. Definition Let ''C'' and ''D'' be category (mathematics), categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each Mathematical object, object X in ''C'' to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Right 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 c in \mathcal and d in \mathcal, a bijection between the respective morphism sets :\ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Groupoid Functor
In algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more widely-known fundamental group; as such, it captures information about the homotopy type of a topological space. In terms of category theory, the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids. Definition Let be a topological space. Consider the equivalence relation on continuous paths in in which two continuous paths are equivalent if they are homotopic with fixed endpoints. The fundamental groupoid , or , assigns to each ordered pair of points in the collection of equivalence classes of continuous paths from to . More generally, the fundamental groupoid of on a set restricts the fundamental groupoid to the points which lie in both and . This allows for a generalisation of the Van Kampen theorem using two base points to compute the fundamental group of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
∞-category
In mathematics, more specifically category theory, a quasi-category (also called quasicategory, weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex, quategory) is a generalization of the notion of a Category (mathematics), category. The study of such generalizations is known as higher category theory. Overview Quasi-categories were introduced by . André Joyal has much advanced the study of quasi-categories showing that most of the usual basic category theory and some of the advanced notions and theorems have their analogues for quasi-categories. An elaborate treatise of the theory of quasi-categories has been expounded by . Quasi-categories are certain simplicial sets. Like ordinary categories, they contain objects (the 0-simplices of the simplicial set) and morphisms between these objects (1-simplices). But unlike categories, the composition of two morphisms need not be uniquely defined. All the morphisms that can serve as composition of tw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
∞-groupoid
In category theory, a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are fibrant objects in the category (mathematics), category of simplicial sets (with the standard model category, model structure). It is an ∞-category generalization of a groupoid, a category in which every morphism is an isomorphism. The homotopy hypothesis states that ∞-groupoids are equivalent to spaces up to homotopy. Globular Groupoids Alexander Grothendieck suggested in ''Pursuing Stacks'' that there should be an extraordinarily simple model of ∞-groupoids using globular sets, originally called hemispherical complexes. These sets are constructed as Sheaf (mathematics)#Presheaves, presheaves on the globular category \mathbb. This is defined as the category whose objects are finite ordinals [n] and morphisms are given by \begin \sigma_n: [n] \to [n+1]\\ \tau_n: [n] \to [n+1] \end such that the globular relations hold \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Localization Of An ∞-category
In mathematics, specifically in higher category theory, a localization of an ∞-category is an ∞-category obtained by inverting some maps. An ∞-category is a presentable ∞-category if it is a localization of an ∞-presheaf category in the sense of Bousfield, by definition or as a result of Simpson. Definition Let ''S'' be a simplicial set and ''W'' a simplicial subset of it. Then the localization in the sense of Dwyer–Kan is a map :u: S \to W^S such that * W^S is an ∞-category, * the image u(W_1) consists of invertible maps, * the induced map on ∞-categories *:u^* : \operatorname(W^S, -) \overset\to \operatorname_W(S, -) :is invertible. When ''W'' is clear form the context, the localized category S^ W is often also denoted as L(S). A Dwyer–Kan localization that admits a right adjoint is called a localization in the sense of Bousfield. For example, the inclusion ∞-Grpd \hookrightarrow ∞-Cat has a left adjoint given by the localization that inverts all maps (f ... [...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] |
