A Category of Many-Sorted Algebraic Theories Which is Equivalent to the Category of Categories with Finite Products.
Vladimir Yu. SazonovPublished in: Logic at Botik (1989)
Keyphrases
- object categories
- category specific
- semantic categories
- wikipedia categories
- category labels
- broad categories
- web directories
- object detection
- hierarchical structure
- databases
- learning algorithm
- higher order
- production line
- object recognition
- information systems
- computer vision
- artificial intelligence
- genetic algorithm