Show functors on category detail page, and improve functor notation#261
Merged
Conversation
ScriptRaccoon
changed the title
ScriptRaccoon
force-pushed
the
show-functors-on-category-page
branch
from
aced02d to
c8ca7a0
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The category detail page now includes a section at the bottom listing all functors whose source or target is the current category. For example, the page for the category Top lists:
If there are no such functors, the section is omitted.
On the functor detail page, the functor is now displayed as$F : C \to D$ , using the notations of $C$ and $D$ . This makes it easier to identify the source and target categories at a glance. For example, the group of units functor: