Bazsites.com Isomorphism
Directory Topics
On the Web
- Yarrow - A proof-assistant for Pure Type Systems (PTSs), representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is required. (This isomorphism says how you can interpret types as propositions.)
- Which Mathematical Structure is Isomorphic to our Universe? - Max Tegmark. Some physical consequences of ``the ultimate ensemble theory'', where not only worlds corresponding to say different sets of initial data or different physical constants are considered equally real, but also worlds ruled by altogether different equations. HTML, PS and PDF.
- SHARP - A computer program for refining a model of isomorphous heavy-atom substitution and calculating phase probabilities from it. Irix and Linux platforms.
- A.S. Luchins and E.H. Luchins: Isomorphism in Gestalt theory - Comparison of Wertheimer's and Koehler's concepts (1999).
- Introductory Guide to Chemical Database Systems - Background notes describing a common technique used to index chemical structure information within modern (O)RDBMS systems. Discusses Oracle cartridges and subgraph isomorphism.
- SCL - star complement library - A program for calculating the maximal graphs using the star complement technique. The programs for computing the maximal cliques and isomorphism classes of graphs are included.
- plantri and fullgen - Programs for generation of certain types of planar graph, generated in such a way that exactly one member of each isomorphism class is output without the need for storing them.
- A Constructive Approach to Graph Theory - Notes on a semiotic approach to constructing isomorphism invariants of graphs by John-Tagore Tevet.
- Groups of Small Order - A list of isomorphism classes and further information on groups of order up to 30, by John Pedersen, University of South Florida.
- Computational Isomorphisms in Classical Logic - Article by V. Danos, J. B. Joinet and H. Schellinx examining the categorical semantics of classical logic from a persepctive inspired by linear logic.
Wikipedia Articles
- Isomorphism-closed subcategory - A subcategory \mathcal{A} of a category \mathcal{B} is said to be isomorphism-closed or replete if for any A\in\mathcal{A} and a \mathcal{B}-isomorphism h:A\to B, the \mathcal{B}-object B also belongs to \mathcal{A}. A subcategory which is isomorphism-closed and full is called strictly full.
- Isomorphism (computer science) - In computer science, an isomorphism is a strict one-to-one correspondence between two sets of entities. This usage is a generalization of the more rigorous mathematical concept of isomorphism; most computer science isomorphisms would be called bijections by mathematicians.
- Isomorphism (sociology) - In sociology, an isomorphism is a similarity of the processes or structure of one organization to those of another, be it the result of imitation or independent development under similar constraints. There are three main types of isomorphism: normative, coercive and mimetic.
- Potential isomorphism - In mathematical logic and in particular in model theory, a potential isomorphism is a collection of finite partial isomorphisms between two models which satisfies certain closure conditions. Existence of a partial isomorphism entails elementary equivalence, however the converse is not generally true, but it holds for ω-saturated models.
- Isomorphism (biology) - In biology, an isomorphism is a similarity of form or structure between organisms. The term isomorphism is borrowed from mathematical usage, where it refers to a one-to-one mapping between the elements of two sets.