Category Theory Fundamentals
Tests knowledge of fundamental category theory concepts including functors, natural transformations, categories, and various mathematical categories
Questions
Question 1 Multiple Choice (Single Answer)
Which of the following is a fundamental concept in category theory?
- Functors
- Natural Transformations
- Categories
- All of the above
Question 2 Multiple Choice (Single Answer)
What is a functor?
- A mapping between two categories
- A mapping between two sets
- A mapping between two groups
- A mapping between two rings
Question 3 Multiple Choice (Single Answer)
What is a natural transformation?
- A morphism between two functors
- A morphism between two categories
- A morphism between two sets
- A morphism between two groups
Question 4 Multiple Choice (Single Answer)
What is a category?
- A collection of objects and morphisms
- A collection of sets and functions
- A collection of groups and homomorphisms
- A collection of rings and homomorphisms
Question 5 Multiple Choice (Single Answer)
What is the Yoneda lemma?
- A result that relates functors to natural transformations
- A result that relates categories to functors
- A result that relates objects to morphisms
- A result that relates morphisms to objects
Question 6 Multiple Choice (Single Answer)
What is the adjoint functor theorem?
- A result that gives conditions for the existence of an adjoint functor
- A result that gives conditions for the uniqueness of an adjoint functor
- A result that gives conditions for the composition of adjoint functors
- A result that gives conditions for the inverse of an adjoint functor
Question 7 Multiple Choice (Single Answer)
What is the category of small categories?
- The category whose objects are small categories and whose morphisms are functors
- The category whose objects are small categories and whose morphisms are natural transformations
- The category whose objects are small categories and whose morphisms are isomorphisms
- The category whose objects are small categories and whose morphisms are equivalences
Question 8 Multiple Choice (Single Answer)
What is the category of sets?
- The category whose objects are sets and whose morphisms are functions
- The category whose objects are sets and whose morphisms are natural transformations
- The category whose objects are sets and whose morphisms are isomorphisms
- The category whose objects are sets and whose morphisms are equivalences
Question 9 Multiple Choice (Single Answer)
What is the category of groups?
- The category whose objects are groups and whose morphisms are homomorphisms
- The category whose objects are groups and whose morphisms are natural transformations
- The category whose objects are groups and whose morphisms are isomorphisms
- The category whose objects are groups and whose morphisms are equivalences
Question 10 Multiple Choice (Single Answer)
What is the category of rings?
- The category whose objects are rings and whose morphisms are homomorphisms
- The category whose objects are rings and whose morphisms are natural transformations
- The category whose objects are rings and whose morphisms are isomorphisms
- The category whose objects are rings and whose morphisms are equivalences
Question 11 Multiple Choice (Single Answer)
What is the category of topological spaces?
- The category whose objects are topological spaces and whose morphisms are continuous maps
- The category whose objects are topological spaces and whose morphisms are natural transformations
- The category whose objects are topological spaces and whose morphisms are homeomorphisms
- The category whose objects are topological spaces and whose morphisms are equivalences
Question 12 Multiple Choice (Single Answer)
What is the category of smooth manifolds?
- The category whose objects are smooth manifolds and whose morphisms are smooth maps
- The category whose objects are smooth manifolds and whose morphisms are natural transformations
- The category whose objects are smooth manifolds and whose morphisms are diffeomorphisms
- The category whose objects are smooth manifolds and whose morphisms are equivalences
Question 13 Multiple Choice (Single Answer)
What is the category of schemes?
- The category whose objects are schemes and whose morphisms are morphisms of schemes
- The category whose objects are schemes and whose morphisms are natural transformations
- The category whose objects are schemes and whose morphisms are isomorphisms
- The category whose objects are schemes and whose morphisms are equivalences
Question 14 Multiple Choice (Single Answer)
What is the category of algebraic varieties?
- The category whose objects are algebraic varieties and whose morphisms are morphisms of algebraic varieties
- The category whose objects are algebraic varieties and whose morphisms are natural transformations
- The category whose objects are algebraic varieties and whose morphisms are isomorphisms
- The category whose objects are algebraic varieties and whose morphisms are equivalences
Question 15 Multiple Choice (Single Answer)
What is the category of Lie algebras?
- The category whose objects are Lie algebras and whose morphisms are homomorphisms of Lie algebras
- The category whose objects are Lie algebras and whose morphisms are natural transformations
- The category whose objects are Lie algebras and whose morphisms are isomorphisms
- The category whose objects are Lie algebras and whose morphisms are equivalences