
	Where results make sense

Topic: Full functor

Related Topics

Functor

Faithful functor

Forgetful functor

Full subcategory

Category theory

Virginia Polytechnic Institute

Official text copyright

East Bloomfield

Samuel James Browne

Abdullah Ibn Buhaina

Patsy Fagan

John Percival Postgate

Subcategory

	Functor
		Functors were first considered in algebraic topology, where algebraic objects (like the fundamental group) are associated to topological spaces, and algebraic homomorphisms are associated to continuous maps.
		Algebra of continuous functions: a contravariant functor from the category of topological spaces (with continuous maps as morphisms) to the category of real associative algebras is given by assigning to every topological space X the algebra C(X) of all real-valued continuous functions on that space.
		Functors are often defined by universal properties; examples are the tensor product, the direct sum and direct product of groups or vector spaces, construction of free groups and modules, direct and inverse limits.
	www.brainyencyclopedia.com /encyclopedia/f/fu/functor.html (1715 words)

	Adjective - Wikipedia, the free encyclopedia
		In English, an adjectival phrase may occur as a postmodifier to a noun (a bin full of toys), or as a predicate to a verb (the bin is full of toys).
		In other languages, some sort of grammatical functor between the two nouns may be required.
		These attributive nouns are not classed as adjectives, and they cannot be used in post-position; while the majority of adjectives can function both attributively and predicatively, an attributive noun cannot be made predicative by simply putting it after the head word.
	en.wikipedia.org /wiki/Adjective (1933 words)

	Lvov-Warsaw School
		Łukasiewicz observed that no functor of classical propositional calculus could be read as “it is possible that” and provided that the formula Mp (it is possible that p) is extensional (i.e., that its value depends solely on the value of p).
		Leśniewski intended to a formulate the full logical system that would serve as the basis for the whole of science, and in particular for mathematics.
		Protothetic is a calculus in which quantifiers bind propositional variables and variables referr to arbitrary functors constructible over the usual functors: that is, functors of propositional variables, functors of functors, etc. In general, if we start with the category of sentences alone, protothetical quantifiers bind variables of all further definable categories.
	plato.stanford.edu /entries/lvov-warsaw (7413 words)

	Concurrency Abstracts (Site not responding. Last check: 2007-10-23)
		We prove full completeness for a fragment of the linear logic of the self-dual monoidal category of Chu spaces over 2, namely that the proofs between semisimple (conjunctive normal form) formulas of multiplicative linear logic without constants having two occurrences of each variable are in bijection with the dinatural transformations between the corresponding functors.
		We define a notion of proof function analogous to the notion of truth function, determining a transformation between functors, and show that the transformation denoted by a proof net is dinatural if and only if the proof net is sound, namely acyclic and connected.
		The algebra is that of a parallel programming language expanded to the language of full linear logic, Girard's axiomatization of which is satisfied by the event space interpretation of this language.
	boole.stanford.edu /abstracts.html (9716 words)

	Encyclopedia: Index
		Full list of super low-floor buses of KMB
		Full formal listing of sources on Stalin in the Civil War
		Full list of candidates in the U.S. presidential election, 2004
	encyclopedie-en.snyke.com /ndx/page_406.html (37 words)

	Dror Bar-Natan: Publications
		By staying within a world of topological pictures a little longer than in other articles on the subject, the required extension becomes essentially tautological.
		And then a simple application of an appropriate functor (a "TQFT") to our pictures takes them to the familiar realm of complexes of (graded) vector spaces and ordinary homological invariants.
		The data summarized in these tables is available in a mathematica readable format (also viewable as plain text) in a rather large data file (>800Kb compressed, >9Mb in full!), table.m.
	www.math.toronto.edu /~drorbn/LOP.html (3052 words)

	W. V. Quine's Professional Published and Unpublished Essays, Articles, Abstracts, and Reviews
		Proceedings of the Second Scandinavian Logic Symposium: Studies in logic and the Foundation of Mathematics volume 63, J. Fenstad (editor), North-Holland Publishing Co, Amsterdam [condensed from W. Quine's Algebraic Logic and Predicate Functors which was reprinted in W. Quine's The Ways of Paradox]
		(edited by James G. Buickerood) in the journal Eighteenth-Century Thought 1: 171-254 [full text from the original lecture note cards of W. Quine's course on Hume, Philosophy 14C, Harvard University, summer 1946] The first lecture note card is illustrated here
		Eddie Yeghiayan's bibliography of W. Quine's works (Special Collections, Main Library, University of California, Irvine, CA) is a comprehensive resource with search capabilities and listings of all translations and reprints (some papers have appeared in dozens of forms) through 1977.
	www.wvquine.org /wvq-publish.html (4967 words)

Try your search on: Qwika (all wikis)