|
André Joyal (economist)
André Joyal (; born 1943) is a professor of mathematics at the Université du Québec à Montréal who works on category theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2013, where he was invited to join the ''Special Year on Univalent Foundations of Mathematics''. Research He discovered Kripke–Joyal semantics, the theory of combinatorial species and with Myles Tierney a generalization of the Galois theory of Alexander Grothendieck in the setup of locales. Most of his research is in some way related to category theory, higher category theory and their applications. He did some work on quasi-categories, after their invention by Michael Boardman and Rainer Vogt, in particular conjecturing and proving the existence of a Quillen model structure on the category of simplicial sets whose weak equivalences generalize both equivalence of categories and Kan equivalence of spaces, which is now known as Joyal model structure. He co-autho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Drummondville
Drummondville () is a city in the Centre-du-Québec region of Quebec, located east of Montreal on the Saint-François River. The population as of the Canada 2021 Census was 79,258. The mayor of Drummondville is Stéphanie Lacoste. Drummondville is the seat of Drummond Regional County Municipality, and of the Judicial districts of Quebec, judicial district of Drummond. History Drummondville was founded in June 1815 by Lieutenant-Colonel Frederick Heriot. The purpose of the town was to provide a home for United Kingdom, British soldiers in the War of 1812, and to guard the Saint-François (St Francis) River against United States, American attacks. The town was named after Sir Gordon Drummond, the Lieutenant Governor of Upper Canada between 1813 and 1816. The construction of the Hemmings Falls hydro-electric dam in 1920 brought a new wave of industrial growth to the Drummondville area. Several outlying municipalities have been amalgamated into Drummondville since the 1950s: *1955 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Boardman
John Michael Boardman (13 February 193818 March 2021) was a mathematician whose speciality was algebraic and differential topology. He was affiliated with the University of Cambridge, England and the Johns Hopkins University in Baltimore, Maryland. Boardman was most widely known for his construction of the first rigorously correct model of the homotopy category of spectra. He received his PhD from the University of Cambridge in 1964. His thesis advisor was C. T. C. Wall. In 2012 he became a fellow of the American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, .... He died on 18 March 2021. Selected publications * * References Further reading * External links * Alumni of the University of Cambridge 20th-century American mathematicians 21st-ce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1943 Births
Events Below, the events of World War II have the "WWII" prefix. January * January 1 – WWII: The Soviet Union announces that 22 German divisions have been encircled at Stalingrad, with 175,000 killed and 137,650 captured. * January 4 – WWII: Greek-Polish athlete and saboteur Jerzy Iwanow-Szajnowicz is executed by the Germans at Kaisariani. * January 10 – WWII: Guadalcanal campaign, Guadalcanal Campaign: American forces of the 2nd Marine Division and the 25th Infantry Division (United States), 25th Infantry Division begin their assaults on the Battle of Mount Austen, the Galloping Horse, and the Sea Horse#Galloping Horse, Galloping Horse and Sea Horse on Guadalcanal. Meanwhile, the Japanese Seventeenth Army (Japan), 17th Army makes plans to abandon the island and after fierce resistance withdraws to the west coast of Guadalcanal. * January 11 ** The United States and United Kingdom revise previously unequal treaty relationships with the Republic of China (1912–194 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Purpose: Because living persons may suffer personal harm from inappropriate information, we should watch their articles carefully. By adding an article to this category, it marks them with a notice about sources whenever someone tries to edit them, to remind them of WP:BLP (biographies of living persons) policy that these articles must maintain a neutral point of view, maintain factual accuracy, and be properly sourced. Recent changes to these articles are listed on Special:RecentChangesLinked/Living people. Organization: This category should not be sub-categorized. Entries are generally sorted by family name In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several give .... Maintenance: Individuals of advanced age (over 90), for whom there has been no new documentation in the last ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joyal's Theta Category
In mathematics, especially category theory, Joyal's theta category \Theta is an alternative to the simplex category \Delta. It was introduced by André Joyal to give a definition of an ∞-category using \Theta-sets = presheaves on \Theta instead of simplicial sets = presheaves on \Delta. Namely, in the definition of Boardman and Vogt (which is the standard definition today), an ∞-category is defined as a simplicial set satisfying the weak Kan condition. In a similar way, Joyal proposed to define an ∞-category as a \Theta-set satisfying the weak Kan condition. In practice, the category \Theta is often used to define (∞, n)-categories. See also *test category ''Pursuing Stacks'' () is an influential 1983 mathematical manuscript by Alexander Grothendieck. It consists of a 12-page letter to Daniel Quillen followed by about 600 pages of research notes. The topic of the work is a generalized homotopy theo ... Notes References * * * Further reading * http://pantodon.j ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joyal's Theorem
In mathematics, Joyal's theorem is a theorem in homotopy theory that provides necessary and sufficient conditions for the solvability of a certain lifting problem involving simplicial sets. In particular, in higher category theory, it proves the statement "an ∞-groupoid is a Kan complex", which is a version of the homotopy hypothesis. The theorem was introduced by André Joyal. Joyal extension theorem Let C be quasicategory and let u:X \rightarrow Y be a morphism of C. The following conditions are equivalent: (1) The morphism u is an isomorphism. (2) Let n \geq 2 and let \sigma_0 : \Lambda^n_0 \to C be a morphism of simplicial sets for which the initial edge \Delta^1 \cong N_( \ ) \rightarrow \Lambda^n_ 0 \xrightarrow C is equal to u. Then \sigma_0 can be extended to an ''n''-simplex \sigma : \Delta^n \to C. (3) Let n \geq 2 and let \sigma_0 : \Lambda^n_n \rightarrow C be a morphism of simplicial sets for which the initial edge \Delta^1 \cong N_( \ ) \rightarrow \Lambda^n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Proceedings Of The Cambridge Philosophical Society
''Mathematical Proceedings of the Cambridge Philosophical Society'' is a mathematical journal published by Cambridge University Press for the Cambridge Philosophical Society. It aims to publish original research papers from a wide range of pure and applied mathematics. The journal, titled ''Proceedings of the Cambridge Philosophical Society'' before 1975, has been published since 1843. Abstracting and indexing The journal is abstracted and indexed in *MathSciNet *Science Citation Index Expanded *Scopus *ZbMATH Open See also *Cambridge Philosophical Society The Cambridge Philosophical Society (CPS) is a scientific society at the University of Cambridge. It was founded in 1819. The name derives from the medieval use of the word philosophy to denote any research undertaken outside the fields of law ... External linksofficial website References Academic journals associated with learned and professional societies Cambridge University Press academic journals Mathematics e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Advances In Mathematics
''Advances in Mathematics'' is a peer-reviewed scientific journal covering research on pure mathematics. It was established in 1961 by Gian-Carlo Rota. The journal publishes 18 issues each year, in three volumes. At the origin, the journal aimed at publishing articles addressed to a broader "mathematical community", and not only to mathematicians in the author's field. Herbert Busemann writes, in the preface of the first issue, "The need for expository articles addressing either all mathematicians or only those in somewhat related fields has long been felt, but little has been done outside of the USSR. The serial publication ''Advances in Mathematics'' was created in response to this demand." Abstracting and indexing The journal is abstracted and indexed in: * [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Pure And Applied Algebra
The ''Journal of Pure and Applied Algebra'' is a monthly peer-reviewed scientific journal covering that part of algebra likely to be of general mathematical interest: algebraic results with immediate applications, and the development of algebraic theories of sufficiently general relevance to allow for future applications. Its founding editors-in-chief were Peter J. Freyd (University of Pennsylvania) and Alex Heller (City University of New York). The current managing editors are Srikanth Iyengar (University of Utah), Charles Weibel (Rutgers University), and Aldo Conca ( Università di Genova). Abstracting and indexing The journal is abstracted and indexed in Current Contents/Physics, Chemical, & Earth Sciences, Mathematical Reviews, PASCAL, Science Citation Index, Zentralblatt MATH, and Scopus. According to the ''Journal Citation Reports'', the journal has a 2016 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a type of journal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Montreal
Montreal is the List of towns in Quebec, largest city in the Provinces and territories of Canada, province of Quebec, the List of the largest municipalities in Canada by population, second-largest in Canada, and the List of North American cities by population, ninth-largest in North America. It was founded in 1642 as ''Fort Ville-Marie, Ville-Marie'', or "City of Mary", and is now named after Mount Royal, the triple-peaked mountain around which the early settlement was built. The city is centred on the Island of Montreal and a few, much smaller, peripheral islands, the largest of which is Île Bizard. The city is east of the national capital, Ottawa, and southwest of the provincial capital, Quebec City. the city had a population of 1,762,949, and a Census geographic units of Canada#Census metropolitan areas, metropolitan population of 4,291,732, making it the List of census metropolitan areas and agglomerations in Canada, second-largest metropolitan area in Canada. French l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ieke Moerdijk
Izak "Ieke" Moerdijk (; born 23 January 1958) is a Dutch mathematician, currently working at Utrecht University, who in 2012 won the Spinoza Prize. Education and career Moerdijk studied mathematics, philosophy and general linguistics at the University of Amsterdam. He obtained his PhD ''cum laude'' in 1985 at the same institution. His thesis was entitled ''Topics in intuitionism and topos theory'' and was written under the supervision of Anne Sjerp Troelstra. After that, he worked as postdoctoral researcher at the University of Chicago and University of Cambridge, Cambridge. From 1988 to 2011 he was professor at Utrecht University. After working at the Mathematical Institute of the Radboud University Nijmegen for a few years, he returned to Utrecht University in 2016. In 2000 Moerdijk was an invited speaker to the 3rd European Congress of Mathematics. He was elected member of the Royal Netherlands Academy of Arts and Sciences in 2006 and of the Academia Europaea in 2014. Moerd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kan Equivalence
Kan or KAN may refer to: Places * Kan (river), a tributary of the Yenisey in Russia * Kan District of Iran * Kan, Kyrgyzstan, a village in Batken Region * Mallam Aminu Kano International Airport, Kano, Nigeria, IATA code * Kannapolis (Amtrak station), North Carolina, US, station code * Kansas, a U.S. state People * Kan (surname), including a list of people with the surname * One of the Bacabs of Mayan mythology * Kan (musician), Japanese singer-songwriter * Kan Shimozawa (1892–1968), Japanese novelist * Kan Otake (born 1983), Japanese professional baseball player * Kanye West, American musician who is sometimes known as just "Kan". Music * Kan (song), "Kan" (song), Israeli Eurovision song in 1991 * KAN, UK folk supergroup with Brian Finnegan and Aidan O'Rourke (musician), Aidan O'Rourke In science and technology * ''kan'', PDP ligand, kanamycin A * Iwasawa decomposition of a Lie group in mathematics Weights and measures * A Japanese units of measurement#Mass, Japanese unit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
