Overview. Systematicity, connectionism vs symbolic AI, and universal properties. What is systematicity? Are connectionist AI systems systematic?
|
|
- Barry Peters
- 5 years ago
- Views:
Transcription
1 Overview Systematicity, connectionism vs symbolic AI, and universal properties COMP s2 Systematicity divides cognitive capacities (human or machine) into equivalence classes. Standard example: a cognizer is not systematic with respect to subject/object in simple sentences, if it it can entertain the possibility (or understand) the sentence Mary but not the sentence Mary. So Mary and Mary are equivalent in the sense of being understandable by the same cognizer. No. Training a feedforward net on Mary doesn t mean it will recognise Mary. Mary train Mary test Mary?? Classical AI proponents forcefully pointed this out, back in the 1980s when systematicity was first considered. The connectionists, of course, fought back, tooth and nail. The problem is arbitrary choices of parameters (weights) depending on pseudo-random seed value, and not constrained away to insignificance by training data. Parameter values that produce a systematic system may be possible, but their choice is ad hoc.????
2 No though it was thought for years that they were but then Ken Aizawa, a philosopher, showed that they weren t. This doesn t mean that a classical system can t be systematic, just that classical does not imply systematic. The problem arises from the fact that arbitrary choices are made in designing classical systems - e.g. in Mary, a choice of grammar rules. S Person Person S Person S Person Mary Grammar rules that produce a systematic system may be possible, but their choice is ad hoc. 0 1 is a general mathematical theory of structure. It has been used in theoretical computer science since the 1970s Used in the creation of the Haskell programming language - functors and monads in Haskell are lifted straight from category theory. Functional programming research has also utilised the categorical concepts of catamorphisms, anamorphisms, and hylomorphisms. Definition of a Category A category has objects and arrows (aka morphisms). An arrow f goes between objects A, B. We write f : A B, or A f B A familiar example is the category Set. In Set, the objects are sets and the arrows are functions. There must be identity arrows - e.g. identity functions from a set to itself Arrows must be composable - e.g. f : A B and g : B C compose to form g f : A C - and this composition must be associative.
3 2 Category Theory 3: Commutative diagrams Commutative diagrams express some categorical ideas: Other examples of categories: semigroups and semigroup homomorphisms (Strings under concatenation form a semigroup: a semi-group homomorphism is a function f such that f (s 1 s 2 ) = f (s 1 ) f (s 2 ).) vector spaces and linear transformations (matrices) ditto groups, abelian groups, rings, fields, modules, metric spaces, topological spaces,... sets and relations (Rel) sets and partial functions (Par) a partially ordered set: objects are points a, b; there is a unique arrow a b if a b. (Morphisms are order-preserving functions.) A φ B f C The idea is that any two arrow composition paths between two objects in a commutative diagram are equal. So in this case commutativity means that g φ = θ f ( i.e. if A is a set, for all a A, g(φ(a)) = θ(f (a)). ) Another example - commutative if ρ = σ λ θ D g A λ B ρ C σ (1) (2) 1 is a categorical concept that can be used to show how to resolve the systematicity problem. The most general definition of universality is rather abstract. So we ll use an example of a universal property: categorical product In Set, categorical product is the familiar Cartesian product, together with the projection maps: π 1 : A B A : (a, b) a and π 2 : A B B : (a, b) b So the product is the triple (A B, π 1, π 2 ), though often it is written just as A B.
4 2 (A B, π 1, π 2 ) as above has this universal property: for any other triple (R, ρ 1, ρ 2 ) with ρ 1 : R A and ρ 2 : R B, there exists a unique function (arrow) u : R A B making the following diagram commute - i.e. π i u = ρ i for i = 1, 2: R ρ 1 ρ 2 u A A B B π 1 In essence, the product is the unique best object among triples of the form (R, ρ 1, ρ 2 ) with ρ 1 : R A and ρ 2 : R B - everything else factors through A B. This optimality, termed a universal property in category theory, is at the core of the category-theory-based theory of systematicity. π 2 (3) Tackling systematicity with products 1 Systematicity for symbolic AI vs NN enthusiasts Let s look at the problem of the systematicity of Mary. The general idea is that systematicity corresponds to a universality property, e.g. of a product. Then, as the product has its uniqueness property, no ad hoc-ness is involved. The reason that the grammar S Person Person is right is that, in it, S corresponds to a (non-trivial) product. Other forms of systematicity correspond to other universality properties. The task for symbolic AI folk is as follows: Find a suitable universality property for their instance of systematicity. Show that their symbolic AI approach is a model of this universality property. The task for NN folk is as follows: Find a suitable universality property for their instance of systematicity. Probably this is the same property as for the symbolic AI types. Show that their NN approach is a model of this universality property.
5 Systematicity would arise in nature (e.g. in biological brains) because the universality property makes for models that are efficient, hence favoured by evolutionary processes. provides the notion of universal properties. The notion of any A Z B factoring through the product A B can be seen as dividing a task into something like an interface module to deal with particulars of a particular instance of a problem, and a universal model that then performs/solves the task/problem. "Z" "A B" interface universal component Neither symbolic AI nor connectionism has a clear advantage here. References People Aizawa, K. The systematicity arguments. New York, Kluwer Academic (2003) Awodey S.. Oxford Logic Guides. New York: Oxford University Press (2006) Fodor, J., Pylyshyn, Z. Connectionism and cognitive architecture: A critical analysis. Cognition, (1988) Phillips S. Are feedforward and recurrent networks systematic? analysis and implications for a connectionist cognitive architecture. Connection Science 10: (1998) Phillips, S., Wilson, W.H. Categorial compositionality: A category theory explanation for the systematicity of human cognition. PLoS Computational Biology 6(7), e (2010) Smolensky, P. The constituent structure of mental states: A reply to Fodor and Pylyshyn. The Southern Journal of Philosophy, 26 (Supplement) (1987) Left: Saunders Mac Lane: defined categories (1945) Centre: Jerry Fodor: introduced the concept of systematicity (late 1980s) Right: Ken Aizawa: neither connectionism nor symbolic AI is necessarily systematic (2003)
A category theory explanation for systematicity
category theory explanation for systematicity Steven Phillips (steve@ni.aist.go.jp) National Institute of dvanced Industrial Science and Technology (IST), Tsukuba, Ibaraki 305-8568 JPN William H. Wilson
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationCategorial compositionality continued: A category theory explanation for quasi-systematicity
Categorial compositionality continued: category theory explanation for quasi-systematicity Steven Phillips (steve@ni.aist.go.jp) National Institute of dvanced Industrial Science and Technology (IST), Tsukuba,
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More informationAdjunctions! Everywhere!
Adjunctions! Everywhere! Carnegie Mellon University Thursday 19 th September 2013 Clive Newstead Abstract What do free groups, existential quantifiers and Stone-Čech compactifications all have in common?
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationCloning Composition and Logical Inferences in Neural Networks Using Variable-Free Logic
Cloning Composition and Logical Inferences in Neural Networks Using Variable-Free Logic Helmar Gust and Kai Uwe Kühnberger Institute of Cognitive Science Katharinenstr. 24 University of Osnabrück {hgust,
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationLecture 7. Logic. Section1: Statement Logic.
Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement
More informationThe Duality of the Universe
The Duality of the Universe Gordon McCabe May 23, 2008 Abstract It is proposed that the physical universe is an instance of a mathematical structure which possesses a dual structure, and that this dual
More informationAlgebraic Geometry
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationTopos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos
Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can
More informationFrom Wikipedia, the free encyclopedia
Monomorphism - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/monomorphism 1 of 3 24/11/2012 02:01 Monomorphism From Wikipedia, the free encyclopedia In the context of abstract algebra or
More informationLearning Symbolic Inferences with Neural Networks
Learning Symbolic Inferences with Neural Networks Helmar Gust (hgust@uos.de) Institute of Cognitive Science, University of Osnabrück Katharinenstr. 4, 4969 Osnabrück, Germany Kai-Uwe Kühnberger (kkuehnbe@uos.de)
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationHomological Algebra and Differential Linear Logic
Homological Algebra and Differential Linear Logic Richard Blute University of Ottawa Ongoing discussions with Robin Cockett, Geoff Cruttwell, Keith O Neill, Christine Tasson, Trevor Wares February 24,
More informationCartesian Closed Topological Categories and Tensor Products
Cartesian Closed Topological Categories and Tensor Products Gavin J. Seal October 21, 2003 Abstract The projective tensor product in a category of topological R-modules (where R is a topological ring)
More informationAssume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is.
COMMUTATIVE ALGERA LECTURE 2: MORE CATEGORY THEORY VIVEK SHENDE Last time we learned about Yoneda s lemma, and various universal constructions initial and final objects, products and coproducts (which
More information2.1 Modules and Module Homomorphisms
2.1 Modules and Module Homomorphisms The notion of a module arises out of attempts to do classical linear algebra (vector spaces over fields) using arbitrary rings of coefficients. Let A be a ring. An
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationThe Adjoint Functor Theorem.
The Adjoint Functor Theorem. Kevin Buzzard February 7, 2012 Last modified 17/06/2002. 1 Introduction. The existence of free groups is immediate from the Adjoint Functor Theorem. Whilst I ve long believed
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationLogic and Proofs 1. 1 Overview. 2 Sentential Connectives. John Nachbar Washington University December 26, 2014
John Nachbar Washington University December 26, 2014 Logic and Proofs 1 1 Overview. These notes provide an informal introduction to some basic concepts in logic. For a careful exposition, see, for example,
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More information1 Reducability. CSCC63 Worksheet Reducability. For your reference, A T M is defined to be the language { M, w M accepts w}. Theorem 5.
CSCC63 Worksheet Reducability For your reference, A T M is defined to be the language { M, w M accepts w}. 1 Reducability Theorem 5.1 HALT TM = { M, w M is a T M that halts on input w} is undecidable.
More informationARTIFICIAL NEURAL NETWORK PART I HANIEH BORHANAZAD
ARTIFICIAL NEURAL NETWORK PART I HANIEH BORHANAZAD WHAT IS A NEURAL NETWORK? The simplest definition of a neural network, more properly referred to as an 'artificial' neural network (ANN), is provided
More informationDual Adjunctions Between Algebras and Coalgebras
Dual Adjunctions Between Algebras and Coalgebras Hans E. Porst Department of Mathematics University of Bremen, 28359 Bremen, Germany porst@math.uni-bremen.de Abstract It is shown that the dual algebra
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationAn Intuitive Introduction to Motivic Homotopy Theory Vladimir Voevodsky
What follows is Vladimir Voevodsky s snapshot of his Fields Medal work on motivic homotopy, plus a little philosophy and from my point of view the main fun of doing mathematics Voevodsky (2002). Voevodsky
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationTopos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.
logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction
More informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More informationRepresenting structured relational data in Euclidean vector spaces. Tony Plate
Representing structured relational data in Euclidean vector spaces Tony Plate tplate@acm.org http://www.d-reps.org October 2004 AAAI Symposium 2004 1 Overview A general method for representing structured
More informationUniversal Properties
A categorical look at undergraduate algebra and topology Julia Goedecke Newnham College 24 February 2017, Archimedeans Julia Goedecke (Newnham) 24/02/2017 1 / 30 1 Maths is Abstraction : more abstraction
More informationRepresentations of quivers
Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice
More informationWhat s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( )
What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher (1935-2014) Robert Paré November 7, 2014 Many subjects How many subjects are there in mathematics? Many subjects How many subjects
More informationMODELS OF HORN THEORIES
MODELS OF HORN THEORIES MICHAEL BARR Abstract. This paper explores the connection between categories of models of Horn theories and models of finite limit theories. The first is a proper subclass of the
More informationOlivia Caramello. University of Insubria - Como. Deductive systems and. Grothendieck topologies. Olivia Caramello. Introduction.
duality University of Insubria - Como 2 / 27 duality Aim of the talk purpose of this talk is to illustrate the relevance of the notion of topology. I will show that the classical proof system of geometric
More informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationDirect Proof and Proof by Contrapositive
Dr. Nahid Sultana October 14, 2012 Consider an implication: p q. Then p q p q T T T T F F F T T F F T Consider an implication: p q. Then p q p q T T T T F F F T T F F T Consider x D, p(x) q(x). It can
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationTo cognize is to categorize revisited: Category Theory is where Mathematics meets Biology
To cognize is to categorize revisited: Category Theory is where Mathematics meets Biology Autonomous Systems Laboratory Technical University of Madrid Index 1. Category Theory 2. The structure-function
More informationNOTES ON SPLITTING FIELDS
NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationMath 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )
Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a K-vector space, : V V K. Recall that
More informationAbout categorical semantics
About categorical semantics Dominique Duval LJK, University of Grenoble October 15., 2010 Capp Café, LIG, University of Grenoble Outline Introduction Logics Effects Conclusion The issue Semantics of programming
More informationConstruction of Physical Models from Category Theory. Master Thesis in Theoretical Physics. Marko Marjanovic
Construction of Physical Models from Category Theory Master Thesis in Theoretical Physics Marko Marjanovic Department of Physics University of Gothenburg Gothenburg, Sweden 2017 Construction of Physical
More informationThe modality of physical law in modal homotopy type theory
The modality of physical law in modal homotopy type theory David Corfield University of Kent 13 September, 2016 The modality of physical law in modal homotopy type theory 13 September, 2016 1 / 39 What
More informationReview of category theory
Review of category theory Proseminar on stable homotopy theory, University of Pittsburgh Friday 17 th January 2014 Friday 24 th January 2014 Clive Newstead Abstract This talk will be a review of the fundamentals
More informationSymbolic vs. subsymbolic representation in cognitive science and artificial intelligence Vladimír Kvasnička FIIT STU.
Symbolic vs. subsymbolic representation in cognitive science and artificial intelligence Vladimír Kvasnička FIIT STU Transparency 1 1. Classical (symbolic) artificial intelligence Basic problem of classical
More informationEnriched Categories. Stephen Fitz
Enriched Categories Stephen Fitz Abstract I will introduce some of the basic concepts of Enriched Category Theory with examples of enriched categories. Contents 1 Enriched Categories 2 1.1 Introduction..............................
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationLectures - XXIII and XXIV Coproducts and Pushouts
Lectures - XXIII and XXIV Coproducts and Pushouts We now discuss further categorical constructions that are essential for the formulation of the Seifert Van Kampen theorem. We first discuss the notion
More informationHigher Categories, Homotopy Theory, and Applications
Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationDuality in Probabilistic Automata
Duality in Probabilistic Automata Chris Hundt Prakash Panangaden Joelle Pineau Doina Precup Gavin Seal McGill University MFPS May 2006 Genoa p.1/40 Overview We have discovered an - apparently - new kind
More informationExercises on chapter 0
Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that
More informationCourse Structure. Psychology 452 Week 12: Deep Learning. Chapter 8 Discussion. Part I: Deep Learning: What and Why? Rufus. Rufus Processed By Fetch
Psychology 452 Week 12: Deep Learning What Is Deep Learning? Preliminary Ideas (that we already know!) The Restricted Boltzmann Machine (RBM) Many Layers of RBMs Pros and Cons of Deep Learning Course Structure
More informationA categorical view of computational effects
Emily Riehl Johns Hopkins University A categorical view of computational effects C mp se::conference 1. Functions, composition, and categories 2. Categories for computational effects (monads) 3. Categories
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationGeneralized Quantifiers Logical and Linguistic Aspects
Generalized Quantifiers Logical and Linguistic Aspects Lecture 1: Formal Semantics and Generalized Quantifiers Dag Westerståhl University of Gothenburg SELLC 2010 Institute for Logic and Cognition, Sun
More informationFoundations of Mathematics
Foundations of Mathematics Andrew Monnot 1 Construction of the Language Loop We must yield to a cyclic approach in the foundations of mathematics. In this respect we begin with some assumptions of language
More informationOPERAD BIMODULE CHARACTERIZATION OF ENRICHMENT. V2
OPERAD BIMODULE CHARACTERIZATION OF ENRICHMENT. 2 STEFAN FORCEY 1. Idea In a recent talk at CT06 http://faculty.tnstate.edu/sforcey/ct06.htm and in a research proposal at http://faculty.tnstate.edu/sforcey/class_home/research.htm
More informationMachine Learning Basics Lecture 3: Perceptron. Princeton University COS 495 Instructor: Yingyu Liang
Machine Learning Basics Lecture 3: Perceptron Princeton University COS 495 Instructor: Yingyu Liang Perceptron Overview Previous lectures: (Principle for loss function) MLE to derive loss Example: linear
More informationDEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
More informationFibrational Semantics
Fibrational Semantics Brice Halimi Paris Ouest University & Sphere Introduction The question What can Set Theory do for Philosophy? would never be asked nowadays. The main reason for dismissing such a
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationCategory theory and set theory: algebraic set theory as an example of their interaction
Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory
More informationPropositional Logic Review
Propositional Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula Semantics Defining
More informationCategorical coherence in the untyped setting. Peter M. Hines
Categorical coherence in the untyped setting Peter M. Hines SamsonFest Oxford May 2013 The Untyped Setting Untyped categories Categories with only one object (i.e. monoids) with additional categorical
More informationMorita-equivalences for MV-algebras
Morita-equivalences for MV-algebras Olivia Caramello* University of Insubria Geometry and non-classical logics 5-8 September 2017 *Joint work with Anna Carla Russo O. Caramello Morita-equivalences for
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More informationCS481F01 Solutions 8
CS481F01 Solutions 8 A. Demers 7 Dec 2001 1. Prob. 111 from p. 344 of the text. One of the following sets is r.e. and the other is not. Which is which? (a) { i L(M i ) contains at least 481 elements }
More informationOn the Semantics of Parsing Actions
On the Semantics of Parsing Actions Hayo Thielecke School of Computer Science University of Birmingham Birmingham B15 2TT, United Kingdom Abstract Parsers, whether constructed by hand or automatically
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationThe Fundamental Group
The Fundamental Group Renzo s math 472 This worksheet is designed to accompany our lectures on the fundamental group, collecting relevant definitions and main ideas. 1 Homotopy Intuition: Homotopy formalizes
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More informationChapter 1 Introduction
Chapter 1 Introduction 1.1 Introduction to Chapter This chapter starts by describing the problems addressed by the project. The aims and objectives of the research are outlined and novel ideas discovered
More informationNon-reductionism: Explanation and methodology in developmental biology
Non-reductionism: Explanation and methodology in developmental biology Ingo Brigandt University of Alberta www.ualberta.ca/~brigandt Beyond dichotomies False dichotomy Anti-reductionism: Higher level field
More informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology
More informationCategory-Theoretic Radical Ontic Structural Realism
Category-Theoretic Radical Ontic Structural Realism Jonathan Bain Department of Technology, Culture and Society Tandon School of Engineering, New York University Brooklyn, New York 1. No Structures Without
More informationAnalysis and Enriched Category Theory
Analysis and Enriched Category Theory Geoff Cruttwell - CT2007 Talk July 5, 2007 Introduction About 30 years ago, Lavere had an ingenious idea to consider metric spaces as enriched categories([3]). As
More informationBasic Quantum Mechanics Prof. Ajoy Ghatak Department of Physics Indian Institute of Technology, Delhi
Basic Quantum Mechanics Prof. Ajoy Ghatak Department of Physics Indian Institute of Technology, Delhi Module No. # 07 Bra-Ket Algebra and Linear Harmonic Oscillator - II Lecture No. # 01 Dirac s Bra and
More information8. TRANSFORMING TOOL #1 (the Addition Property of Equality)
8 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not change
More informationComputation and the Periodic Table
Computation and the Periodic Table John C. Baez ATMCS 2008 f X X Y Y f (λx :X.f(x))(a) f(a) for references and more, see http://math.ucr.edu/home/baez/periodic/ Once upon a time, mathematics was all about
More informationMathematical Foundations for Conceptual Blending
Mathematical Foundations for Conceptual Blending Răzvan Diaconescu Simion Stoilow Institute of Mathematics of the Romanian Academy FROM 2017 Part I Conceptual Blending: from Fauconnier and Turner to Goguen
More informationThe basic theory of monads and their connection to universal algebra
he basic theory of monads and their connection to universal algebra May 2012 Abstract his paper gives the definition of monads and outlines the key properties and theorems concerning how monads relate
More informationKB Agents and Propositional Logic
Plan Knowledge-Based Agents Logics Propositional Logic KB Agents and Propositional Logic Announcements Assignment2 mailed out last week. Questions? Knowledge-Based Agents So far, what we ve done is look
More informationCSCI 252: Neural Networks and Graphical Models. Fall Term 2016 Prof. Levy. Architecture #7: The Simple Recurrent Network (Elman 1990)
CSCI 252: Neural Networks and Graphical Models Fall Term 2016 Prof. Levy Architecture #7: The Simple Recurrent Network (Elman 1990) Part I Multi-layer Neural Nets Taking Stock: What can we do with neural
More informationAutomata Theory and Formal Grammars: Lecture 1
Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)
More informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
More informationA non-commutative notion of separate continuity
A non-commutative notion of separate continuity Matthew Daws Leeds November 2014 Matthew Daws (Leeds) Separate continuity November 2014 1 / 22 Locally compact spaces Let X be a locally compact (Hausdorff)
More information