|
Pseudofunctor
In mathematics, a pseudofunctor ''F'' is a mapping between 2-categories, or from a category to a 2-category, that is just like a functor except that F(f \circ g) = F(f) \circ F(g) and F(1) = 1 do not hold as exact equalities but only up to ''coherent isomorphisms''. The Grothendieck construction associates to a pseudofunctor a fibered category. See also *Lax functor *Prestack (an example of pseudofunctor) *Fibered category Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which ''inverse images'' (or ''pull-backs'') of ... References *C. SorgerLectures on moduli of principal G-bundles over algebraic curves External links *http://ncatlab.org/nlab/show/pseudofunctor Functors {{categorytheory-stub ... [...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 object X in ''C'' to an object F(X) in ''D' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2-categories
In category theory, a strict 2-category is a category with "morphisms between morphisms", that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and functors, with the monoidal structure given by product of categories). The concept of 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 1968 by Jean Bénabou.Jean Bénabou, Introduction to bicategories, in Reports of the Midwest Category Seminar, Springer, Berlin, 1967, pp. 1--77. Definition A 2-category C consists of: * A class of 0-''cells'' (or ''objects'') , , .... * For all objects and , a category \mathbf(A,B). The objects f,g: A \to B of this category are called 1-''cells'' and its morphisms \alpha: f \Righ ... [...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] |
2-category
In category theory, a strict 2-category is a category with "morphisms between morphisms", that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and functors, with the monoidal structure given by product of categories). The concept of 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 1968 by Jean Bénabou.Jean Bénabou, Introduction to bicategories, in Reports of the Midwest Category Seminar, Springer, Berlin, 1967, pp. 1--77. Definition A 2-category C consists of: * A class of 0-''cells'' (or ''objects'') , , .... * For all objects and , a category \mathbf(A,B). The objects f,g: A \to B of this category are called 1-''cells'' and its morphisms \alpha: f \Ri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherent Isomorphism
In mathematics, specifically in homotopy theory and (higher) category theory, coherency is the standard that equalities or diagrams must satisfy when they hold " up to homotopy" or "up to isomorphism". The adjectives such as "pseudo-" and "lax-" are used to refer to the fact equalities are weakened in coherent ways; e.g., pseudo-functor, pseudoalgebra. Coherent isomorphism In some situations, isomorphisms need to be chosen in a coherent way. Often, this can be achieved by choosing canonical isomorphisms. But in some cases, such as prestacks, there can be several canonical isomorphisms and there might not be an obvious choice among them. In practice, coherent isomorphisms arise by weakening equalities; e.g., strict associativity may be replaced by associativity via coherent isomorphisms. For example, via this process, one gets the notion of a weak 2-category from that of a strict 2-category. Replacing coherent isomorphisms by equalities is usually called strictification or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Construction
The Grothendieck construction (named after Alexander Grothendieck) is a construction used in the mathematical field of category theory. Definition Let F\colon \mathcal \rightarrow \mathbf be a functor from any small category to the category of small categories. The Grothendieck construction for F is the category \Gamma(F) (also written \textstyle\int_ F, \textstyle\mathcal \int F or F \rtimes \mathcal), with * objects being pairs (c,x), where c\in \operatorname(\mathcal) and x\in \operatorname(F(c)); and * morphisms in \operatorname_((c_1,x_1),(c_2,x_2)) being pairs (f, g) such that f: c_1 \to c_2 in \mathcal, and g: F(f)(x_1) \to x_2 in F(c_2). Composition of morphisms is defined by (f,g) \circ (f',g') = (f \circ f', g \circ F(f)(g')). Slogan "The Grothendieck construction takes structured, tabulated data and flattens it by throwing it all into one big space. The projection functor is then tasked with remembering which box each datum originally came from." Example If G is a gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fibered Category
Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which ''inverse images'' (or ''pull-backs'') of objects such as vector bundles can be defined. As an example, for each topological space there is the category of vector bundles on the space, and for every continuous map from a topological space ''X'' to another topological space ''Y'' is associated the pullback functor taking bundles on ''Y'' to bundles on ''X''. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar setups appear in various guises in mathematics, in particular in algebraic geometry, which is the context in which fibred categories originally appeared. Fibered categories are used to define stacks, which are fibered categories (over a site) with "descent". Fibrations also play an important role in categorical semantics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lax Functor
In category theory, a discipline within mathematics, the notion of lax functor between bicategories generalizes that of functors between categories Category, plural categories, may refer to: Philosophy and general uses *Categorization, categories in cognitive science, information science and generally *Category of being * ''Categories'' (Aristotle) *Category (Kant) * Categories (Peirce) * .... Let ''C,D'' be bicategories. We denote composition idiagrammatic order A ''lax functor P from C to D'', denoted P: C\to D, consists of the following data: * for each object ''x'' in ''C'', an object P_x\in D; * for each pair of objects ''x,y ∈ C'' a functor on morphism-categories, P_: C(x,y)\to D(P_x,P_y); * for each object ''x∈C'', a 2-morphism P_:\text_\to P_(\text_x) in ''D''; * for each triple of objects, ''x,y,z ∈C'', a 2-morphism P_(f,g): P_(f);P_(g)\to P_(f;g) in ''D'' that is natural in ''f: x→y'' and ''g: y→z''. These must satisfy three commutative diagrams, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prestack
In algebraic geometry, a prestack ''F'' over a category ''C'' equipped with some Grothendieck topology is a category together with a functor ''p'': ''F'' → ''C'' satisfying a certain lifting condition and such that (when the fibers are groupoids) locally isomorphic objects are isomorphic. A stack is a prestack with effective descents, meaning local objects may be patched together to become a global object. Prestacks that appear in nature are typically stacks but some naively constructed prestacks (e.g., groupoid scheme or the prestack of projectivized vector bundles) may not be stacks. Prestacks may be studied on their own or passed to stacks. Since a stack is a prestack, all the results on prestacks are valid for stacks as well. Throughout the article, we work with a fixed base category ''C''; for example, ''C'' can be the category of all schemes over some fixed scheme equipped with some Grothendieck topology. Informal definition Let ''F'' be a category and suppose it is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fibered Category
Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which ''inverse images'' (or ''pull-backs'') of objects such as vector bundles can be defined. As an example, for each topological space there is the category of vector bundles on the space, and for every continuous map from a topological space ''X'' to another topological space ''Y'' is associated the pullback functor taking bundles on ''Y'' to bundles on ''X''. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar setups appear in various guises in mathematics, in particular in algebraic geometry, which is the context in which fibred categories originally appeared. Fibered categories are used to define stacks, which are fibered categories (over a site) with "descent". Fibrations also play an important role in categorical semantics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
