Prefer a chat interface with context about you and your work?
Embedding of Accessible Regular Categories
Abstract The purpose of this note is to prove that a regular accessible category has a full regular embedding into a set-valued functor category.