Results 1  10
of
827
A Categorytheoretic characterization of functional completeness
, 1990
"... . Functional languages are based on the notion of application: programs may be applied to data or programs. By application one may define algebraic functions; and a programming language is functionally complete when any algebraic function f(x 1 ,...,x n ) is representable (i.e. there is a constant a ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
a such that f(x 1 ,...,x n ) = (a . x 1 . ... . x n ). Combinatory Logic is the simplest typefree language which is functionally complete. In a sound categorytheoretic framework the constant a above may be considered as an "abstract gödelnumber" for f, when gödel
Net Refinement By Pullback Rewriting
 FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, LECTURE NOTES IN COMPUTER SCIENCE 1378
, 1998
"... The notion of pullback rewriting has been developed recently as a category theoretical framework for vertex replacement in graphs. Here, the technique ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
The notion of pullback rewriting has been developed recently as a category theoretical framework for vertex replacement in graphs. Here, the technique
The CategoryTheoretic Arithmetic of Information
, 2008
"... We highlight the underlying categorytheoretic structure of measures of information flow. We present an axiomatic framework in which communication systems are represented as morphisms, and information flow is characterized by its behavior when communication systems are combined. Our framework includ ..."
Abstract
 Add to MetaCart
We highlight the underlying categorytheoretic structure of measures of information flow. We present an axiomatic framework in which communication systems are represented as morphisms, and information flow is characterized by its behavior when communication systems are combined. Our framework
A categorytheoretic approach to representation and analysis of inconsistency in graphbased viewpoints
, 2003
"... Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. This may result in inconsistencies between the descriptions provided by stakeholders. Viewpointsbased approaches have been proposed as a way to ma ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
to manage incomplete and inconsistent models gathered from multiple sources. In this thesis, we propose a categorytheoretic framework for the analysis of fuzzy viewpoints. Informally, a fuzzy viewpoint is a graph in which the elements of a lattice are used to specify the amount of knowledge available about
§0. Notations and Conventions §1. Definitions and First Properties
, 2006
"... � � � We develop the theory of Frobenioids, which may be regarded as a categorytheoretic abstraction of the theory of coverings and divisors of function fields and number fields. This sort of abstraction is analogous to the role of Galois categorytheoretic framework preserves many of the importan ..."
Abstract
 Add to MetaCart
� � � We develop the theory of Frobenioids, which may be regarded as a categorytheoretic abstraction of the theory of coverings and divisors of function fields and number fields. This sort of abstraction is analogous to the role of Galois categorytheoretic framework preserves many
Relational Properties of Domains
 Information and Computation
, 1996
"... New tools are presented for reasoning about properties of recursively defined domains. We work within a general, categorytheoretic framework for various notions of `relation' on domains and for actions of domain constructors on relations. Freyd's analysis of recursive types in terms of a ..."
Abstract

Cited by 115 (6 self)
 Add to MetaCart
New tools are presented for reasoning about properties of recursively defined domains. We work within a general, categorytheoretic framework for various notions of `relation' on domains and for actions of domain constructors on relations. Freyd's analysis of recursive types in terms of a
Parallel Transport over Path Spaces
"... Abstract. We develop a framework for parallel transport over path spaces and a corresponding discrete theory, an integrated version of the continuum theory, using a categorytheoretic framework. Our results connect with and extend ideas developed for higher gauge theories in the framework of 2conne ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
Abstract. We develop a framework for parallel transport over path spaces and a corresponding discrete theory, an integrated version of the continuum theory, using a categorytheoretic framework. Our results connect with and extend ideas developed for higher gauge theories in the framework of 2
WordSense Disambiguation Using Statistical Models of Roget's Categories Trained on Large Corpora
, 1992
"... This paper describes a program that disambiguates English word senses in unrestricted text using statistical models of the major Roget's Thesaurus categories. Roget's categories serve as approximations of conceptual classes. The categories listed for a word in Roget's index tend to ..."
Abstract

Cited by 345 (14 self)
 Add to MetaCart
to correspond to sense distinctions; thus selecting the most likely category provides a useful level of sense disambiguation. The selection of categories is accomplished by identifying and weighting words that are indicative of each category when seen in context, using a Bayesian theoretical framework. Other
The Geometry of Frobenioids I: The General Theory
, 2006
"... � � � We develop the theory of Frobenioids, which may be regarded as a categorytheoretic abstraction of the theory of divisors and line bundles on models of finite separable extensions of a given function field or number field. This sort of abstraction is analogous to the role of Galois categories ..."
Abstract

Cited by 12 (11 self)
 Add to MetaCart
categories in Galois theory or monoids in the geometry of log schemes. This abstract categorytheoretic framework preserves many of the important features of the classical theory of divisors and line bundles on models of finite separable extensions of a function field or number field such as the global
Submitted to: LINEARITY 2014 A Linear/Producer/Consumer Model of Classical Linear Logic
"... This paper defines a new proof and categorytheoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to! and?. The resulting linear/producer/consumer (LPC) logic puts the three classes of propositions on the same semant ..."
Abstract
 Add to MetaCart
This paper defines a new proof and categorytheoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to! and?. The resulting linear/producer/consumer (LPC) logic puts the three classes of propositions on the same
Results 1  10
of
827