DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Category theory
Category theory
A Category-Theoretic Approach to Representation and Analysis of Inconsistency in Graph-Based Viewpoints
Knowledge Representation in Bicategories of Relations
Download
Logic and Categories As Tools for Building Theories
Categorical Databases
Mathematics and the Brain: a Category Theoretical Approach to Go Beyond the Neural Correlates of Consciousness
Category Theory for Dummies (I)
Categories and Computability
Combinatorial Species and Labelled Structures Brent Yorgey University of Pennsylvania,
[email protected]
The 2-Category Theory of Quasi-Categories
Category Theory and Model-Driven Engineering: from Formal Semantics to Design Patterns and Beyond
First Order Logic with Dependent Sorts, with Applications to Category Theory
Foundational Concepts Underlying a Formal Mathematical Basis for Systems Science
Abstract Nonsense and Programming: Uses of Category Theory in Computer Science
DRAFT: Category Theory for Computer Science
Categorical Databases
Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration
Category Theory for Engineers
Top View
A Categorical Theory of Hybrid Systems by Aaron David Ames B.A
Reporting Structures: Category Theory, Algebraic and Topological Properties
CATEGORICAL COMPLEXITY Contents 1. Introduction 2 2
Modelling Multi-Agent Interaction Protocols Using Categories Enriched Over Pointed Sets
Basic Category Theory
Categorical Notions of Fibration
On the Axiomatisation of Boolean Categories with and Without Medial Lutz Straßburger
Some Aspects of Categories in Computer Science
Categorical and Combinatorial Aspects of Descent Theory
A Category-Theoretic Approach to Boolean-Valued Models of Set Theory
Internal Diagrams and Archetypal Reasoning in Category Theory
Proving Database Migration Correctness with Category Theory
Category Theory for Programmers
Theoretical Computer Science for the Working Category Theorist
Jason Morton – an Approach to Computational Category Theory
On My Favorite Conventions for Drawing the Missing Diagrams in Category Theory
Representation Theory of Combinatorial Categories
Category Theory, Logic and Formal Linguistics: Some Connections, Old and New Jean Gillibert, Christian Retoré