Functor - PDFSEARCH.IO - Document Search Engine

Functor
Results: 533

#	Item
21	THE GEOMETRY OF FROBENIOIDS II: POLY-FROBENIOIDS Shinichi Mochizuki June 2008 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 07:20:32 Algebra Abstract algebra Mathematics Algebraic structures Semigroup theory Category theory Algebraic number theory Category Monoid Initial and terminal objects Frobenioid Functor
22	1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Category theory Theoretical computer science Mathematics Bisimulation F-coalgebra Coinduction Functor Coalgebra Universal property
23	351 Documenta Math. In -Local Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:00 Business Homotopy theory Landweber exact functor theorem Ring theory BP Cohomology Ring Spectrum Economy
24	707 Documenta Math. Drinfeld Centers for Bicategories Ehud Meir and Markus Szymik Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-08-15 09:27:53 Algebra Abstract algebra Mathematics Category theory Functor Bicategory F-algebra Category of rings Monoidal category Morphism Center Category
25	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
26	277 Documenta Math. Birational Geometry and Localisation of Categories With Appendices by Jean-Louis Colliot-Th´ Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-07-20 06:33:26 Algebra Abstract algebra Mathematics Category theory Functors Algebraic geometry Rational mapping Functor Motive Birational geometry Proper morphism Sheaf
27	393 Documenta Math. Slices and Transfers Marc Levine1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-21 15:52:34 Mathematics Algebra Abstract algebra Homotopy theory Homotopy category Spectrum Triangulated category Homotopy Representable functor Motive Model category Simplicial presheaf
28	OPERADIC CATEGORIES, A∞ -CATEGORIES AND n-CATEGORIES J.P. MAY When I offered to talk here, I asked myself if I had something suitable for a nice short 20 minute talk, and sent in an abstract about “cores of spaces an Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2001-08-18 17:54:26 Algebra Mathematics Abstract algebra Category theory Homotopy theory Algebraic topology Highly structured ring spectrum Operad theory A-operad Enriched category Model category Functor
29	Monoidal Indeterminates and Categories of Possible WorldsI C. Hermida, R. D. Tennent∗ School of Computing, Queen’s University, Kingston, Canada K7L 3N6 Abstract Given any symmetric monoidal category C, a small symmet Add to Reading List Source URL: maggie.cs.queensu.ca Language: English - Date: 2011-12-16 22:41:04 Category theory Algebra Mathematics Monoidal categories Monoid Enriched category Adjoint functors Cartesian closed category Coproduct Bicategory Functor Sheaf
30	Input for derived algebraic geometry: equivariant multiplicative infinite loop space theory Peter May Joint work with Bertrand Guillou, Mona Merling, and Angelica Osorno Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2016-02-13 16:56:39 Algebra Mathematics Abstract algebra Monoidal categories Functor Adjoint functors Monoid Equivariant map Natural transformation Coproduct Classifying space Burnside category