O livro apresenta a teoria axiomática de domínios formulada em categorias de mapas parciais, com foco em estruturas categóricas e semântica matemática da computação.

Inclui definições formais, teoremas e construções relevantes para pesquisadores em teoria dos domínios e semântica denotacional, além de exemplos técnicos que ilustram as hipóteses axiomáticas.

Destina-se a leitores com formação avançada em lógica, teoria das categorias ou ciência da computação teórica, sendo adequado para cursos graduados e pesquisa acadêmica.