TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

TOPOS [2 records]

Record 1 1997-11-11

English

Subject field(s)
  • Various Proper Names
  • Data Banks and Databases
  • Toponymy

French

Domaine(s)
  • Appellations diverses
  • Banques et bases de données
  • Toponymie

Spanish

Campo(s) temático(s)
  • Denominaciones varias
  • Bancos y bases de datos
  • Toponimia
Save record 1

Record 2 1989-07-23

English

Subject field(s)
  • Artificial Intelligence
  • Software
  • Mathematics
CONT

The word topos was used for any category whose structure is sufficiently like Set, the category whose objects are crisp sets and whose morphisms are the set functions. It topos, basic set-theoretical constructions behave much as they do in Set itself. ... The principles of classical logic are represented in Set by operations on a certain set ... the two element Boolean Algebra. Each topos has an analogue or this algebra, and thus, each topos has its own logical calculus. This calculus differs from classical logic. In general, the logical principles that hold in a topos are those of intuitionistic logic, which does not accept the principle of excluded middle.

French

Domaine(s)
  • Intelligence artificielle
  • Logiciels
  • Mathématiques
OBS

Comparer à locus-loci.

Spanish

Save record 2

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: