File:Joyal lifting theorem 2.svg

From testwiki
Jump to navigation Jump to search
    Original file (SVG file, nominally 198 × 122 pixels, file size: 19 KB)

    This file is from Wikimedia Commons and may be used by other projects. The description on its file description page there is shown below.

    Summary

    Description
    English: Joyal lifting theorem
    Date
    Source Own work
    Author Silvermatsu
    LaTeX source code

    \documentclass{standalone} \usepackage{tikz} \usetikzlibrary{arrows} \begin{document} \begin{tikzpicture} \node (a) at (-2,2) {$\Delta^{\{n-1,n\}}$}; \node (b) at (0,2) {$\Lambda^n_n$}; \node (c) at (2,2) {$C$}; \node (d) at (0,0) {$\Delta^{n}$}; \node (e) at (2,0) {$D$}; \draw[->] (a) to [out=30,in=150] (c);\draw (0,2.75) node[fill=white]{f}; \draw[->] (a) to (b); \draw[->] (b) to (c); \draw[->] (d) to (e); \draw[->] (b) to (d); \draw[->] (c) -- node[auto=left] {$p$} (e); \draw[->,dashed] (d) to (c); \end{tikzpicture} \end{document}

    Licensing

    I, the copyright holder of this work, hereby publish it under the following license:
    Creative Commons CC-Zero This file is made available under the Creative Commons CC0 1.0 Universal Public Domain Dedication.
    The person who associated a work with this deed has dedicated the work to the public domain by waiving all of their rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law. You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission.

    Captions

    Joyal lifting theorem

    Items portrayed in this file

    depicts

    11 May 2025

    18,959 byte

    image/svg+xml

    0ae7396db9cdab5b66bedf39584a1b58752fb1aa

    File history

    Click on a date/time to view the file as it appeared at that time.

    Date/TimeThumbnailDimensionsUserComment
    current09:16, 11 May 2025Thumbnail for version as of 09:16, 11 May 2025198 × 122 (19 KB)wikimediacommons>SilvermatsuUploaded own work with UploadWizard

    There are no pages that use this file.