Search references for OVERCATEGORY. Phrases containing OVERCATEGORY
See searches and references containing OVERCATEGORY!OVERCATEGORY
Category theory concept
In mathematics, an overcategory (also called a slice category) is a construction from category theory used in multiple contexts, such as with covering
Overcategory
Mathematical object that generalizes the standard notions of sets and functions
object X {\displaystyle X} of C {\displaystyle {\mathcal {C}}} , the overcategory or slice category C / X {\displaystyle {\mathcal {C}}/X} consists of
Category_(mathematics)
General theory of mathematical structures
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Category_theory
In mathematics, invertible homomorphism
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Isomorphism
Mapping between categories
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Functor
Theorem in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Lawvere's_fixed-point_theorem
Mathematical category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Topos
Central object of study in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Natural_transformation
Indexed collection of objects and morphisms in a category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Diagram_(category_theory)
Embedding of categories into functor categories
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Yoneda_lemma
Set of arguments where two or more functions have the same value
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Equaliser_(mathematics)
Construction in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Cone_(category_theory)
Category-theoretic construction
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Coproduct
Monoidal category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Tannakian_formalism
Most general completion of a commutative square given two morphisms with same domain
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Pushout_(category_theory)
Category admitting tensor products
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Monoidal_category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Localization_of_a_category
Category theory constructs
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Kan_extension
Functors which are surjective and injective on hom-sets
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Full_and_faithful_functors
Map (arrow) between two objects of a category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Morphism
Relationship between two functors abstracting many common constructions
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Adjoint_functors
Characterizing property of mathematical constructions
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Universal_property
Mathematical concept
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Limit_(category_theory)
Endofunctor on the category V of finite-dimensional vector spaces
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Polynomial_functor
Category whose hom objects correspond (di-)naturally to objects in itself
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Closed_category
Most general completion of a commutative square given two morphisms with same codomain
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Pullback_(category_theory)
Construction in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Inverse_limit
Relation of categories in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Isomorphism_of_categories
Special objects used in (mathematical) category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Initial_and_terminal_objects
Concept in mathematics
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Tensor–hom_adjunction
In mathematics, collection of classes
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Conglomerate_(mathematics)
Abstract mathematics relationship
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Equivalence_of_categories
Functor type
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Representable_functor
Collection of maps which give the same result
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Commutative_diagram
Generalization of category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Higher_category_theory
Mathematical category whose hom sets form Abelian groups
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Preadditive_category
Quotient space of a codomain of a linear map by the map's image
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Cokernel
Injective homomorphism
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Monomorphism
Homological construction in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Derived_functor
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Stable_∞-category
Category with direct sums and certain types of kernels and cokernels
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Abelian_category
Generalization of category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
2-category
Tool to track locally defined data attached to the open sets of a topological space
{\displaystyle \pi :E\to X} be the natural projection. Consider the overcategory Top / X {\displaystyle {\text{Top}}/X} of topological spaces over X {\displaystyle
Sheaf_(mathematics)
Special case of colimit in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Direct_limit
Mathematical construction used in homotopy theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Simplicial_set
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Glossary_of_category_theory
Category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Kleisli_category
Category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Pre-abelian_category
Applications of category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Applied_category_theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Lift_(mathematics)
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Tetracategory
Concept in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Monoidal_functor
Type of category in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Additive_category
Bi-universal property in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Zero_morphism
Type of category in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Cartesian_closed_category
Generalized object in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Product_(category_theory)
Mathematics construct
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Comma_category
Category whose objects and morphisms are inside a bigger category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Subcategory
Variant of the notion of the center of a monoid, group, or ring to a category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Center_(category_theory)
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Fundamental_groupoid
Hypothesis in mathematical category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Homotopy_hypothesis
Object in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Natural_numbers_object
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Diagonal_functor
Concept in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Fibred_category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Free_category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
2-group
Correspondence between properties of a category and its opposite
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Dual_(category_theory)
Type of quotient object in mathematics
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Quotient_category
Graphical representation of a morphism
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
String_diagram
Category of non-empty finite ordinals and order-preserving maps
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Simplex_category
Functor that preserves short exact sequences
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Exact_functor
( A ∖ R ) / B {\displaystyle (A\backslash R)/B} be the associatived overcategory of objects in A ∖ R {\displaystyle A\backslash R} , then an H-object
H-object
Generalization of algebraic spaces or schemes
{\displaystyle {\mathcal {X}}} is a category fibered in groupoids, meaning the overcategory for some π : X → S {\displaystyle \pi :X\to S} is a groupoid The diagonal
Algebraic_stack
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Conservative_functor
Categorical generalization of a function space in set theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Exponential_object
Mathematical structures in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Functor_category
Category in which all small limits exist
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Complete_category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Essentially surjective functor
Essentially_surjective_functor
Surjective homomorphism
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Epimorphism
Mathematical concept
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
End_(category_theory)
Product of two categories, in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Product_category
{\displaystyle I} is a B {\displaystyle B} -module. Then, there is an overcategory denoted Exal _ A {\displaystyle {\underline {\text{Exal}}}_{A}} (meaning
Exalcomm
Generalization of a category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Quasi-category
Higher categorical generalization of a topos
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
∞-topos
Symmetric monoidal category with a special involution
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Dagger symmetric monoidal category
Dagger_symmetric_monoidal_category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
N-group_(category_theory)
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
2-ring
Study of categorified structures
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Higher-dimensional_algebra
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Refinement_(category_theory)
Overview of and topical guide to category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Outline_of_category_theory
Connects set theory with category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Categorification
Aspect of category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Coequalizer
Concept in mathematical category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Symmetric_monoidal_category
Mathematical category formed by reversing morphisms
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Opposite_category
Concept in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Forgetful_functor
Abstract homotopical model for topological spaces
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
∞-groupoid
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Smooth_functor
Aspect of category theory in mathematics
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Rig_category
Concept in category concept
vertex, whence the global elements of a graph are its self-loops. In an overcategory C / B {\displaystyle {\mathcal {C}}/B} , the object B → id B {\displaystyle
Global_element
Category whose hom sets have algebraic structure
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Enriched_category
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY
Boy/Male
Muslim
Resembling
Boy/Male
Indian, Sanskrit
Lord Shrinathji in Gujarat
Surname or Lastname
English
English : variant of Harold.German, Dutch, and French : from the Germanic personal name Hari(o)wald (see Harold 1).French (Hérold) : status name for a herald, Old French herau(l)t (see Harold 2).Jewish (Ashkenazic) : ornamental name from German Herold ‘herald’ (see 3).
Boy/Male
American, British, Celtic, Danish, Dutch, English, Gaelic, German, Irish, Jamaican
Warrior; Lively; Aggressive; Strife War; Bright Headed
Boy/Male
Tamil
Blessings of God
Boy/Male
Muslim/Islamic
Useful
Boy/Male
British, Hindu, Indian, Spanish
The Impossible Dream
Girl/Female
Indian
Capable
Boy/Male
Arabic, Muslim
A Persian Construction Probably from the Arabic Mawla (Master; Leader; Lord)
Girl/Female
Arabic, Muslim
Name of the Prophet's Daughter
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY