In mathematics, specifically, in category theory, a 2-functor is a morphism between 2-categories.[1] They may be defined formally using enrichment by saying that a 2-category is exactly a Cat-enriched category and a 2-functor is a Cat-functor.[2]
Explicitly, if C and D are 2-categories then a 2-functor consists of
- a function , and
- for each pair of objects , a functor
such that each strictly preserves identity objects and they commute with horizontal composition in C and D.
See [3] for more details and for lax versions.
References
[edit]
|  | |||||||||||||||||
| ||||||||||||||||||
Well, that’s interesting to know that Psilotum nudum are known as whisk ferns. Psilotum nudum is the commoner species of the two. While the P. flaccidum is a rare species and is found in the tropical islands. Both the species are usually epiphytic in habit and grow upon tree ferns. These species may also be terrestrial and grow in humus or in the crevices of the rocks.
View the detailed Guide of Psilotum nudum: Detailed Study Of Psilotum Nudum (Whisk Fern), Classification, Anatomy, Reproduction