Home › Quizzes › Category Theory and Algebra

Category Theory and Algebra

Category Theory and Algebra Quiz

15 Questions Published
Play Quiz Practise this topic out loud

Questions

Question 1 Multiple Choice (Single Answer)

In category theory, what is a functor?

  1. A mapping between two categories that preserves the structure of the categories.
  2. A function between two sets that preserves the structure of the sets.
  3. A relation between two sets that preserves the structure of the sets.
  4. A mapping between two categories that preserves the structure of the categories and their morphisms.
Question 2 Multiple Choice (Single Answer)

What is an isomorphism in category theory?

  1. A functor that is bijective on objects and morphisms.
  2. A functor that is injective on objects and morphisms.
  3. A functor that is surjective on objects and morphisms.
  4. A functor that is bijective on objects but not necessarily on morphisms.
Question 3 Multiple Choice (Single Answer)

What is the category of sets?

  1. The category whose objects are sets and whose morphisms are functions between sets.
  2. The category whose objects are sets and whose morphisms are relations between sets.
  3. The category whose objects are sets and whose morphisms are equivalence relations between sets.
  4. The category whose objects are sets and whose morphisms are partial functions between sets.
Question 4 Multiple Choice (Single Answer)

What is the category of groups?

  1. The category whose objects are groups and whose morphisms are homomorphisms between groups.
  2. The category whose objects are groups and whose morphisms are isomorphisms between groups.
  3. The category whose objects are groups and whose morphisms are endomorphisms between groups.
  4. The category whose objects are groups and whose morphisms are automorphisms between groups.
Question 5 Multiple Choice (Single Answer)

What is the category of rings?

  1. The category whose objects are rings and whose morphisms are homomorphisms between rings.
  2. The category whose objects are rings and whose morphisms are isomorphisms between rings.
  3. The category whose objects are rings and whose morphisms are endomorphisms between rings.
  4. The category whose objects are rings and whose morphisms are automorphisms between rings.
Question 6 Multiple Choice (Single Answer)

What is the category of modules?

  1. The category whose objects are modules and whose morphisms are homomorphisms between modules.
  2. The category whose objects are modules and whose morphisms are isomorphisms between modules.
  3. The category whose objects are modules and whose morphisms are endomorphisms between modules.
  4. The category whose objects are modules and whose morphisms are automorphisms between modules.
Question 7 Multiple Choice (Single Answer)

What is the category of vector spaces?

  1. The category whose objects are vector spaces and whose morphisms are linear transformations between vector spaces.
  2. The category whose objects are vector spaces and whose morphisms are isomorphisms between vector spaces.
  3. The category whose objects are vector spaces and whose morphisms are endomorphisms between vector spaces.
  4. The category whose objects are vector spaces and whose morphisms are automorphisms between vector spaces.
Question 8 Multiple Choice (Single Answer)

What is the category of topological spaces?

  1. The category whose objects are topological spaces and whose morphisms are continuous maps between topological spaces.
  2. The category whose objects are topological spaces and whose morphisms are homeomorphisms between topological spaces.
  3. The category whose objects are topological spaces and whose morphisms are endomorphisms between topological spaces.
  4. The category whose objects are topological spaces and whose morphisms are automorphisms between topological spaces.
Question 9 Multiple Choice (Single Answer)

What is the category of smooth manifolds?

  1. The category whose objects are smooth manifolds and whose morphisms are smooth maps between smooth manifolds.
  2. The category whose objects are smooth manifolds and whose morphisms are diffeomorphisms between smooth manifolds.
  3. The category whose objects are smooth manifolds and whose morphisms are endomorphisms between smooth manifolds.
  4. The category whose objects are smooth manifolds and whose morphisms are automorphisms between smooth manifolds.
Question 10 Multiple Choice (Single Answer)

What is the category of schemes?

  1. The category whose objects are schemes and whose morphisms are morphisms of schemes.
  2. The category whose objects are schemes and whose morphisms are isomorphisms of schemes.
  3. The category whose objects are schemes and whose morphisms are endomorphisms of schemes.
  4. The category whose objects are schemes and whose morphisms are automorphisms of schemes.
Question 11 Multiple Choice (Single Answer)

What is the Yoneda lemma?

  1. A lemma that states that every functor from a category to the category of sets is representable by an object of the category.
  2. A lemma that states that every functor from a category to the category of sets is faithful.
  3. A lemma that states that every functor from a category to the category of sets is full.
  4. A lemma that states that every functor from a category to the category of sets is essentially surjective.
Question 12 Multiple Choice (Single Answer)

What is the adjoint functor theorem?

  1. A theorem that states that every functor has a left adjoint and a right adjoint.
  2. A theorem that states that every functor has a left adjoint but not necessarily a right adjoint.
  3. A theorem that states that every functor has a right adjoint but not necessarily a left adjoint.
  4. A theorem that states that every functor has neither a left adjoint nor a right adjoint.
Question 13 Multiple Choice (Single Answer)

What is the category of categories?

  1. The category whose objects are categories and whose morphisms are functors between categories.
  2. The category whose objects are categories and whose morphisms are natural transformations between functors.
  3. The category whose objects are categories and whose morphisms are isomorphisms between categories.
  4. The category whose objects are categories and whose morphisms are automorphisms between categories.
Question 14 Multiple Choice (Single Answer)

What is the Eilenberg-Steenrod axioms?

  1. A set of axioms that characterize the category of homology groups.
  2. A set of axioms that characterize the category of cohomology groups.
  3. A set of axioms that characterize the category of K-theory groups.
  4. A set of axioms that characterize the category of L-theory groups.
Question 15 Multiple Choice (Single Answer)

What is the Grothendieck-Riemann-Roch theorem?

  1. A theorem that relates the cohomology of a scheme to the geometry of the scheme.
  2. A theorem that relates the homology of a scheme to the geometry of the scheme.
  3. A theorem that relates the K-theory of a scheme to the geometry of the scheme.
  4. A theorem that relates the L-theory of a scheme to the geometry of the scheme.
← Back to Quizzes