AI & ChatGPT searches , social queriess for CATEGORIFICATION
Search references for CATEGORIFICATION. Phrases containing CATEGORIFICATION
See searches and references containing CATEGORIFICATION!
Search references for CATEGORIFICATION. Phrases containing CATEGORIFICATION
See searches and references containing CATEGORIFICATION!CATEGORIFICATION
Connects set theory with category theory
In mathematics, categorification is the process of replacing set-theoretic theorems with category-theoretic analogues. Categorification, when done successfully
Categorification
Russian mathematician
Khovanov homology for links, which was one of the first examples of categorification. Khovanov graduated from Moscow State School 57 mathematical class
Mikhail_Khovanov
Invariant of mathematical knots
arises as the cohomology of a cochain complex. It may be regarded as a categorification of the Jones polynomial. It was developed in the late 1990s by Mikhail
Khovanov_homology
Function in algebraic graph theory
04.003, S2CID 53304001 Helme-Guizon, Laure; Rong, Yongwu (2005), "A categorification of the chromatic polynomial", Algebraic & Geometric Topology, 5 (4):
Chromatic_polynomial
Generalization of category theory
Mathematics portal Higher-dimensional algebra General abstract nonsense Categorification Coherency (homotopy theory) Lurie, Jacob. Higher Topos Theory (PDF)
Higher_category_theory
Analysis of datasets using techniques from topology
loosen the stricter restriction of the function. Please refer to the Categorification and cosheaves and Impact on mathematics sections for more information
Topological_data_analysis
Italian cyclist (born 1987)
Derived Symplectic Structures in Generalized Donaldson–Thomas Theory and Categorification. In September 2018, she set a new UCI Women's hour record, riding 48
Vittoria_Bussi
Category admitting tensor products
examples. Every (small) monoidal category may also be viewed as a "categorification" of an underlying monoid, namely the monoid whose elements are the
Monoidal_category
General theory of mathematical structures
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Category_theory
In mathematics, invertible homomorphism
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Isomorphism
Intermediate structure between functors and monads
functors with tensorial strength. This may not be the most obvious categorification of the standard definition of applicative functor given below, but
Applicative_functor
Concept in mathematics
} that universally characterizes the tensor-hom adjunction, as the categorification of the remarkably basic law of exponents Z Y X = ( Z X ) Y . {\displaystyle
Tensor–hom_adjunction
Technique for proving sets have equal size
counting (proof technique) Combinatorial principles Combinatorial proof Categorification Loehr, Nicholas A. (2011). Bijective Combinatorics. CRC Press. ISBN 143984884X
Bijective_proof
Mathematical object that generalizes the standard notions of sets and functions
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Category_(mathematics)
British philosopher
(2005). "Doing Mathematics". Philosophia Mathematica. 13: 106–111. "Categorification as a Heuristic Device", in D. Gillies and C. Cellucci (eds.), Mathematical
David_Corfield
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Tetracategory
Functor that preserves short exact sequences
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Exact_functor
Embedding of categories into functor categories
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Yoneda_lemma
Central object of study in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Natural_transformation
Variant of the notion of the center of a monoid, group, or ring to a category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Center_(category_theory)
Mathematical concept
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
End_(category_theory)
Generalization of a category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Quasi-category
Hypothesis in mathematical category theory
1007/BFb0026978. ISBN 978-3-540-63455-3. Baez, John C.; Dolan, James (1998). "Categorification". arXiv:math/9802029. Baez, John C. (2007). "The Homotopy Hypothesis"
Homotopy_hypothesis
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Localization_of_a_category
Mapping between categories
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Functor
Categorical procedure
tensors. In this context, skeletonization is the opposite process of categorification, which takes set-theoretic information and turns it into category-theoretic
Skeletonization of fusion categories
Skeletonization_of_fusion_categories
Mathematical category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Topos
Map (arrow) between two objects of a category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Morphism
Characterizing property of mathematical constructions
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Universal_property
Set of arguments where two or more functions have the same value
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Equaliser_(mathematics)
Mathematical concept
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Limit_(category_theory)
Theorem in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Lawvere's_fixed-point_theorem
Abstract mathematics relationship
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Equivalence_of_categories
Most general completion of a commutative square given two morphisms with same codomain
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Pullback_(category_theory)
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Essentially surjective functor
Essentially_surjective_functor
Type of category in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Additive_category
Relation of categories in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Isomorphism_of_categories
Swiss mathematician
He has applied triangulated Calabi–Yau categories to the (additive) categorification of cluster algebras. In 2013, he received an honorary degree from the
Bernhard_Keller
Ukrainian-Swedish mathematician
"Translation and shuffling of projectively presentable modules and a categorification of a parabolic Hecke module". Transactions of the American Mathematical
Volodymyr_Mazorchuk
generalization of a ring eventually leads to the notion of an En-ring. Categorification Higher-dimensional algebra Lie n-algebra John Baez, 2-Rigs in Topology
2-ring
Quotient space of a codomain of a linear map by the map's image
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Cokernel
category theory. categorical probability categorical probability categorification categorification is a process of replacing sets and set-theoretic concepts
Glossary_of_category_theory
Mathematical construction used in homotopy theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Simplicial_set
Functor type
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Representable_functor
Category with direct sums and certain types of kernels and cokernels
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Abelian_category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
N-monoid
Higher category theory concept
doi:10.1006/aima.1997.1695. Baez, John C.; Dolan, James (1998). "Categorification". arXiv:math/9802029. Baez, John C.; Shulman, Michael (2010). "Lectures
Weak_n-category
Generalized object in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Product_(category_theory)
Type of category in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Cartesian_closed_category
Framework of superstring theory
1016/0550-3213(94)00559-W. S2CID 13889163. Khovanov, Mikhail (2000). "A categorification of the Jones polynomial". Duke Mathematical Journal. 1011 (3): 359–426
M-theory
Category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Kleisli_category
Functors which are surjective and injective on hom-sets
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Full_and_faithful_functors
Category whose objects and morphisms are inside a bigger category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Subcategory
Collection of maps which give the same result
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Commutative_diagram
Mathematical category whose hom sets form Abelian groups
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Preadditive_category
Special case of colimit in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Direct_limit
Homological construction in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Derived_functor
Relationship between two functors abstracting many common constructions
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Adjoint_functors
Special objects used in (mathematical) category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Initial_and_terminal_objects
Injective homomorphism
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Monomorphism
Concept in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Monoidal_functor
Applications of category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Applied_category_theory
Mathematical category formed by reversing morphisms
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Opposite_category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Stable_∞-category
In mathematics, collection of classes
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Conglomerate_(mathematics)
Mathematical category with weak equivalences, fibrations and cofibrations
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Model_category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Refinement_(category_theory)
Aspect of category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Coequalizer
Category-theoretic construction
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Coproduct
Category theory constructs
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Kan_extension
Category theory concept
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Overcategory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Fundamental_groupoid
Monoidal category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Tannakian_formalism
Bi-universal property in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Zero_morphism
Construction in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Cone_(category_theory)
Indexed collection of objects and morphisms in a category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Diagram_(category_theory)
Object in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Natural_numbers_object
Endofunctor on the category V of finite-dimensional vector spaces
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Polynomial_functor
Category enriched over the category of simplicial sets
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Simplicially enriched category
Simplicially_enriched_category
Most general completion of a commutative square given two morphisms with same domain
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Pushout_(category_theory)
Concept in mathematical category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Symmetric_monoidal_category
Correspondence between properties of a category and its opposite
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Dual_(category_theory)
Category whose hom sets have algebraic structure
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Enriched_category
Category whose hom objects correspond (di-)naturally to objects in itself
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Closed_category
Concept in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Forgetful_functor
Categorical generalization of a function space in set theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Exponential_object
Generalization of category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
2-category
Category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Pre-abelian_category
Symmetric monoidal category with a special involution
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Dagger symmetric monoidal category
Dagger_symmetric_monoidal_category
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Conservative_functor
geometric representation theory, noncommutative algebra, and the theory of categorification." In 2010 in Hyderabad he was an invited speaker with talk, Finite
Ivan_Losev_(mathematician)
Concept in category theory
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Fibred_category
Proofs in enumerative combinatorics
structure to the identity by replacing numbers by sets; similarly, categorification is the replacement of sets by categories. Aigner, Martin; Ziegler,
Combinatorial_proof
Russian physicist
Known for quantum topology, string theory, special holonomy manifolds, categorification of quantum group invariants, exact solutions of strongly coupled theories
Sergei_Gukov
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Diagonal_functor
Higher categorical generalization of a topos
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
∞-topos
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
N-group_(category_theory)
Category in which all small limits exist
Quotient category Subcategory Higher category theory Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model
Complete_category
Algebraic structure with "nice" duality properties
algebras and (1+1)-dimensional TQFTs can be used to explain Khovanov's categorification of the Jones polynomial. Let B be a subring sharing the identity element
Frobenius_algebra
Theory in differential topology
inequalities). The existence of Morse homology "explains", in the sense of categorification, the Morse inequalities. Edward Witten came up with a related construction
Morse_homology
CATEGORIFICATION
CATEGORIFICATION
CATEGORIFICATION
CATEGORIFICATION
Boy/Male
Indian, Sanskrit
Very Beautiful
Girl/Female
Australian, Danish, Swedish
God's Promise; God is My Oath
Girl/Female
Bengali, Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Tamil, Telugu
Ocean; Wave; Goddess Laxmi
Girl/Female
British, Christian, English
Famous Sort
Boy/Male
Hebrew
God is my brother.
Surname or Lastname
English
English : variant spelling of Callaway.
Female
Basque
, thanks.
Surname or Lastname
English
English : habitational name from any of three places in Devon named Burridge, from Old English burh ‘fort’ (see Burke) + hrycg ‘ridge’.English : from the Middle English personal name Burrich, Old English Burgrīc, composed of the elements burh, burg ‘fortress’, ‘stronghold’ + rīc ‘power’.
Boy/Male
Tamil
Strengthen
Boy/Male
Hindu
CATEGORIFICATION
CATEGORIFICATION
CATEGORIFICATION
CATEGORIFICATION
CATEGORIFICATION