Related Research Articles
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 almost all 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 spaces, direct products, completion, and duality.
Universal algebra is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures. For instance, rather than take particular groups as the object of study, in universal algebra one takes the class of groups as an object of study.
Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.
In mathematics, a multicategory is a generalization of the concept of category that allows morphisms of multiple arity. If morphisms in a category are viewed as analogous to functions, then morphisms in a multicategory are analogous to functions of several variables. Multicategories are also sometimes called operads, or colored operads.
In mathematics, a tricategory is a kind of structure of category theory studied in higher-dimensional category theory.
In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad , one defines an algebra over to be a set together with concrete operations on this set which behave just like the abstract operations of . For instance, there is a Lie operad such that the algebras over are precisely the Lie algebras; in a sense abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations.
Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.
In category theory, a branch of mathematics, a PROP is a symmetric strict monoidal category whose objects are the natural numbers n identified with the finite sets and whose tensor product is given on objects by the addition on numbers. Because of “symmetric”, for each n, the symmetric group on n letters is given as a subgroup of the automorphism group of n. The name PROP is an abbreviation of "PROduct and Permutation category".
In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology, where one studies algebraic invariants of spaces, such as the fundamental weak ∞-groupoid.
In category theory, a weak n-category is a generalization of the notion of strict n-category where composition and identities are not strictly associative and unital, but only associative and unital up to coherent equivalence. This generalisation only becomes noticeable at dimensions two and above where weak 2-, 3- and 4-categories are typically referred to as bicategories, tricategories, and tetracategories. The subject of weak n-categories is an area of ongoing research.
Victor Ginzburg is a Russian American mathematician who works in representation theory and in noncommutative geometry. He is known for his contributions to geometric representation theory, especially, for his works on representations of quantum groups and Hecke algebras, and on the geometric Langlands program. He is currently a Professor of Mathematics at the University of Chicago.
In mathematics, especially (higher) category theory, higher-dimensional algebra is the study of categorified structures. It has applications in nonabelian algebraic topology, and generalizes abstract algebra.
Isbell conjugacy is a fundamental construction of enriched category theory formally introduced by William Lawvere in 1986. That is a duality between covariant and contravariant representable presheaves associated with an objects of categories under the Yoneda embedding. Also, Lawvere says that; "Then the conjugacies are the first step toward expressing the duality between space and quantity fundamental to mathematics".
Steve Shnider is a retired professor of mathematics at Bar Ilan University. He received a PhD in Mathematics from Harvard University in 1972, under Shlomo Sternberg. His main interests are in the differential geometry of fiber bundles; algebraic methods in the theory of deformation of geometric structures; symplectic geometry; supersymmetry; operads; and Hopf algebras. He retired in 2014.
In mathematics, more specifically category theory, a weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex) is a generalization of the notion of a category. The study of such generalizations is known as higher category theory.
Carlos Tschudi Simpson is an American mathematician, specializing in algebraic geometry.
In category theory, a branch of mathematics, an opetope, a portmanteau of "operation" and "polytope", is a shape that captures higher-dimensional substitutions. It was introduced by John C. Baez and James Dolan so that they could define a weak n-category as a certain presheaf on the category of opetopes.
Ralph Martin Kaufmann is a German mathematician working in the United States.
Mikhail Kapranov, is a Russian mathematician, specializing in algebraic geometry, representation theory, mathematical physics, and category theory. He is currently a professor of the Kavli Institute for the Physics and Mathematics of the Universe at the University of Tokyo.
Charles Waldo Rezk is an American mathematician, specializing in algebraic topology and category theory.
References
- ↑ Tom Leinster at the Mathematics Genealogy Project
- ↑ Tom Leinster (2014). Basic Category Theory. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press. doi:10.1017/cbo9781107360068. ISBN 978-1-107-04424-1.
- ↑ Tom Leinster (2004). Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press. doi:10.1017/cbo9780511525896. ISBN 978-0-521-53215-0.
- ↑ "Revisiting the Leinster groups". Comptes Rendus Mathematique . 352 (1): 1–6. January 2014. doi:10.1016/j.crma.2013.11.009. ISSN 1631-073X.
- ↑ "MAA to Honor Authors of Year's Best Writing in Mathematics | Mathematical Association of America".
- ↑ Lawvere, F. William (1964). "An elementary theory of the category of sets". Proceedings of the National Academy of Sciences . 52 (6): 1506–1511. doi:10.1073/pnas.52.6.1506.
- ↑ "Posts by Tom Leinster, The n-Category Café".
- ↑ Tom Leinster (April 26, 2014). "Maths spying: the quandary of working for the spooks". New Scientist. 222 (2966): 26–27. doi:10.1016/S0262-4079(14)60827-7. ISSN 0262-4079. reprint in slate.com
- ↑ Mathematicians: refuse to work for the NSA!, Boing Boing , 27 April 2014
- ↑ Mathematicians Push Back Against The NSA, Slashdot, 27 April 2014
- ↑ Un mathématicien appelle ses collègues à ne plus travailler pour la NSA », Mediapart , 28 avril 2014 lire le texte ici
- ↑ Holger Dambeck. "NSA: Mathematiker ruft Kollegen auf nicht für Geheimdienst zu arbeiten (NSA: Mathematician calls on colleagues not to work for secret service)". Spiegel Online (in German).
- ↑ Patrick Beuth (April 28, 2014). "Mathematiker ruft zum Geheimdienst-Boykott auf (Mathematician calls on secret service boycott)". Zeit Online (in German).
