What are objects in category theory?
Each category is distinguished by properties that all its objects have in common, such as the empty set or the product of two topologies, yet in the definition of a category, objects are considered atomic, i.e., we do not know whether an object A is a set, a topology, or any other abstract concept.
What are sub objects in OOP?
subobject: Any object that is stored within another object (array elements, base class objects and data member objects). sub-class: A general object orientation term refering to what in C++ is called the “derived class”
Who invented category theory?
Saunders Mac Lane
The classic is Categories for the Working Mathematician by Saunders Mac Lane who, along with Samuel Eilenberg, developed category theory in the 1940s.
Is algebra A category theory?
In category theory, a field of mathematics, a category algebra is an associative algebra, defined for any locally finite category and commutative ring with unity.
What is a subcategory in math?
Subcategory. In mathematics, a subcategory of a category C is a category S whose objects are objects in C and whose morphisms are morphisms in C with the same identities and composition of morphisms. Intuitively, a subcategory of C is a category obtained from C by “removing” some of its objects and arrows.
What is subtyping in programming language?
In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions.
What is a supertype programming?
Supertype – A class type or interface type is a supertype relative to another type, if its corresponding class or interface has been extended or implemented directly or indirectly by the class or interface of the other type.