convention. functors [tt-001D]
convention. functors [tt-001D]
For simplicity, when there is no confusion, we use \(\bullet \) to represent corresponding objects, and omit the arrow names in the codomain of a functor, e.g.
NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.
For simplicity, when there is no confusion, we use \(\bullet \) to represent corresponding objects, and omit the arrow names in the codomain of a functor, e.g.