Skip to search formSkip to main contentSkip to account menu

Categorical logic

Known as: Mitchell-Bénabou language, Internal language, Categorical semantics 
Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Cartesian closed categoryCategorical set theoryCategory theoryCurry–Howard correspondence

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Isomorphic Interpreters from Logically Reversible Abstract Machines
In our previous work, we developed a reversible programming language and established that every computation in it is a (partial… 
2007
2007
Towards a Benchmark for ETL Workflows
Extraction–Transform–Load (ETL) processes comprise complex data workflows, which are responsible for the maintenance of a Data… 
2006
2006
Categorical effects in children's colour search : A cross-linguistic comparison
In adults, visual search for a colour target is facilitated if the target and distractors fall in different colour categories (e… 
2006
2006
Long Term Requirements for Cognitive Robotics
This paper discusses some of the long term objectives of cognitive robotics and some of the requirements for meeting those… 
2004
2004
Algebraic models of intuitionistic theories of sets and classes.
This paper constructs models of intuitionistic set theory in suitable cat- egories. First, a Basic Intuitionistic Set Theory… 
1998
1998
A Simple Neural Network Models Categorical Perception of Facial Expressions
The performance of a neural network that categorizes facial expressions is compared with human subjects over a set of experiments… 
Review
1996
Review
1996
Enriched Categories as Models of Computation
In this paper we discuss a general methodology to provide a categorical semantics for a wide class of computational systems… 
1996
1996
Net Spaces in Categorical Topology a
In the paper we introduce the notion of S‐nets, S a nonempty construct, as a generalization of the usual nets. S‐net spaces and… 
1995
1995
Categorical Fixed Point Calculus
A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of… 
1987
1987
Predicting success of a beginning computer course using logistic regression (abstract only)
Enrollment in computer science classes have grown at an alarming rate despite often inadequate university resources and a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)