Category of small categoriesIn mathematics, specifically in , the category of small categories, denoted by Cat, is the whose objects are all and whose morphisms are functors between categories. Cat may actually be regarded as a with natural transformations serving as 2-morphisms. The initial object of Cat is the empty category 0, which is the category of no objects and no morphisms. The terminal object is the terminal category or trivial category 1 with a single object and morphism. The category Cat is itself a , and therefore not an object of itself.
Category of ringsIn mathematics, the category of rings, denoted by Ring, is the whose objects are rings (with identity) and whose morphisms are ring homomorphisms (that preserve the identity). Like many categories in mathematics, the category of rings is , meaning that the class of all rings is proper. The category Ring is a meaning that the objects are sets with additional structure (addition and multiplication) and the morphisms are functions that preserve this structure.
IdeaIn common usage and in philosophy, ideas are the results of thought. Also in philosophy, ideas can also be mental representational images of some object. Many philosophers have considered ideas to be a fundamental ontological . The capacity to create and understand the meaning of ideas is considered to be an essential and defining feature of human beings. An idea arises in a reflexive, spontaneous manner, even without thinking or serious reflection, for example, when we talk about the idea of a person or a place.
AestheticismAestheticism (also the aesthetic movement) was an art movement in the late 19th century that valued the appearance of literature, music , and the arts over their functions. According to Aestheticism, art should be produced to be beautiful, rather than to teach a lesson, create a parallel, or perform another didactic purpose, a sentiment best illustrated by the slogan "art for art's sake". Aestheticism originated in 1860s England with a radical group of artists and designers, including William Morris and Dante Gabriel Rossetti.
Enriched categoryIn , a branch of mathematics, an enriched category generalizes the idea of a by replacing hom-sets with objects from a general . It is motivated by the observation that, in many practical applications, the hom-set often has additional structure that should be respected, e.g., that of being a vector space of morphisms, or a topological space of morphisms. In an enriched category, the set of morphisms (the hom-set) associated with every pair of objects is replaced by an in some fixed monoidal category of "hom-objects".
LisbonLisbon (ˈlɪzbən; Lisboa liʒˈβoɐ) is the capital and largest city of Portugal, with an estimated population of 545,796 within its administrative limits in an area of 100.05 km2. Lisbon's urban area extends beyond the city's administrative limits with a population of around 2.7 million people, being the 11th-most populous urban area in the European Union. About 3 million people live in the Lisbon metropolitan area, making it the third largest metropolitan area in the Iberian Peninsula, after Madrid and Barcelona.
ArtArt is a diverse range of human activity, and resulting product, that involves creative or imaginative talent expressive of technical proficiency, beauty, emotional power, or conceptual ideas. There is no generally agreed definition of what constitutes art, and its interpretation has varied greatly throughout history and across cultures. In the Western tradition, the three classical branches of visual art are painting, sculpture, and architecture.
Category theoryCategory theory is a general theory of mathematical structures and their relations that 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, numerous constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories.
ConceptA Concept is defined as an abstract idea. It is understood to be a fundamental building block underlying principles, thoughts and beliefs. Concepts play an important role in all aspects of cognition. As such, concepts are studied within such disciplines as linguistics, psychology, and philosophy, and these disciplines are interested in the logical and psychological structure of concepts, and how they are put together to form thoughts and sentences.
Quasi-categoryIn mathematics, more specifically , a quasi-category (also called quasicategory, weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex, quategory) is a generalization of the notion of a . The study of such generalizations is known as . Quasi-categories were introduced by . André Joyal has much advanced the study of quasi-categories showing that most of the usual basic and some of the advanced notions and theorems have their analogues for quasi-categories.
