Logic and categories as tools for building theories
type: Item
instance of: scholarly article
zbMATH Open document ID: 1273.18001
author: Samson Abramsky
publication date: 2013-10-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1201.5342
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6213466
MaRDI profile type: Publication
arXiv ID: 1201.5342
arXiv classification: math.CT
Recommended article: A logic for categories
Recommended article: Q3351354
Recommended article: Logic in Category Theory
Recommended article: Q4526556
Recommended article: Q4325773
Recommended article: A logic for category theory
Recommended article: Q3768900
Recommended article: A logic of categorization
Recommended article: On some connections between logic and category theory
Recommended article: Q4723931
title: Logic and categories as tools for building theories
description: scientific article; zbMATH DE number 6213466