pointed object (Q91431286)
Jump to navigation
Jump to search
object of a category with fixed morphism from the terminal object into it
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | pointed object |
object of a category with fixed morphism from the terminal object into it |