
	Where results make sense

Topic: Full subcategory

Related Topics

Subcategory

Full functor

Functor

Category theory

Faithful functor

Forgetful functor

In the News (Sat 2 Jun 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

	PlanetMath: subcategory (Site not responding. Last check: 2007-10-18)
		In Grp, there is the full subcategory whose objects are abelian groups with additive homomorphisms.
		Grp is in fact a subcategory of the category of topological groups, since every group may be viewed as a topological group with the discrete topology.
		This is version 8 of subcategory, born on 2004-05-11, modified 2006-01-24.
	planetmath.org /encyclopedia/Subcategory.html (206 words)

	[No title]
		Mod C0 induces an equivalence * be- tween the full* subcategory of pure-injective objects in C and the full subcateg* *ory of injec- tive objects in Mod C0.
		It is interesting to observe that the full subcategory of pure-injective obje* cts in C is completely determined by the full* subcategory C0 of compact objects in C. Corollary 1.15.
		Mod C0 induces an equivalence between the full subcat* egory of pure-injectives in C and the full* subcategory of injective C0-modules by Cor* *ollary 1.9.
	www.math.purdue.edu /research/atopology/KrauseH/smash.txt (13290 words)

	Subcategory - Wikipedia, the free encyclopedia
		In mathematics, a subcategory of a category C is a category S whose objects are objects in C and whose arrows
		Intuitively, a subcategory of C is therefore a category obtained from C by "removing" objects and arrows.
		A Serre subcategory is a non-empty full subcategory S of an abelian category C such that for all short exact sequences
	en.wikipedia.org /wiki/Subcategory (174 words)

	Enlightenment - The Experience Festival
		full subcategory is one of the topics in focus at Global Oneness.
		This functor is not full as there are functions between groups which are not group homomorphisms.
		Note that Ab is a full subcategory of Grp, the category of all...
	www.experiencefestival.com /full_subcategory (935 words)

	ONT Re: Category Theory
		A 'subcategory' S of a category C is a collection of
		We say that S is a 'full subcategory' of C when the inclusion functor
		A full subcategory, given C, is thus determined by
	suo.ieee.org /ontology/msg04906.html (181 words)

	Springer Online Reference Works (Site not responding. Last check: 2007-10-18)
		The full subcategory of torsion-free injective modules is reflective in the category of all torsion-free
		In particular, the full subcategory of divisible torsion-free Abelian groups is reflective in the category of torsion-free Abelian groups.
		The dual concept is that of a monocoreflective subcategory; for example, the category of torsion Abelian groups is monocoreflective in the category of all Abelian groups.
	eom.springer.de /R/r080550.htm (395 words)

	Full and faithful functors - Wikipedia, the free encyclopedia
		a full functor) is a functor which is injective (resp.
		Likewise, a full functor need not be surjective on objects or morphisms.
		Then F is full, but neither surjective on objects nor on morphisms.
	en.wikipedia.org /wiki/Full_and_faithful_functors (288 words)

	[No title] (Site not responding. Last check: 2007-10-18)
		If SUP denotes the full subcategory of BC with dcpos with one as objects, we realize a categorical semantics for linear logic in SUP.
		Given PRIME, the full subcategory of BC with prime-algebraic dcpos as objects, we introduce a {\em prime-algebraic\/} quotient $\Pi(A)$ which preserves all the logical operations in SUP up to isomorphism.
		In particular, $\Pi$(SUP), the full subcategory of BC with all prime-algebraic lattices as objects, is such a categorical semantics.
	theory.lcs.mit.edu /~iandc/Abstracts/huth95.ltx (185 words)

	Springer Online Reference Works (Site not responding. Last check: 2007-10-18)
		Thus, a full subcategory is completely defined by the class of its objects.
		uniquely defines a full subcategory, for which it serves as the class of objects.
		Many important classes of subcategories are full subcategories (reflective and co-reflective subcategories, varieties, etc.).
	eom.springer.de /F/f041900.htm (106 words)

	new results on polymorphism (Site not responding. Last check: 2007-10-18)
		For any lccc C there is an elementary topos T[C] and a full and faithful lccc universal map C -> T[C]; also, the Yoneda embedding C -> Set^(C^op) is s a lccc map.
		For any lambda-2 theory T there is a universe model I[T] that is initial in the category of T models.
		I[T] has a full and faithful universal homomorphism into an initial elementary topos universe model, and a full and faithful (Yoneda) homomorphism into a presheaf universe model.
	www.cis.upenn.edu /~bcpierce/types/archives/1988/msg00041.html (250 words)

	Mathematics and Computation » 2002 » July
		Abstract: It is well known that one can build models of full higher-order dependent type theory (also called the calculus of constructions) using partial equivalence relations (PERs) and assemblies over a partial combinatory algebra (PCA).
		The direct proof outlined here uses the equivalence of the category Equ to the category PEqu of PERs over algebraic lattices (a full subcategory of Top that is well known to be cartesian closed from domain theory).
		In particular, we show why, as a consequence of work of Ershov, Berger, and others, the Kleene-Kreisel hierarchy of countable functionals of finite types can be naturally constructed in Equ from the natural numbers object `N` by repeated use in Equ of exponentiation and binary products.
	math.andrej.com /2002/07 (277 words)

	ONT Re: Program Semantics
		full subcategories give rise to a rich supply
		Thus, a subcategory is a category in its
		Clearly, a subcategory D of C is a 'full' subcategory
	suo.ieee.org /ontology/msg03954.html (269 words)

	TheFanlistings.org Message Board > Subcategory? (Site not responding. Last check: 2007-10-18)
		Jan 22 2005, 08:28 AM I notice there is a field that says subcategory now.
		I know some categories have subcategories like Misc.
		To view the full version with more information, formatting and images, please click here.
	www.thefanlistings.org /board/lofiversion/index.php/t31258.html (108 words)

	CertMag.com (Site not responding. Last check: 2007-10-18)
		The winners are excellent both in terms of creativity and range of application," said Brandon Hall, Ph.D., CEO of brandon-hall.com and chairman of the awards program.
		The Custom Content category was divided into four subcategories: Interactivity, Use of Media, Simulation, and Full Course.
		Bronze Custom Content Full Course winners were Accenture Learning and SAP AG; Cognos Incorporated; ExxonMobil Upstream Research Company; IMS Learning A/S; Karta Technologies Inc.; Root Learning Inc.; TraCorp Inc. and Charleston School of Protocol and Etiquette; and Via Training.
	www.certmag.com /common/newsdisplay.cfm?id=3331 (527 words)

	Mathematics and Computation
		First, we show that Rep(B) is equivalent to a full coreflective subcategory of `omega`Equ, consisting of the so-called `0`-equilogical spaces.
		I show that domains with totality embed in equilogical spaces, and that the embedding preserves both simple and dependent types.
		I relate equilogical spaces and TTE in three ways: there is an applicative retraction between them, they share a common cartesian closed subcategory that contains all countably based T0-spaces, and they are related by a logical transfer principle.
	math.andrej.com /page/3 (1622 words)

	OneNote 2003 Trial Software (Site not responding. Last check: 2007-10-18)
		Trial versions contain all the functionality of the regular version, but can only be used for a limited time.
		After you install your trial, you must activate it online before you can use it.
		Learn how you can convert the trial software to the full version without removing or reinstalling software on your computer.
	www.microsoft.com /office/onenote/prodinfo/trial.mspx (270 words)

	Zeugma Shop: Florida: Fishes of the Atlantic Coast: Canada to Brazil, Including the Gulf of Mexico, Florida, Bermuda, ... (Site not responding. Last check: 2007-10-18)
		Location: Home » Florida » Fishes of the Atlantic Coast: Canada to Brazil, Including the Gulf of Mexico, Florida, Bermuda, the Bahamas, and the Caribbean : 408 Fishes in Full
		A Field Guide to the Birds of Mexico and Adjacent Areas: Belize, Guatemala, and El Salvador, Third Edition (Corrie Herring Hooks S.)
		Fishes of the Atlantic Coast: Canada to Brazil, Including the Gulf of Mexico, Florida, Bermuda, the Bahamas, and the Caribbean : 408 Fishes in Full
	www.zeugmashop.com /Florida-290087-Mexico.html (415 words)

	[No title]
		Do not abbreviate.) Section B: Entry Information Category and Subcategory (Print full names)_________________________________________ Category # (1-28)______ Subcategory (a-f)_____ Name of Brew (Optional)_______________________________________________________ For some categories, you need to specify certain characteristics or special ingredients in your entry.
		Please consult the style guidelines to see if it’s necessary for your entry.
		Note that for some subcategories, you will need to fill out more than one of the following.
	www.nfbl.org /newbbboentryform_b.doc (144 words)

	Premonoidal categories and a graphical view of programs
		Given a strict symmetric monoidal category C: with a full subcategory (not necessarily symmetric monoidal) TC:
		As an example, let TCpo be the full subcategory of Cpo where all of the objects have a least element.
		Taking C to be the category of traceable graphs up to bisimulation, and TC to be the full subcategory where the objects are traceable sorts, we have a partial trace given by forming a feedback loop:
	klee.cs.depaul.edu /premon/paper-complete-ptm.html (644 words)

	Definitions of some category theory terms (Site not responding. Last check: 2007-10-18)
		ConsequenceÂ A category restricted to a set is a subcategory of this category.
		It is easy to check that it is really so.
		RemarkÂ A category of transitive trans-endomorphisms is a subcategory of the category of intermorphisms.
	www.mathematics21.org /categories/terminology.xml (753 words)

	11th Annual Crescent City Competition (Site not responding. Last check: 2007-10-18)
		Category Number (1-26) Subcategory (a-h) (See style guide on back of this form to verify)
		For some subcategories, more than one of the following will need to be filled out.
		For subcategories 20C, 21, 24, 25E, 25F and 26C, list special ingredients (Fruit, spice, herb, vegetable, or other) or special process used, as applicable.
	hbd.org /crescent/Entry_Recipe_Form_122103.htm (238 words)

	RioMan download page. RioMan by Wolfgang Saiger, download from Players subcategory. A full substitute for Diamond's Rio ...
		RioMan by Wolfgang Saiger, download from Players subcategory.
		With RioMan it's possible to download any type of files to the Rio player.
		Karaoke Dream is a karaoke player that lets you play and create your own karaoke songs.
	www.softdepia.com /rioman_download_7451.html (149 words)

	Equilogical Spaces (Site not responding. Last check: 2007-10-18)
		It is well known that one can build models of full higher-order dependent type theory (also called the calculus of constructions) using partial equivalence relations (PERs) and assemblies over a partial combinatory algebra (PCA).
		as a full subcategory, and it naturally contains many other well known subcategories.
		We make some comparisons of this model to other, known models.
	www.cs.cmu.edu /afs/cs.cmu.edu/user/birkedal/www/ltc/abstracts/equ.html (258 words)

	Freyd's Theorem -- from Wolfram MathWorld
		Frey's theorem states that every Abelian category is a subcategory of some category of
		Mitchell (1964) has strengthened this, saying every Abelian category is a full subcategory of a category of modules over a ring.
		Show your math savvy with a MathWorld T-shirt.
	mathworld.wolfram.com /FreydsTheorem.html (75 words)

Try your search on: Qwika (all wikis)