Scis0000002's category-theory [29 articles] Export

Philosophia Mathematica, Vol. 11, No. 2. (1 June 2003), pp. 129-157.

by Geoffrey Hellman

posted to structuralism category-theory by Scis0000002 on 2009-10-08 20:04:38 as

(19 Jan 2006)

by Jeffrey Morton

posted to category-theory qm by Scis0000002 on 2009-06-07 22:45:57 as along with 8 people ansobol jrw wnoise madhadron mnev scis0000001 sleepinghead pol

Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 1-43.

by Elaine Landry, Jean P. Marquis

posted to category-theory by Scis0000002 on 2009-06-01 11:14:08 as along with 2 people adrian_pigors jrw

Cybernetics and Systems Analysis, Vol. 14, No. 3. (1 May 1978), pp. 334-338.

by Meitus

posted to category-theory transducers by Scis0000002 on 2009-06-01 08:46:30 as

Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616.

by Steven Vickers

posted to algebraicity algebras category-theory constructivity domain-theory domains fol geometricity locales stone-duality topological-spaces topos-theory toposes by Scis0000002 on 2009-05-27 11:14:06 as

(14 Apr 2009)

by Bob Coecke, Eric O. Paquette, Dusko Pavlovic

posted to category-theory classicality classicization mathematical-structures physical-structures qm quantization structural structuralism structures by Scis0000002 on 2009-04-24 12:07:44 as along with 2 people egcavalcanti jrw

Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.

by Bruce N. Waller

posted to algorithmic-information-theory categories category-theory coding complexity-classes computational-complexity-theory external-models formal-theories inquiry inside internal-models languages linguistic-frameworks logical-frameworks mathematical-structures metalogical-frameworks metaphilosophical-frameworks outside question-answering question-asking representations toes topos-theory toposes unified-concept-theory unifying by Scis0000002 on 2008-06-27 13:13:44 as along with 1 person jrw

Philosophical Transactions: Physical Sciences and Engineering, Vol. 339, No. 1652. (1992), pp. 69-86.

by Joseph Goguen, Andrew Stevens, Hendrik Hilberdink, Keith Hobley, W. A. Hunt, T. F. Melham

posted to categorical-metamathematical-frameworks category-of-categories category-theory higher-dimensional-category-theory metalogical-frameworks metamathematical-frameworks topos-theory by Scis0000002 on 2008-05-31 22:44:07 as

In Proceedings of the Conference on Categorical Algebra (1966), pp. 1-21.

by f

posted to category-of-metaframeworks category-theory foundational foundations metalogical-frameworks metalogics metamathematical-frameworks metamathematics set-theory topos-theory by Scis0000002 on 2008-05-22 22:42:40 as along with 1 person and 1 group kiniry SRG_at_UCD

(30 Oct 2001)

by Per K. Jakobsen, Valentin Lychagin

posted to algebraic-structures category-of-relations category-theory deformation quantization quantizations relational-structures relations by Scis0000002 on 2008-05-06 00:11:25 as

(2003)

by Mario J. Cáccamo

posted to calculuses category-theory formal-category-theory by Scis0000002 on 2008-05-05 23:44:59 as along with 3 people pirapira jrw scis0000001

(18 Apr 2008)

by A. Nicolaidis

posted to categorical-algebra category-theory relational-structures string-theory by Scis0000002 on 2008-05-02 00:00:00 as along with 1 person willrubens

Electron. Notes Theor. Comput. Sci., Vol. 196 (2008), pp. 137-151.

by Alexandre Buisse, Peter Dybjer

posted to category-theory constructive type-theory by Scis0000002 on 2008-04-27 15:40:51 as

Neural Comput., Vol. 19, No. 10. (October 2007), pp. 2665-2693.

by Xu Miao, Rajesh P. N. Rao

posted to algebraic-semiotics category-theory classifications equivalence-class equivalence-classes features group-theory invariances lattice-of-equivalence-classes lattice-of-features lattice-of-invariants lattice-of-transformations lattice-of-universality-classes percepting perception-theories shape-theory transforming universality-class universality-classes visual visual-systems by Scis0000002 on 2008-04-25 00:28:53 as along with 2 people isotelesis algorithmic

British Journal for the Philosophy of Science, Vol. 58, No. 1. (15 March 2007), pp. 77-112.

by Mclarty, Colin

posted to category-theory metamathematics by Scis0000002 on 2008-04-24 14:24:54 as

Axiomathes, Vol. 16, No. 4. (10 December 2006), pp. 424-459.

by Alberto Peruzzi

posted to category-theory philosophy by Scis0000002 on 2008-04-08 12:10:23 as

(07 August 1991)

by Benjamin C. Pierce

posted to category-theory by Scis0000002 on 2008-04-05 23:41:51 as along with 12 people and 1 group pedagand fvogels olegus draganigajic ansobol jrw BarrosH proportional bonotake devnull ds jimburton Lambda the Ultimate

In Differential Geometric Methods in Theoretical Physics, Vol. 375 (1991), pp. 131-142.

by S. Majid

edited by C. Bartocci, U. Bruzzo, R. Cianci

posted to category-theory higher-dimensional-category-theory physics by Scis0000002 on 2007-10-23 00:24:59 as

ArXiv Mathematics e-prints (December 2005)

by B. H. Bartlett

posted to category-theory tqft by Scis0000002 on 2007-09-30 13:24:16 as along with 1 person jedal

The Age of Alternative Logics (2006), pp. 163-179.

by Elaine Landry

posted to category-theory metamathematics structuralism by Scis0000002 on 2007-09-11 09:22:53 as

by Sergei M. Kuzenko, Stefan Theisen

posted to category-theory duality extendability extendibility higher-dimensional-category-theory idealization metalogical-frameworks metamathematical-frameworks metamathematics metascience modeling nonlinearity omega-categories philosophy-of-science regularities stone-duality topos-theory by Scis0000002 on 2007-08-31 00:40:31 as along with 1 person scis0000001

(1998)

by A. Carvalho

posted to calculus-of-constructions category-theory formal-category-theory formalization by Scis0000002 on 2007-08-24 10:06:13 as along with 3 people and 1 group scis0000001 mcclurmc christiankissig Lambda the Ultimate

Synthese, Vol. 69, No. 3. (1 December 1986), pp. 409-426.

by J. L. Bell

posted to all-mathematical-structures category-theory extendability locality local-mathematics mathematical-frameworks mathematics metalogical-frameworks metamathematical-frameworks pluralism plurality relativity toposes topos-morphisms topos-theory by Scis0000002 on 2007-08-18 23:51:01 as along with 1 person qwermish

Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458.

by Martin Hyland, John Power

posted to category-theory universal-algebra by Scis0000002 on 2007-08-04 10:26:46 as along with 7 people christiankissig zednenem madhadron vishpool masteraka mmarcus ps_ttf

ArXiv Mathematics e-prints (October 1994)

by A. Bagchi, C. Wells

posted to category-theory graph-theory higher-dimensional-sketches institutions logics mathematical-structures metalogics metamathematical-frameworks presentation representation sketches sketch-theory specification toposes topos-theory visual by Scis0000002 on 2007-08-02 14:06:30 as

In WOODPECKER '01: Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation (2001), pp. 38-54.

by Zinovy Diskin

posted to categorification category-theory iff metalogics metamathematics modeling rm-odp by Scis0000002 on 2007-07-14 13:20:35 as

by Sjoerd E. Crans

posted to category-theory tensors transfors by Scis0000002 on 2007-07-13 08:33:05 as

Foundations of Science, Vol. 8, No. 4. (1 December 2003), pp. 317-364.

by Ahti-Veikko Pietarinen

posted to argumentation-theory category-theory computability-logic dialogical-logic domain-theory games game-theory lattice-theory logics networks order-theory probability-theory by Scis0000002 on 2007-07-01 16:05:50 as

(20 Dec 2000)

by Juergen Schmidhuber

posted to category-of-theories category-theory logical-theories topos-theory by Scis0000002 on 2007-06-23 20:44:18 as along with 3 people BrendaChng scis0000001 JayDugger