CiteULike: scis0000001's category-theory [92 articles]

Deliverables: A categorical approach to program development in type theory

In Proceedings of Mathematical Foundation of Computer Science (1993)

by James Mckinna, Rod Burstall

posted to category-theory programming type-theory by scis0000001 on 2007-05-22 20:31:19 as

Constructive category theory

(1998)

by G. Huet, A. Ibi

posted to category-theory constructive-category-theory by scis0000001 on 2007-05-22 20:30:04 as

From Devs To Formal

by Methods C. Approach

posted to abduction behavior category-theory chu-space dynamical-system formal-development general-systems-theory induction realizability testing topos-theory validation verification by scis0000001 on 2007-05-20 00:00:26 as

along with 1 person isotelesis

Chu spaces as a semantic bridge between linear logic and mathematics

Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471.

by Vaughan Pratt

Three Varieties of Mathematical Structuralism

Philosophia Mathematica, Vol. 9, No. 2. (1 June 2001), pp. 184-211.

by Geoffrey Hellman

posted to category-theory mathematics philosophy structuralism by scis0000001 on 2007-05-16 07:27:16 as

Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML

In DIAGRAMS '02: Proceedings of the Second International Conference on Diagrammatic Representation and Inference (2002), pp. 112-115.

by Zinovy Diskin

posted to category-theory diagrammatic-reasoning sketches specification uml visualization by scis0000001 on 2007-05-16 00:06:40 as

Composing modules with synchronization and real-time constraints using category theory

Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on, Vol. 2 (2003), pp. 1279-1282 vol.2.

by N. Varma, P. Sinha

posted to category-theory cip cognition dynamical-system real-time synchronization by scis0000001 on 2007-05-15 14:34:16 as

On the Role of Category Theory in the Area of Algebraic Specification

In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48.

by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter

Derived categories and zero-brane stability

Journal of High Energy Physics, Vol. 8 (August 2001), 4.

by P. S. Aspinwall, A. Lawrence

posted to category-theory m-theory string-theory by scis0000001 on 2007-05-13 14:08:00 as

Categorified Algebra and Quantum Mechanics

ArXiv Mathematics e-prints (January 2006)

by J. Morton

posted to cardinality categorification categorified-algebra category-of-structure-types category-of-stuff-types category-theory combinatorial decategorification feynman-diagram generalization hilbert-space qm weyl-algebra by scis0000001 on 2007-05-12 00:38:47 as

along with 1 person pqnelson

Category theory based on combinatory logic

Archive for Mathematical Logic, Vol. 24, No. 1. (1 December 1984), pp. 1-16.

by M. W. Bunder

posted to category-theory combinatory-logic by scis0000001 on 2007-05-10 02:08:06 as

along with 2 people jrw pirapira

On some connections between logic and category theory

Studia Logica, Vol. 48, No. 3. (1989), pp. 269-278.

by J. Lambek

posted to category-theory by scis0000001 on 2007-05-10 02:07:40 as

along with 1 person kaqui

A Higher-Order Calculus for Categories

In TPHOLs '01: Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (2001), pp. 136-153.

by Mario C&\#225;ccamo, Glynn Winskel

posted to calculus category-theory formalization by scis0000001 on 2007-05-10 01:57:06 as

Constructive Category Theory (No. 1)

In Proceedings on Mathematical Foundations of Computer Science (1981), pp. 563-577.

by Akira Kanda

posted to category-theory constructive formalization by scis0000001 on 2007-05-10 01:53:55 as

A database of categories

J. Symb. Comput., Vol. 35, No. 2. (February 2003), pp. 127-135.

by Michael Fleming, Ryan Gunther, Robert Rosebrugh

posted to categorification category-theory chu-space database-of-categories mkm stone-gamut by scis0000001 on 2007-05-10 01:40:18 as

along with 3 people isotelesis jrw pirapira

Toposes in General Theory of Relativity

(31 Oct 1996)

by Alexandr K. Guts, Egor B. Grinkevich

posted to category-theory gr relativity space-time topos-theory by scis0000001 on 2007-05-10 01:08:32 as

along with 1 person Scis0000002

Organismic supercategories and qualitative dynamics of systems

Bulletin of Mathematical Biology, Vol. 33, No. 3. (1971), pp. 339-354.

by I. Băianu

posted to biology category-theory dynamical-system dynamics qualitative supercategories systems-theory by scis0000001 on 2007-05-10 01:07:47 as

From Loop Space Mechanics to Nonabelian Strings

(21 Sep 2005)

by Urs Schreiber

posted to categorification category-theory string-theory stringification by scis0000001 on 2007-05-10 00:11:55 as

along with 3 people melvineloy jrw Scis0000002

Semantic category theory cognition and conceptual reference

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 34, No. 9-10. (September 2005), pp. 1321-1348.

by Quinton, John G. St

posted to category-theory cognition by scis0000001 on 2007-05-10 00:02:15 as

along with 1 person pilho

Categorified Algebra and Quantum Mechanics

(19 Jan 2006)

by Jeffrey Morton

posted to category-theory qm by scis0000001 on 2007-05-09 23:39:47 as

along with 8 people Scis0000002 ansobol jrw wnoise madhadron mnev sleepinghead pol

Categories of fuzzy sets and weak topos

Fuzzy Sets Syst., Vol. 127, No. 3. (May 2002), pp. 291-297.

by Xue-Hai Yuan, Hongxing Li, Stanley E. Lee

posted to category-of-fuzzy-sets category-theory fuzzy topos-theory by scis0000001 on 2007-05-09 23:22:57 as

Categorical shape theory as a formal language for pattern recognition?

Annals of Mathematics and Artificial Intelligence, Vol. 10, No. 1. (1 March 1994), pp. 25-54.

by Timothy Porter

posted to categorical category-theory shape-theory by scis0000001 on 2007-05-09 23:12:22 as

along with 1 person Scis0000002

Category Theory in COQ

(1998)

by A. Carvalho

posted to category-theory formalization by scis0000001 on 2007-05-09 22:07:25 as

along with 3 people and 1 group Scis0000002 mcclurmc christiankissig Lambda the Ultimate

Dynamic multiscale image classification

In Proc. SPIE Vol. 4311, p. 156-167, Internet Imaging II, Giordano B. Beretta; Raimondo Schettini; Eds., Vol. 4311 (December 2000), pp. 156-167.

by A. H. Salden, S. M. Iacob

edited by G. B. Beretta, R. Schettini

posted to category-theory classification cognition dynamical-system dynamics multiscale scale-space by scis0000001 on 2007-05-08 13:16:35 as

Categorification

(5 Feb 1998)

by John C. Baez, James Dolan

posted to categorification category-theory decategorification formal-science higher-dimensional-category-theory by scis0000001 on 2007-05-07 11:21:22 as

along with 7 people Scis0000002 christiankissig ansobol jrw BrendaChng sforcey mmarcus

Weak n-categories: opetopic and multitopic foundations

ArXiv Mathematics e-prints (April 2003)

by E. Cheng

posted to category-theory higher-dimensional-category-theory by scis0000001 on 2007-05-06 22:39:38 as

along with 1 person jrw

A Theory-Based Representation for Object-Oriented Domain Models

IEEE Trans. Softw. Eng., Vol. 26, No. 6. (June 2000), pp. 500-517.

by Scott D. Deloach, Thomas C. Hartrum

posted to category-of-signatures category-of-specifications category-theory colimit combination formal-development ood specificattion theory-development theory-morphism unified-concept-theory by scis0000001 on 2007-05-02 23:23:46 as

What Is a Concept?

Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.

by Joseph Goguen

posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as

along with 8 people and 2 groups isotelesis garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing

Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus

by Kevin H. Knuth

Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms

Lecture Notes in Computer Science, Vol. 1387 (1998), pp. 63-??.

by Eric A. Wan, Fran\ccoise Beaufays

posted to category-theory diagram neural-network neuroscience temporal by scis0000001 on 2007-04-16 13:34:00 as

Quantum Quandaries: a Category-Theoretic Perspective

(14 Apr 2004)

by John C. Baez

posted to category-theory hilbert-space quantum-theory space-time by scis0000001 on 2007-04-15 14:07:22 as

along with 4 people leemond31 christiankissig jrw artur

Semantic Equivalence in Engineering Design Databases

In Knowledge Representation Meets Databases (1997), pp. 7.1-7.5.

by Bill Hills, Barry F. James, Nick B. Rossiter

posted to category-theory equivalence semantic-equivalence semantics similarity by scis0000001 on 2007-04-14 13:50:25 as

Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware

Automated Software Engg., Vol. 8, No. 1. (January 2001), pp. 7-30.

by Keith Williamson, Michael Healy, Richard Barker

posted to category-theory dev engineering softwae-development synthesis by scis0000001 on 2007-04-12 11:17:17 as

Category Theory Applied to Neural Modeling and Graphical Representations

by M. Healy

posted to category-theory neural by scis0000001 on 2007-04-12 11:14:32 as

along with 1 person pandoratique

A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows

ArXiv Quantum Physics e-prints (March 2007)

by A. Doering, C. J. Isham

posted to category-theory quantum-theory topos-theory by scis0000001 on 2007-04-12 08:13:37 as

along with 5 people GorgeousNicko prydzews jrw proportional gpi

A Topos Foundation for Theories of Physics: I. Formal Languages for Physics

ArXiv Quantum Physics e-prints (March 2007)

by A. Doering, C. J. Isham

Applying Category Theory to Derive Engineering Software from Encoded Knowledge

: Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000. Proceedings (2000), 484.

by Michael Healy, Keith Williamson

posted to category-theory dev engineering by scis0000001 on 2007-04-12 07:52:36 as

Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience

ArXiv Mathematics e-prints (June 2003)

by R. Brown, T. Porter

posted to biophysics category-theory higher-dimensional-algebra higher-dimensional-category-theory memory-evolutive-system neuroscience by scis0000001 on 2007-04-12 07:51:50 as

along with 1 person jrw

Complex Systems Analysis of Cell Cycling Models in Carcinogenesis

eprint arXiv:q-bio/0406045 (June 2004)

by I. C. Baianu

posted to biology carcinogenesis category-theory higher-dimensional-algebra relation relational-biology topos-theory by scis0000001 on 2007-04-12 07:48:36 as

A Topos Foundation for Theories of Physics: IV. Categories of Systems

ArXiv Quantum Physics e-prints (March 2007)

by A. Doering, C. J. Isham

posted to category-theory formal physics theory-development topos-theory by scis0000001 on 2007-04-11 10:37:58 as

along with 5 people GorgeousNicko prydzews jrw proportional gpi

Specifying Interaction Categories

In Category Theory and Computer Science (1997), pp. 147-158.

by Dusko Pavlovic, Samson Abramsky

posted to category-theory interaction by scis0000001 on 2007-04-07 14:11:48 as

Categories in concurrency

(1997)

by G. Winskel, M. Nielsen

posted to category-theory concurrency by scis0000001 on 2007-04-07 13:46:24 as

along with 1 person jrw

A Formal Calculus for Categories

(2003)

by Mario J. Cáccamo

posted to calculus category-theory enriched-category-theory formal-category-theory formalization inference by scis0000001 on 2007-04-07 13:42:52 as

along with 3 people pirapira jrw Scis0000002

A Categorical Approach to Simulations

: Algebra and Coalgebra in Computer Science (2005), pp. 313-330.

by Miguel Palomino, José Meseguer, Narciso Martí-Oliet

posted to categorical category-theory institutions parchments simulation temporal-logic temporal-logic-institution by scis0000001 on 2007-04-07 01:56:47 as

along with 1 person jrw

Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity

In Category Theory and Computer Science (1995), pp. 3-23.

by Dusko Pavlovic

posted to category-theory process simulation by scis0000001 on 2007-04-07 01:50:12 as

along with 1 person jrw

Category Theory as Coherently Constructive Lattice Theory: An Illustration

No. 94-43. (1994)

by Roland Backhouse, Marcel Bijsterveld

posted to category-theory lattice-theory by scis0000001 on 2007-04-07 01:46:52 as

along with 3 people ansobol jrw zednenem

A categorical outlook on relational modalities and simulations

(2002)

by C. Hermida

posted to categorical category-theory simulation by scis0000001 on 2007-04-07 01:44:02 as

along with 1 person jrw

Final dialgebras: From categories to allegories

Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426.

by Roland C. Backhouse, Paul F. Hoogendijk

posted to algebra allegory-theory category-theory chu-space coalgebra dialgebra generic-programming partial-order relation relational-structures relators universal-algebra by scis0000001 on 2007-04-07 01:32:26 as

along with 2 people Scis0000002 marcinzalewski

Analyses of design processes based on category theory and channel theory

SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966.

by K. Minamizono, O. Katai, T. Shiose, H. Kawakami

Categorical system theory

Bulletin of Mathematical Biology, Vol. V45, No. 6. (1 November 1983), pp. 1047-1072.

by A. H. Louie

posted to categorical-systems-theory category-theory systems-theory by scis0000001 on 2007-03-11 16:44:18 as

	Deliverables: A categorical approach to program development in type theory [My Copy] In Proceedings of Mathematical Foundation of Computer Science (1993) by James Mckinna, Rod Burstall posted to category-theory programming type-theory by scis0000001 on 2007-05-22 20:31:19 as
	Constructive category theory [My Copy] (1998) by G. Huet, A. Ibi posted to category-theory constructive-category-theory by scis0000001 on 2007-05-22 20:30:04 as
	From Devs To Formal [My Copy] by Methods C. Approach posted to abduction behavior category-theory chu-space dynamical-system formal-development general-systems-theory induction realizability testing topos-theory validation verification by scis0000001 on 2007-05-20 00:00:26 as along with 1 person isotelesis
	Chu spaces as a semantic bridge between linear logic and mathematics [My Copy] Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471. by Vaughan Pratt posted to algebraic-structures algebraicity algorithmic-information-theory algorithmic-statistics all-algebraic-categories all-algebraic-structures all-relational-structures all-small-categories category-theory chu-space computability-logic conceptual-structures discrete-geometry fca information-distance interactivity lattice linear-logic logical-information-system mathematical-structures mathematics relational-structures representation semantics stone-gamut transformation unified-concept-theory by scis0000001 on 2007-05-16 08:24:14 as along with 1 person isotelesis
	Three Varieties of Mathematical Structuralism [My Copy] Philosophia Mathematica, Vol. 9, No. 2. (1 June 2001), pp. 184-211. by Geoffrey Hellman posted to category-theory mathematics philosophy structuralism by scis0000001 on 2007-05-16 07:27:16 as
	Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML [My Copy] In DIAGRAMS '02: Proceedings of the Second International Conference on Diagrammatic Representation and Inference (2002), pp. 112-115. by Zinovy Diskin posted to category-theory diagrammatic-reasoning sketches specification uml visualization by scis0000001 on 2007-05-16 00:06:40 as
	Composing modules with synchronization and real-time constraints using category theory [My Copy] Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on, Vol. 2 (2003), pp. 1279-1282 vol.2. by N. Varma, P. Sinha posted to category-theory cip cognition dynamical-system real-time synchronization by scis0000001 on 2007-05-15 14:34:16 as
	On the Role of Category Theory in the Area of Algebraic Specification [My Copy] In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48. by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter posted to algebraicity category-of-specifications category-theory classifying-categories concurrency configuration-space formal-development higher-dimensional-category-theory indexed-categories lattice-of-specifications metascience sketch-theory specification specification-lattice specifications-lattice topos-theory unified-concept-theory by scis0000001 on 2007-05-15 14:30:26 as along with 1 person Scis0000002
	Derived categories and zero-brane stability [My Copy] Journal of High Energy Physics, Vol. 8 (August 2001), 4. by P. S. Aspinwall, A. Lawrence posted to category-theory m-theory string-theory by scis0000001 on 2007-05-13 14:08:00 as
	Categorified Algebra and Quantum Mechanics [My Copy] ArXiv Mathematics e-prints (January 2006) by J. Morton posted to cardinality categorification categorified-algebra category-of-structure-types category-of-stuff-types category-theory combinatorial decategorification feynman-diagram generalization hilbert-space qm weyl-algebra by scis0000001 on 2007-05-12 00:38:47 as along with 1 person pqnelson
	Category theory based on combinatory logic [My Copy] Archive for Mathematical Logic, Vol. 24, No. 1. (1 December 1984), pp. 1-16. by M. W. Bunder posted to category-theory combinatory-logic by scis0000001 on 2007-05-10 02:08:06 as along with 2 people jrw pirapira
	On some connections between logic and category theory [My Copy] Studia Logica, Vol. 48, No. 3. (1989), pp. 269-278. by J. Lambek posted to category-theory by scis0000001 on 2007-05-10 02:07:40 as along with 1 person kaqui
	$My PDF c&\#225;ccamo_01_higherorder.pdf$ A Higher-Order Calculus for Categories [My Copy] In TPHOLs '01: Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (2001), pp. 136-153. by Mario C&\#225;ccamo, Glynn Winskel posted to calculus category-theory formalization by scis0000001 on 2007-05-10 01:57:06 as
	Constructive Category Theory (No. 1) [My Copy] In Proceedings on Mathematical Foundations of Computer Science (1981), pp. 563-577. by Akira Kanda posted to category-theory constructive formalization by scis0000001 on 2007-05-10 01:53:55 as
	A database of categories [My Copy] J. Symb. Comput., Vol. 35, No. 2. (February 2003), pp. 127-135. by Michael Fleming, Ryan Gunther, Robert Rosebrugh posted to categorification category-theory chu-space database-of-categories mkm stone-gamut by scis0000001 on 2007-05-10 01:40:18 as along with 3 people isotelesis jrw pirapira
	Toposes in General Theory of Relativity [My Copy] (31 Oct 1996) by Alexandr K. Guts, Egor B. Grinkevich posted to category-theory gr relativity space-time topos-theory by scis0000001 on 2007-05-10 01:08:32 as along with 1 person Scis0000002
	Organismic supercategories and qualitative dynamics of systems [My Copy] Bulletin of Mathematical Biology, Vol. 33, No. 3. (1971), pp. 339-354. by I. Băianu posted to biology category-theory dynamical-system dynamics qualitative supercategories systems-theory by scis0000001 on 2007-05-10 01:07:47 as
	From Loop Space Mechanics to Nonabelian Strings [My Copy] (21 Sep 2005) by Urs Schreiber posted to categorification category-theory string-theory stringification by scis0000001 on 2007-05-10 00:11:55 as along with 3 people melvineloy jrw Scis0000002
	Semantic category theory cognition and conceptual reference [My Copy] Kybernetes: The International Journal of Systems & Cybernetics, Vol. 34, No. 9-10. (September 2005), pp. 1321-1348. by Quinton, John G. St posted to category-theory cognition by scis0000001 on 2007-05-10 00:02:15 as along with 1 person pilho
	Categorified Algebra and Quantum Mechanics [My Copy] (19 Jan 2006) by Jeffrey Morton posted to category-theory qm by scis0000001 on 2007-05-09 23:39:47 as along with 8 people Scis0000002 ansobol jrw wnoise madhadron mnev sleepinghead pol
	Categories of fuzzy sets and weak topos [My Copy] Fuzzy Sets Syst., Vol. 127, No. 3. (May 2002), pp. 291-297. by Xue-Hai Yuan, Hongxing Li, Stanley E. Lee posted to category-of-fuzzy-sets category-theory fuzzy topos-theory by scis0000001 on 2007-05-09 23:22:57 as
	Categorical shape theory as a formal language for pattern recognition? [My Copy] Annals of Mathematics and Artificial Intelligence, Vol. 10, No. 1. (1 March 1994), pp. 25-54. by Timothy Porter posted to categorical category-theory shape-theory by scis0000001 on 2007-05-09 23:12:22 as along with 1 person Scis0000002
	Category Theory in COQ [My Copy] (1998) by A. Carvalho posted to category-theory formalization by scis0000001 on 2007-05-09 22:07:25 as along with 3 people and 1 group Scis0000002 mcclurmc christiankissig Lambda the Ultimate
	Dynamic multiscale image classification [My Copy] In Proc. SPIE Vol. 4311, p. 156-167, Internet Imaging II, Giordano B. Beretta; Raimondo Schettini; Eds., Vol. 4311 (December 2000), pp. 156-167. by A. H. Salden, S. M. Iacob edited by G. B. Beretta, R. Schettini posted to category-theory classification cognition dynamical-system dynamics multiscale scale-space by scis0000001 on 2007-05-08 13:16:35 as
	Categorification [My Copy] (5 Feb 1998) by John C. Baez, James Dolan posted to categorification category-theory decategorification formal-science higher-dimensional-category-theory by scis0000001 on 2007-05-07 11:21:22 as along with 7 people Scis0000002 christiankissig ansobol jrw BrendaChng sforcey mmarcus
	Weak n-categories: opetopic and multitopic foundations [My Copy] ArXiv Mathematics e-prints (April 2003) by E. Cheng posted to category-theory higher-dimensional-category-theory by scis0000001 on 2007-05-06 22:39:38 as along with 1 person jrw
	A Theory-Based Representation for Object-Oriented Domain Models [My Copy] IEEE Trans. Softw. Eng., Vol. 26, No. 6. (June 2000), pp. 500-517. by Scott D. Deloach, Thomas C. Hartrum posted to category-of-signatures category-of-specifications category-theory colimit combination formal-development ood specificattion theory-development theory-morphism unified-concept-theory by scis0000001 on 2007-05-02 23:23:46 as
	What Is a Concept? [My Copy] Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77. by Joseph Goguen posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as along with 8 people and 2 groups isotelesis garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
	Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus [My Copy] by Kevin H. Knuth posted to boolean-algebra calculus category-theory corpus database domain-theory effective-topos epistemology experiment extensivity iff inductive-inference information-dynamics information-resource information-retrieval information-system information-theory inquiry-calculus ir lattice logics measurement order-theory partial-order partial-order-theory partition probability-theory query question-answering question-asking question-lattice relevance search search-theory semweb separability stone-duality unified-concept-theory by scis0000001 on 2007-04-16 14:48:55 as along with 2 people Scis0000002 Kristoftol
	Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms [My Copy] Lecture Notes in Computer Science, Vol. 1387 (1998), pp. 63-??. by Eric A. Wan, Fran\ccoise Beaufays posted to category-theory diagram neural-network neuroscience temporal by scis0000001 on 2007-04-16 13:34:00 as
	Quantum Quandaries: a Category-Theoretic Perspective [My Copy] (14 Apr 2004) by John C. Baez posted to category-theory hilbert-space quantum-theory space-time by scis0000001 on 2007-04-15 14:07:22 as along with 4 people leemond31 christiankissig jrw artur
	Semantic Equivalence in Engineering Design Databases [My Copy] In Knowledge Representation Meets Databases (1997), pp. 7.1-7.5. by Bill Hills, Barry F. James, Nick B. Rossiter posted to category-theory equivalence semantic-equivalence semantics similarity by scis0000001 on 2007-04-14 13:50:25 as
	Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware [My Copy] Automated Software Engg., Vol. 8, No. 1. (January 2001), pp. 7-30. by Keith Williamson, Michael Healy, Richard Barker posted to category-theory dev engineering softwae-development synthesis by scis0000001 on 2007-04-12 11:17:17 as
	Category Theory Applied to Neural Modeling and Graphical Representations [My Copy] by M. Healy posted to category-theory neural by scis0000001 on 2007-04-12 11:14:32 as along with 1 person pandoratique
	A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted to category-theory quantum-theory topos-theory by scis0000001 on 2007-04-12 08:13:37 as along with 5 people GorgeousNicko prydzews jrw proportional gpi
	A Topos Foundation for Theories of Physics: I. Formal Languages for Physics [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted to algorithmic-information-theory category-of-languages category-of-systems category-of-theories category-theory classicality computability-logic deep-inference dev effective-topos executable formal formal-development formal-language formal-language-theory formal-science formal-system formalization higher-dimensional-category-theory higher-dimensional-topos-theory hyperdoctrine iff intuitionistic-logic logics managed-logic metamodeling metascience modeling nonclassicality operational parchments physics quantum-domain-theory quantum-institutions representation rewriting-logic theory-development theory-selection topos topos-selection topos-theory unified-concept-theory by scis0000001 on 2007-04-12 08:08:24 as along with 8 people GorgeousNicko svbcrypto prydzews jrw proportional madhadron gpi Scis0000002
	Applying Category Theory to Derive Engineering Software from Encoded Knowledge [My Copy] : Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000. Proceedings (2000), 484. by Michael Healy, Keith Williamson posted to category-theory dev engineering by scis0000001 on 2007-04-12 07:52:36 as
	Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience [My Copy] ArXiv Mathematics e-prints (June 2003) by R. Brown, T. Porter posted to biophysics category-theory higher-dimensional-algebra higher-dimensional-category-theory memory-evolutive-system neuroscience by scis0000001 on 2007-04-12 07:51:50 as along with 1 person jrw
	Complex Systems Analysis of Cell Cycling Models in Carcinogenesis [My Copy] eprint arXiv:q-bio/0406045 (June 2004) by I. C. Baianu posted to biology carcinogenesis category-theory higher-dimensional-algebra relation relational-biology topos-theory by scis0000001 on 2007-04-12 07:48:36 as
	A Topos Foundation for Theories of Physics: IV. Categories of Systems [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted to category-theory formal physics theory-development topos-theory by scis0000001 on 2007-04-11 10:37:58 as along with 5 people GorgeousNicko prydzews jrw proportional gpi
	Specifying Interaction Categories [My Copy] In Category Theory and Computer Science (1997), pp. 147-158. by Dusko Pavlovic, Samson Abramsky posted to category-theory interaction by scis0000001 on 2007-04-07 14:11:48 as
	Categories in concurrency [My Copy] (1997) by G. Winskel, M. Nielsen posted to category-theory concurrency by scis0000001 on 2007-04-07 13:46:24 as along with 1 person jrw
	A Formal Calculus for Categories [My Copy] (2003) by Mario J. Cáccamo posted to calculus category-theory enriched-category-theory formal-category-theory formalization inference by scis0000001 on 2007-04-07 13:42:52 as along with 3 people pirapira jrw Scis0000002
	A Categorical Approach to Simulations [My Copy] : Algebra and Coalgebra in Computer Science (2005), pp. 313-330. by Miguel Palomino, José Meseguer, Narciso Martí-Oliet posted to categorical category-theory institutions parchments simulation temporal-logic temporal-logic-institution by scis0000001 on 2007-04-07 01:56:47 as along with 1 person jrw
	Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity [My Copy] In Category Theory and Computer Science (1995), pp. 3-23. by Dusko Pavlovic posted to category-theory process simulation by scis0000001 on 2007-04-07 01:50:12 as along with 1 person jrw
	Category Theory as Coherently Constructive Lattice Theory: An Illustration [My Copy] No. 94-43. (1994) by Roland Backhouse, Marcel Bijsterveld posted to category-theory lattice-theory by scis0000001 on 2007-04-07 01:46:52 as along with 3 people ansobol jrw zednenem
	A categorical outlook on relational modalities and simulations [My Copy] (2002) by C. Hermida posted to categorical category-theory simulation by scis0000001 on 2007-04-07 01:44:02 as along with 1 person jrw
	Final dialgebras: From categories to allegories [My Copy] Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426. by Roland C. Backhouse, Paul F. Hoogendijk posted to algebra allegory-theory category-theory chu-space coalgebra dialgebra generic-programming partial-order relation relational-structures relators universal-algebra by scis0000001 on 2007-04-07 01:32:26 as along with 2 people Scis0000002 marcinzalewski
	Analyses of design processes based on category theory and channel theory [My Copy] SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966. by K. Minamizono, O. Katai, T. Shiose, H. Kawakami posted to category-theory channel-theory chu-space collaboration concurrency costing design-lattice design-process design-space design-theory dev domain-theory efficiency enterprise games hyperefficiency iff innovation institutions invention just-in-time managed-logic metaprocess methodology multisource-algorithmic-information-theory optimality parchments patent-classification patents planning problem-solving process process-theory product-classification product-development product-lattice productivity refinement unified-concept-theory by scis0000001 on 2007-03-15 16:35:54 as along with 1 person Scis0000002
	Categorical system theory [My Copy] Bulletin of Mathematical Biology, Vol. V45, No. 6. (1 November 1983), pp. 1047-1072. by A. H. Louie posted to categorical-systems-theory category-theory systems-theory by scis0000001 on 2007-03-11 16:44:18 as

scis0000001's category-theory [92 articles] Export

scis0000001's tags