Heinrich Kleisli
Heinrich Kleisli (; October 19, 1930 – April 5, 2011) was a Swiss mathematician. He is the namesake of several constructions in category theory, including the Kleisli category and Kleisli triples. He is also the namesake of the Kleisli Query System, a tool for integration of heterogeneous databases developed at the University of Pennsylvania. Kleisli earned his Ph.D. at ETH Zurich in 1960, having been supervised by Beno Eckmann and Ernst Specker. His dissertation was on homotopy and abelian categories. He served as an associate professor at the University of Ottawa before relocating to the University of Fribourg The University of Fribourg (french: Université de Fribourg; german: Universität Freiburg) is a public university located in Fribourg, Switzerland. The roots of the university can be traced back to 1580, when the notable Jesuit Peter Canisi ... in 1966. He became a full professor at Fribourg in 1967. External links * In memoriam: Prof. emerit. Heinri ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Homotopy
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (, ; , ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
ETH Zurich Alumni
(colloquially) , former_name = eidgenössische polytechnische Schule , image = ETHZ.JPG , image_size = , established = , type = Public , budget = CHF 1.896 billion (2021) , rector = Günther Dissertori , president = Joël Mesot , academic_staff = 6,612 (including doctoral students, excluding 527 professors of all ranks, 34% female, 65% foreign nationals) (full-time equivalents 2021) , administrative_staff = 3,106 (40% female, 19% foreign nationals, full-time equivalents 2021) , students = 24,534 (headcount 2021, 33.3% female, 37% foreign nationals) , undergrad = 10,642 , postgrad = 8,299 , doctoral = 4,460 , other = 1,133 , address = Rämistrasse 101CH-8092 ZürichSwitzerland , city = Zürich , coor = , campus = Urban , language = German, English (Masters and upwards, sometimes Bachelor) , affiliations = CESAER, EUA, GlobalTech, IARU, IDEA League, UNITECH , website ethz.ch, colors = Black and White , logo = ETH Zürich Logo black.svg ETH Züric ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Swiss Mathematicians
Swiss may refer to: * the adjectival form of Switzerland *Swiss people Places *Swiss, Missouri * Swiss, North Carolina *Swiss, West Virginia *Swiss, Wisconsin Other uses *Swiss-system tournament, in various games and sports *Swiss International Air Lines **Swiss Global Air Lines, a subsidiary *Swissair, former national air line of Switzerland *.swiss alternative TLD for Switzerland See also *Swiss made, label for Swiss products *Swiss cheese (other) *Switzerland (other) *Languages of Switzerland, none of which are called "Swiss" *International Typographic Style, also known as Swiss Style, in graphic design *Schweizer (other), meaning Swiss in German *Schweitzer, a family name meaning Swiss in German *Swisse Swisse is a vitamin, supplement, and skincare brand. Founded in Australia in 1969 and globally headquartered in Melbourne, and was sold to Health & Happiness, a Chinese company based in Hong Kong previously known as Biostime International, in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
1930 Births
Year 193 ( CXCIII) was a common year starting on Monday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Sosius and Ericius (or, less frequently, year 946 '' Ab urbe condita''). The denomination 193 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe for naming years. Events By place Roman Empire * January 1 – Year of the Five Emperors: The Roman Senate chooses Publius Helvius Pertinax, against his will, to succeed the late Commodus as Emperor. Pertinax is forced to reorganize the handling of finances, which were wrecked under Commodus, to reestablish discipline in the Roman army, and to suspend the food programs established by Trajan, provoking the ire of the Praetorian Guard. * March 28 – Pertinax is assassinated by members of the Praetorian Guard, who storm the imperial palace. The Empire is auctioned o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
2011 Deaths
This is a list of deaths of notable people, organised by year. New deaths articles are added to their respective month (e.g., Deaths in ) and then linked here. 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 See also * Lists of deaths by day The following pages, corresponding to the Gregorian calendar, list the historical events, births, deaths, and holidays and observances of the specified day of the year: Footnotes See also * Leap year * List of calendars * List of non-standard ... * Deaths by year {{DEFAULTSORT:deaths by year ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of Fribourg
The University of Fribourg (french: Université de Fribourg; german: Universität Freiburg) is a public university located in Fribourg, Switzerland. The roots of the university can be traced back to 1580, when the notable Jesuit Peter Canisius founded the Collège Saint-Michel in the City of Fribourg. In 1763, an academy of law was founded by the state of Fribourg which formed the nucleus of the present Law Faculty. The University of Fribourg was finally created in 1889 by an Act of the parliament of the Swiss Canton of Fribourg. The University of Fribourg is Switzerland's only bilingual university and offers full curricula in both French and German, two of Switzerland's national languages. Students number about 10,000; there are about 200 tenured professors and 700 other academic teaching and research personnel. The Misericorde Campus, constructed between 1939 and 1942, was designed by the architects Honegger and Dumas, students of Swiss architect Le Corbusier. There are five ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of Ottawa
The University of Ottawa (french: Université d'Ottawa), often referred to as uOttawa or U of O, is a bilingual public research university in Ottawa, Ontario, Canada. The main campus is located on directly to the northeast of Downtown Ottawa across the Rideau Canal in the Sandy Hill neighbourhood. The University of Ottawa was first established as the College of Bytown in 1848 by the first bishop of the Catholic Archdiocese of Ottawa, Joseph-Bruno Guigues. Placed under the direction of the Oblates of Mary Immaculate, it was renamed the College of Ottawa in 1861 and received university status five years later through a royal charter. On 5 February 1889, the university was granted a pontifical charter by Pope Leo XIII, elevating the institution to a pontifical university. The university was reorganized on July 1, 1965, as a corporation, independent from any outside body or religious organization. As a result, the civil and pontifical charters were kept by the newly created S ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Abelian Categories
In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of abelian groups, Ab. The theory originated in an effort to unify several cohomology theories by Alexander Grothendieck and independently in the slightly earlier work of David Buchsbaum. Abelian categories are very ''stable'' categories; for example they are regular and they satisfy the snake lemma. The class of abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are named a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ernst Specker
Ernst Paul Specker (11 February 1920, Zurich – 10 December 2011, Zurich) was a Swiss mathematician. Much of his most influential work was on Quine's New Foundations, a set theory with a universal set, but he is most famous for the Kochen–Specker theorem in quantum mechanics, showing that certain types of hidden variable theories are impossible. He also proved the ordinal partition relation ω2 → (ω2,3)2, thereby solving a problem of Erdős. Specker received his Ph.D. in 1949 from ETH Zurich, where he remained throughout his professional career. See also * Specker sequence * Baer-Specker group References External links Biography at the University of St. Andrews (Aien aristeuein) , motto_lang = grc , mottoeng = Ever to ExcelorEver to be the Best , established = , type = Public research university Ancient university , endowment ... Ernst Specker (1920-2011) Martin Fürer, Janu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Swiss (people)
The Swiss people (german: die Schweizer, french: les Suisses, it, gli Svizzeri, rm, ils Svizzers) are the citizens of Switzerland or people of Swiss ancestry. The number of Swiss nationals has grown from 1.7 million in 1815 to 8.7 million in 2020. More than 1.5 million Swiss citizens hold multiple citizenship. About 11% of citizens live abroad (0.8 million, of whom 0.6 million hold multiple citizenship). About 60% of those living abroad reside in the European Union (0.46 million). The largest groups of Swiss descendants and nationals outside Europe are found in the United States, Brazil and Canada. Although the modern state of Switzerland originated in 1848, the period of romantic nationalism, it is not a nation-state, and the Swiss are not a single ethnic group, but rather are a confederacy (') or ' ("nation of will", "nation by choice", that is, a consociational state), a term coined in conscious contrast to "nation" in the conventionally linguistic or ethnic se ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Beno Eckmann
Beno Eckmann (31 March 1917 – 25 November 2008) was a Swiss mathematician who made contributions to algebraic topology, homological algebra, group theory, and differential geometry. Life Born in Bern, Eckmann received his master's degree from Eidgenössische Technische Hochschule Zürich (ETH) in 1939. Later he studied there under Heinz Hopf, obtaining his Ph.D. in 1941. Eckmann was the 2008 recipient of the Albert Einstein Medal. Legacy Calabi–Eckmann manifolds, Eckmann–Hilton duality, the Eckmann–Hilton argument, and the Eckmann–Shapiro lemma are named after Eckmann. Family Eckmann's son is mathematical physicist Mathematical physics refers to the development of mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the developmen ... Jean-Pierre Eckmann. [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |