nLab
inclusion functor > history

see at subcategory

Last revised on May 21, 2019 at 09:52:44. See the history of this page for a list of all contributions to it.