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)
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
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
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
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
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
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
Category-theoretic construction
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Coproduct
Mathematical category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Topos
Mapping between categories
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Functor
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
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
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)
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)
Monoidal category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Tannakian_formalism
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)
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
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
Functor type
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Representable_functor
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Glossary_of_category_theory
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
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)
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
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
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
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
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
(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 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
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
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
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
Injective homomorphism
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Monomorphism
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
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
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
2-ring
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
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
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
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
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)
Mathematics construct
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Comma_category
(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
Refinement_(category_theory)
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
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
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)
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)
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Diagonal_functor
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
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
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)
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Fundamental_groupoid
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
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)
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)
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
Category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Pre-abelian_category
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Stable_∞-category
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
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
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
Surjective homomorphism
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Epimorphism
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
N-group_(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
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
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
(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
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
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
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)
Category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Kleisli_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
(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
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Smooth_functor
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)
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
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
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
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
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
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
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
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
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
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
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
( 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
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
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
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
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
{\displaystyle I} is a B {\displaystyle B} -module. Then, there is an overcategory denoted Exal _ A {\displaystyle {\underline {\text{Exal}}}_{A}} (meaning
Exalcomm
Concept in category theory
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
Point-surjective_morphism
(Fields) Modules (Vector spaces) Constructions on categories Comma category Overcategory Free category Functor category Kleisli category Localization of a category
List_object
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY
Biblical
the two watch-towers
Male
English
 English name derived from Latin Franciscus, FRANCIS means "French." This name is sometimes mistakenly given to girls instead of the identically pronounced feminine form, Frances.
Boy/Male
Indian
Lord Krishna's Childhood Place; Beautiful
Girl/Female
Biblical
Reckoned, prepared.
Female
English
Feminine form of Latin Martinus, MARTINA means "of/like Mars."Â
Girl/Female
Biblical, British, English
Buckler; Coldness
Boy/Male
German, Portuguese
Home Ruler
Girl/Female
Tamil
Attractive
Girl/Female
Australian, Spanish
Grace; Favor; Similar to Anna
Girl/Female
Irish
Little fire.
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY
OVERCATEGORY