Lusternik-Schnirelmann category: a geometric approach
L. Montejano (1986)
Banach Center Publications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
L. Montejano (1986)
Banach Center Publications
Similarity:
Marco Grandis, Robert Paré (2012)
Diagrammes
Similarity:
Mara Alagić (1989)
Publications de l'Institut Mathématique
Similarity:
Julia E. Bergner, Philip Hackney (2015)
Fundamenta Mathematicae
Similarity:
We study a certain type of action of categories on categories and on operads. Using the structure of the categories Δ and Ω governing category and operad structures, respectively, we define categories which instead encode the structure of a category acting on a category, or a category acting on an operad. We prove that the former has the structure of an elegant Reedy category, whereas the latter has the structure of a generalized Reedy category. In particular, this approach gives a new...
Jan Jastrzębski (1983)
Fundamenta Mathematicae
Similarity:
Mara Alagić (1991)
Publications de l'Institut Mathématique
Similarity:
Marco Riccardi (2015)
Formalized Mathematics
Similarity:
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors...
G. M. Kelly (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut (2019)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Coalgebras for an endofunctor provide a category theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired by and resembles the standard breadth-first search procedure to compute the reachable part of a graph. We also study coalgebras in Kleisli categories: for a functor extending a functor on the base category, we show that the reachable part of a given...
Hans-Jürgen Vogel (2003)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...
Jakobsen, Per K., Lychagin, Valentin V. (2005)
Lobachevskii Journal of Mathematics
Similarity:
B. J. Day (1987)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: