|
David Spivak
David Isaac Spivak is an American mathematician and senior scientist at the Topos Institute. He has worked on applications of category theory, in particular ologs and operadic compositionality of dynamical systems. He authored and coauthored the introductory texts on category theory and its applications, ''Category Theory for the Sciences'' and ''An Invitation to Applied Category Theory''. Early life and education Spivak received his PhD in mathematics from UC Berkeley in 2007 under the supervision of Peter Teichner and Jacob Lurie. His thesis was on derived manifolds, Spivak worked as a postdoc at the University of Oregon and Massachusetts Institute of Technology. Work Spivak and Robert Kent developed a human-readable categorical system of knowledge representation called ologs. These were applied, in a series of collaborations with the materials scientist Markus Buehler, to different problems in that materials science. Ologs have been also used by researchers at NIST. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Los Angeles
Los Angeles ( ; es, Los Ángeles, link=no , ), often referred to by its initials L.A., is the largest city in the state of California and the second most populous city in the United States after New York City, as well as one of the world's most populous megacities. Los Angeles is the commercial, financial, and cultural center of Southern California. With a population of roughly 3.9 million residents within the city limits , Los Angeles is known for its Mediterranean climate, ethnic and cultural diversity, being the home of the Hollywood film industry, and its sprawling metropolitan area. The city of Los Angeles lies in a basin in Southern California adjacent to the Pacific Ocean in the west and extending through the Santa Monica Mountains and north into the San Fernando Valley, with the city bordering the San Gabriel Valley to it's east. It covers about , and is the county seat of Los Angeles County, which is the most populous county in the United States with an estim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Oregon
The University of Oregon (UO, U of O or Oregon) is a public research university in Eugene, Oregon. Founded in 1876, the institution is well known for its strong ties to the sports apparel and marketing firm Nike, Inc, and its co-founder, billionaire Phil Knight. UO is also known for serving as the filming location for the 1978 cult classic ''National Lampoon's Animal House''. UO's 295-acre campus is situated along the Willamette River. The school also has a satellite campus in Portland; a marine station, called the Oregon Institute of Marine Biology, in Charleston; and an observatory, called Pine Mountain Observatory, in Central Oregon. UO's colors are green and yellow. The University of Oregon is organized into nine colleges and schools: the College of Arts and Sciences, Charles H. Lundquist College of Business, College of Design, College of Education, Robert D. Clark Honors College, School of Journalism and Communication; School of Law; School of Music and Dance; and the Gra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theorists
Category, plural categories, may refer to: Philosophy and general uses *Categorization, categories in cognitive science, information science and generally *Category of being *Categories (Aristotle), ''Categories'' (Aristotle) *Category (Kant) *Categories (Peirce) *Category (Vaisheshika) *Stoic categories *Category mistake Mathematics * Category (mathematics), a structure consisting of objects and arrows * Category (topology), in the context of Baire spaces * Lusternik–Schnirelmann category, sometimes called ''LS-category'' or simply ''category'' * Categorical data, in statistics Linguistics *Lexical category, a part of speech such as ''noun'', ''preposition'', etc. *Syntactic category, a similar concept which can also include phrasal categories *Grammatical category, a grammatical feature such as ''tense'', ''gender'', etc. Other * Category (chess tournament) * Objective-C#Categories, Objective-C categories, a computer programming concept * Pregnancy category * Prisoner s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century American Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius ( AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman empero ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Male Non-fiction Writers
American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, people who self-identify their ancestry as "American" ** American English, the set of varieties of the English language native to the United States ** Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Textbook Writers
American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, people who self-identify their ancestry as "American" ** American English, the set of varieties of the English language native to the United States ** Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diamond Open Access
Diamond open access refers to academic texts (such as monographs, edited collections, and journal articles) published/distributed/preserved with no fees to either reader or author. Alternative labels include platinum open access, non-commercial open access, cooperative open access or, more recently, open access commons. While these terms were first coined in the 2000s and the 2010s, they have been retroactively applied to a variety of structures and forms of publishing, from subsidized university publishers to volunteer-run cooperatives that existed in prior decades. In 2021, it is estimated that between 17,000 and 29,000 scientific journals rely on a diamond open access model. They make up for 73% of the journals registered in the Directory of Open Access Journals and 44% of the articles, as their mean output is smaller than commercial journals. The diamond model has been especially successful in Latin America-based journals (95% of OA journals) following the emergence of large pu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Applied Category Theory
Applied category theory is an Discipline (academia), academic discipline in which methods from category theory are used to study other fields including but not limited to computer science, physics (in particular Categorical quantum mechanics, quantum mechanics), natural language processing, control theory, probability theory and causality. The application of category theory in these domains can take different forms. In some cases the formalization of the domain into the language of category theory is the goal, the idea here being that this would elucidate the important structure and properties of the domain. In other cases the formalization is used to leverage the power of abstraction in order to prove new results about the field. List of applied category theorists * Samson Abramsky * John C. Baez * Bob Coecke * Joachim Lambek * Valeria de Paiva * Gordon Plotkin * Dana Scott * David Spivak See also * Categorical quantum mechanics * ZX-calculus * DisCoCat * Petri net * Unival ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operads
In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad O, one defines an ''algebra over O'' to be a set together with concrete operations on this set which behave just like the abstract operations of O. For instance, there is a Lie operad L such that the algebras over L are precisely the Lie algebras; in a sense L abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations. History Operads originate in algebraic topology; they were introduced to characterize iterated loop spaces by J. Michael Boardman and Rainer M. Vogt in 1969 and by J. Peter May in 1970. The word "operad" was created by May as a portmanteau of "operations" and "monad" (and also because his mother was an opera singer). Interest in operads was cons ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Piet Hut
Piet Hut (born September 26, 1952) is a Dutch-American astrophysicist, who divides his time between research in computer simulations of dense stellar systems and broadly interdisciplinary collaborations, ranging from other fields in natural science to computer science, cognitive psychology and philosophy. He is currently the Head of the Program in Interdisciplinary Studies at the Institute for Advanced Study (IAS) in Princeton, New Jersey, USA. Asteroid 17031 Piethut is named after him, in honor of his work in planetary dynamics and for co-founding the B612 Foundation, which focuses on prevention of asteroid impacts on Earth. Career In the Netherlands, Hut did a double PhD program, at Utrecht University, in particle physics under Martinus Veltman and in Amsterdam in astrophysics under Ed van den Heuvel, resulting in a PhD at the University of Amsterdam. Previously an assistant professor at the University of California, Berkeley, Hut was in 1985, at the age of 32, appointed as a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
NIST
The National Institute of Standards and Technology (NIST) is an agency of the United States Department of Commerce whose mission is to promote American innovation and industrial competitiveness. NIST's activities are organized into physical science laboratory programs that include nanoscale science and technology, engineering, information technology, neutron research, material measurement, and physical measurement. From 1901 to 1988, the agency was named the National Bureau of Standards. History Background The Articles of Confederation, ratified by the colonies in 1781, provided: The United States in Congress assembled shall also have the sole and exclusive right and power of regulating the alloy and value of coin struck by their own authority, or by that of the respective states—fixing the standards of weights and measures throughout the United States. Article 1, section 8, of the Constitution of the United States, ratified in 1789, granted these powers to the new Congre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
