(mathematics) The property of there being a unique morphism from an arbitrary object to the universal morphism of a comma category which is from a functor to a fixed object; or, dually, the property of there being a unique morphism from the universal morphism to an arbitrary object of a comma category which is from a fixed object to a functor. (Caveat: the uniqueness is up to isomorphism.)

(set theory) The set of all possible tuples whose elements are elements of given, separately specified, sets.

(Britain) The hierarchy of owned housing.

plural of prosecution

Any form of information processing whose input and output are both images, such as photographs or frames of video.

A device that takes a video signal and projects the corresponding image on a projection screen using a lens system.

(rare, software engineering) proof of concept; pilot project

Related to procedure. / (computing) Generated by means of a procedure, rather than being designed.

(literature) A type of literature, film, or television program involving a sequence of technical detail.

(programming) A problem dealing with how to treat the initial or boundary values of a discrete problem.