Skip to main content
Top

2015 | OriginalPaper | Chapter

8. Categories

Author : Jürgen Jost

Published in: Mathematical Concepts

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This chapter will introduce the abstract and universal constructions of category theory.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
Some history about how those names evolved can be found in [82], and of course, this development possesses some internal consistency that may serve as a justification for the choice of terminology.
 
2
Denoting that object by 1 is not meant to carry any implications; in particular, this neither means a terminal object nor an identity element. It is simply an arbitrary label, like others used below, including \(0,2,3,\ldots \)
 
3
The name “exponential” seems to derive from the notation employed. It has little to do with the exponential function in analysis or the exponential map in Riemannian geometry and Lie groups. Perhaps a small justification is the following. When B and C are finite sets with n and m elements, resp., then the set \(C^B\) has \(m^n\) elements.
 
4
In order to facilitate the reading for those who are not accustomed to the abstract language employed in category theory, we try to spell out all the details. Therefore, more advanced readers can skip much of what follows below.
 
5
The scalar product \(\langle .,.\rangle :H\times H \rightarrow {\mathbb R}\) is symmetric, bilinear, and positive definite, that is,
$$\begin{aligned} \langle v,w\rangle = \langle w,v\rangle&\text { for all }v,w \in H\\ \langle \alpha v_1 +\beta v_2,w\rangle = \alpha \langle v_1,w\rangle + \beta \langle v_2,w\rangle&\text { for all }\alpha , \beta \in {\mathbb R}, v_1,v_2,w \in H\\ \langle v, v\rangle >0&\text { for all }v\ne 0 \in H.\\ \end{aligned}$$
.
 
Metadata
Title
Categories
Author
Jürgen Jost
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-20436-9_8

Premium Partner