|
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] |
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] |
Bicategory
In mathematics, a bicategory (or a weak 2-category) is a concept in category theory used to extend the notion of category to handle the cases where the composition of morphisms is not (strictly) associative, but only associative ''up to'' an isomorphism. The notion was introduced in 1967 by Jean Bénabou. Bicategories may be considered as a weakening of the definition of 2-categories. A similar process for 3-categories leads to tricategories, and more generally to weak ''n''-categories for ''n''-categories. Definition Formally, a bicategory B consists of: * objects ''a'', ''b'', ... called 0-''cells''; * morphisms ''f'', ''g'', ... with fixed source and target objects called 1-''cells''; * "morphisms between morphisms" ρ, σ, ... with fixed source and target morphisms (which should have themselves the same source and the same target), called 2-''cells''; with some more structure: * given two objects ''a'' and ''b'' there is a category B(''a'', ''b'') whose objects are the 1- ... [...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] |
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] |
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] |
