concrete category

1. Definition

A category C is said to be concrete, if it comes as pair (C,F) where F:CSet is a faithful functor

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 22:19