Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJun 27th 2018
• (edited Jun 27th 2018)

I have now expanded to:

You may read this as the characterization of adjoint functors via universal arrows (via this prop.)…

1. Clarify that stability under pushouts means pushouts by artibrary morphisms, not just morphisms in the class.

Anonymous

2. Corrected a minor typo in Def. 2.2.

Anonymous