Closed categories
Abstract
We are checking the closed categories beginning with the category of sets and ending with the category of categories. The novelty is a generalizing the notion of adjoint functors to the joint pair of functors in the category of directed graphs. We have described for what condition we get a bijective name mapping for graphs transports. Graphs aren't instances of categories, however we believe that new notion of functors joint pair will become important also for the categorical studies. As an example of future applications we introduce the notion of relator to some tensor product.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.